Abstract
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.
Partially supported by CoFI, ESPRIT Working Group 29432, and Murst - Saladin (Software Architecture and Languages to coordinate Distributed Mobile Components).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
E. Astesiano and G. Reggio. Labelled Transition Logic: An Outline. Technical Report DISI-TR-96-20, DISI-Università di Genova, Italy, 1996.
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.
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.
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.
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.
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.
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.
M. Fowler and K. Scott. UML Distilled. Object Technology Series. Addison-Wesley, 1997.
D. Harel and A. Naamad. The Statemate Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293–333, 1996.
D. Harel and M. Politi. Modeling Reactive Systems With Statecharts: The Statemate Approach. McGraw Hill, 1998.
R. Harper, D. MacQueen, and R. Milner. Standard ML. Technical Report ECS-LFCS-86-2, LFCS-University of Edinburgh, 1986.
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.
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.
S. Mauw and G.J. Veltink. A Process Specification Formalism. Fundamenta Informaticae, (XIII):85–139, 1990.
R. Milner. A Calculus of Communicating Systems. Number 92 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 1980.
G. Reggio and L. Repetto. Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl. In this volume.
W. Reisig. Petri Nets: an Introduction. Number 4 in EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985.
W. Reisig. Petri Nets and Algebraic Specifications. T.C.S., 80:1–34, 1991.
G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 2000.
M. Spivey. The Z Notation. Prentice-Hall, 1992.
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.
UML Revision Task Force. OMG UML Specification, 1999. Available at http://uml.shl.com.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Astesiano, E., Cerioli, M., Reggio, G. (2000). Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. In: Rus, T. (eds) Algebraic Methodology and Software Technology. AMAST 2000. Lecture Notes in Computer Science, vol 1816. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45499-3_21
Download citation
DOI: https://doi.org/10.1007/3-540-45499-3_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67530-3
Online ISBN: 978-3-540-45499-1
eBook Packages: Springer Book Archive