Outcomes, Risk of Other Malignancies, and Need for Formal Mapping Procedures in Patients With Perianal Bowenʼs Disease

ASSO, an innovative conceptual methodology which combines features of database design with the formal method B, has been defined in order to ensure the flexibility of semantic data models, the efficiency of object models and design correctness. Starting from a directed acyclic graph of classes supported by semantic data models, a formal mapping generates classes supported by object models. The classes supported by semantic data models are then extended with aspects of behavioural modelling: a relationship with the B model is established and the consistency proofs of the whole schema are reduced to small obligations of B. This chapter evidences how ASSO is based on model transformations. These have been introduced with various purposes: to map semantic data models to object models, to integrate static and dynamic modelling, to link formal and informal notations and to relate the conceptual schema and the logical schema of the methodology.

Download Full-text

A formal mapping of static information models into dynamic models for process planning and control purposes

Sixth International Workshop on Discrete Event Systems, 2002. Proceedings. ◽

10.1109/wodes.2002.1167667 ◽

2003 ◽

Author(s):

P. Falkman ◽

J. Nielsen ◽

B. Lennartson

Keyword(s):

Process Planning ◽

Dynamic Models ◽

Planning And Control ◽

Information Models ◽

Static Information ◽

And Control ◽

Formal Mapping

Download Full-text

Social Structure and Emotion

Sociological Perspectives ◽

10.2307/1389303 ◽

1992 ◽

Vol 35 (4) ◽

pp. 649-671 ◽

Cited By ~ 9

Author(s):

Robert Thamm

Keyword(s):

Social Structure ◽

Social Action ◽

Cultural Context ◽

Action Theory ◽

Formal Model ◽

Survey Instrument ◽

Moral Content ◽

Social Action Theory ◽

Emotion Labels ◽

Formal Mapping

This paper explores the possibility of developing a general and formal social-action theory of labeling emotions. The theory is based upon the assumption that there is an underlying formal structural social-action system of expectations and sanctions that significantly influence how actors label their emotions. Some permutations of the four basic expectation-sanction states are elaborated, hypothetically labeled, and tested over a 14-year period. The “constructionist” view of the necessity of a cultural context in labeling emotions is challenged by removing the “moral” content from the survey instrument. The findings indicate that the formal model, devoid of content, is effective in differentiating emotion labels. The tests yielded promising results for developing a comprehensive and formal mapping of emotions. Taxonomical extrapolations of the theory are suggested and some further applications and needed research are discussed.

Download Full-text