Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML
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  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.
KeywordsAbstract Syntax Data Part Static Semantic Type Constructor Linear Time Temporal Logic
Unable to display preview. Download preview PDF.
- 1.E. Astesiano and G. Reggio. Labelled Transition Logic: An Outline. Technical Report DISI-TR-96-20, DISI-Università di Genova, Italy, 1996.Google Scholar
- 2.E. Battiston, F. De Cindio, and G. Mauri. OBJSA Nets: a Class of High-Level Nets Having Objects as Domains. In G. Rozemberg, editor, Advances in Petri Nets, number 340 in Lecture Notes in Computer Science, pages 20–43. Springer Verlag, Berlin, 1988.Google Scholar
- 3.H. Baumeister, M. Cerioli, A. Haxthausen, T. Mossakowski, P. Mosses, D. Sannella, and A. Tarlecki. Formal Methods’ 99-CASL, The Common Algebraic Specification Language-Semantics. Compact disc published by Springer-Verlag, 1999.Google Scholar
- 4.J.A. Bergstra, J. Heering, and P. Klint. The Algebraic Specification Formalism ASF. In J.A. Bergstra, J. Heering, and P. Klint, editors, Algebraic Specification, ACM Press Frontier Series, pages 1–66. Addison-Wesley, 1989.Google Scholar
- 5.R. Bussow, R. Geisler, and M. Klar. Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. In E. Astesiano, editor, Proc. FASE’98, number 1382 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 1998.Google Scholar
- 6.C. Dimitrovici and U. Hummert. Composition of Algebraic High-Level Nets. In H. Ehrig, K.P. Jantke, F. Orejas, and H. Reichel, editors, Recent Trends in Data Type Specification, number 534 in Lecture Notes in Computer Science, pages 52–73. Springer Verlag, Berlin, 1991.Google Scholar
- 7.H. Ehrig, W. Fey, and H. Hansen. ACT ONE: An Algebraic Specification Language with two Levels of Semantics. Technical Report 83-01, TUB, Berlin, 1983.Google Scholar
- 8.M. Fowler and K. Scott. UML Distilled. Object Technology Series. Addison-Wesley, 1997.Google Scholar
- 10.D. Harel and M. Politi. Modeling Reactive Systems With Statecharts: The Statemate Approach. McGraw Hill, 1998.Google Scholar
- 11.R. Harper, D. MacQueen, and R. Milner. Standard ML. Technical Report ECS-LFCS-86-2, LFCS-University of Edinburgh, 1986.Google Scholar
- 12.I.S.O. ISO 8807 Information Processing Systems — Open Systems Interconnection — LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO, 1989.Google Scholar
- 13.S. Mauw and G.J. Veltink. An Introduction to PSFd. In J. Diaz and F. Orejas, editors, Proc. TAPSOFT’89, Vol. 2, number 352 in Lecture Notes in Computer Science, pages 272–285. Springer Verlag, Berlin, 1989.Google Scholar
- 14.S. Mauw and G.J. Veltink. A Process Specification Formalism. Fundamenta Informaticae, (XIII):85–139, 1990.Google Scholar
- 16.G. Reggio and L. Repetto. Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl. In this volume.Google Scholar
- 19.G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 2000.Google Scholar
- 20.M. Spivey. The Z Notation. Prentice-Hall, 1992.Google Scholar
- 21.The CoFI Task Group on Language Design. Formal Methods’ 99-CASL, The Common Algebraic Specification Language-Summary. Available on compact disc published by Springer-Verlag, 1999.Google Scholar
- 22.UML Revision Task Force. OMG UML Specification, 1999. Available at http://uml.shl.com.
- 23.J. Vautherin. Parallel System Specifications with Coloured Petri Nets and Algebraic Data Types. In G. Rozemberg, editor, Advances in Petri Nets, number 266 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 1987.Google Scholar
- 24.M. Weber. Combining Statecharts and Z for the Desgin of Safety-Critical Control Systems. In M.-C. Gaudel and J. Woodcock, editors, FME’96: Industrial Benefit and Advances in Formal Methods, number 1051 in Lecture Notes in Computer Science, pages 307–326. Springer Verlag, Berlin, 1996.Google Scholar