Petri nets: an introduction
OBJSA nets: a class of high-level nets having objects as domains
Advances in Petri Nets 1988
A process specification formalism
Fundamenta Informaticae
Petri nets and algebraic specifications
Theoretical Computer Science
The Z notation: a reference manual
The Z notation: a reference manual
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Object-Z specification language
The Object-Z specification language
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
Combining Statecharts and Z for the Design of Safety-Critical Control Systems
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Composition of Algebraic High-Level Nets
Proceedings of the 7th Workshop on Abstract Data Types: Recent Trends in Data Type Specification
Parallel systems specitications with coloured Petri nets and algebraic specifications
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Specification of an Access Control System with a Formalism Combining CCS and CASL
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
We are interested in the composition of languages, in particular a data description language and a paradigm-specific language, from a pragmatic point of view. Roughly speaking our goal is the description of languages in a component-based style, focussing on the data definition component. The proposed approach is to substitute the constructs dealing with data from the "data" language for the constructs describing data that are not specific to the particular paradigm of the "paradigm-specific" language in a way that syntax, semantics as well as methodologies of the two components are preserved. We illustrate our proposal on a toy example: using the algebraic specification language CASL, as data language, and a "pre-post" condition logic à la Hoare, as the paradigm specific one. A more interesting application of our technique is fully worked out in [16] and the first step towards an application to UML, that is an analysis of UML from the data viewpoint, following the guidelines given here, is sketched at the end.