Search

A complete information modeling method must address both the process- and data-perspectives, preferably in an integrated manner (i.e., also specifying which state change each process should achieve exactly). However, most approaches either emphasize only data or only processes. And when an approach handles both data and processes, there is usually no integration of processes and data. A language must have a precise semantics if tools are to perform intelligent operations on models expressed in the language. Moreover, formal semantics helps in detecting errors in and reasoning about specifications. We give a precise, declarative, model-theoretic semantics for a large class of instruction languages that treats processes and data in an integrated manner. The instruction expressions are interpreted against a ‘state space’ (i.e., a set of ‘states’) and we consider the semantics of an instruction as the set of possible state transitions it can achieve. As a result, we can provide the integration of the different scenarios of a use case into one (textual) system sequence diagram with a well-defined semantics. We can also formally prove the semantic equivalence of several instructions, even for non-deterministic instructions. The class of instruction languages provides a fruitful similarity between the structuring mechanisms for modeling business processes, textual system sequence diagrams, and programming languages, among others. This will ease the translation towards an implementation in a software system.

Interview met Rutger Kappe verschenen in het wetenschapskatern van het Parool.

O tabagismo é considerado pela Organização Mundial de Saúde (OMS) a principal causa de morte evitável no mundo. Estima-se que um terço da população mundial adulta, um bilhão e duzentos milhões de pessoas, seja fumante. Diante desses dados, torna-se importante avaliar os danos causados pela exposição a este agente, o que inclui diferentes tipos celulares. Este estudo buscou avaliar in vitro o efeito citotóxico e os níveis de peroxidação lipídica em leucócitos humanos expostos à fumaça de cigarros simulando ambiente fechado destinado a fumantes, utilizando os testes de viabilidade celular e TBARS. Os resultados obtidos demonstraram que todas as marcas testadas causaram diminuição significativa da viabilidade leucocitária e aumento da concentração de malondialdeído, quando comparados ao controle negativo. Entretanto, esta redução da viabilidade celular não pode ser atribuía exclusivamente aos níveis de peroxidação lipídica, mas, possivelmente, ao conjunto de compostos presentes na fumaça dos cigarros, alguns destes expressos no rótulo.