Advertisement

Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML

  • Egidio Astesiano
  • Maura Cerioli
  • Gianna Reggio
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1816)

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.

Keywords

Abstract Syntax Data Part Static Semantic Type Constructor Linear Time Temporal Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. 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. 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. 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. 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. 8.
    M. Fowler and K. Scott. UML Distilled. Object Technology Series. Addison-Wesley, 1997.Google Scholar
  9. 9.
    D. Harel and A. Naamad. The Statemate Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293–333, 1996.CrossRefGoogle Scholar
  10. 10.
    D. Harel and M. Politi. Modeling Reactive Systems With Statecharts: The Statemate Approach. McGraw Hill, 1998.Google Scholar
  11. 11.
    R. Harper, D. MacQueen, and R. Milner. Standard ML. Technical Report ECS-LFCS-86-2, LFCS-University of Edinburgh, 1986.Google Scholar
  12. 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. 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. 14.
    S. Mauw and G.J. Veltink. A Process Specification Formalism. Fundamenta Informaticae, (XIII):85–139, 1990.Google Scholar
  15. 15.
    R. Milner. A Calculus of Communicating Systems. Number 92 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 1980.zbMATHGoogle Scholar
  16. 16.
    G. Reggio and L. Repetto. Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl. In this volume.Google Scholar
  17. 17.
    W. Reisig. Petri Nets: an Introduction. Number 4 in EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985.zbMATHGoogle Scholar
  18. 18.
    W. Reisig. Petri Nets and Algebraic Specifications. T.C.S., 80:1–34, 1991.zbMATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 2000.Google Scholar
  20. 20.
    M. Spivey. The Z Notation. Prentice-Hall, 1992.Google Scholar
  21. 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. 22.
    UML Revision Task Force. OMG UML Specification, 1999. Available at http://uml.shl.com.
  23. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Egidio Astesiano
    • 1
  • Maura Cerioli
    • 1
  • Gianna Reggio
    • 1
  1. 1.DISI-Dipartimento di Informatica e Scienze dell’InformazioneUniversità di GenovaGenovaItaly

Personalised recommendations