Skip to main content

Integrating Semantics for Object—Oriented System Models

  • Conference paper
  • First Online:
Automata, Languages and Programming (ICALP 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2076))

Included in the following conference series:

  • 1427 Accesses

Abstract

According to the viewpoint model of software systems development abstract models of different views of the systems are constructed. This separation of concerns reduces the complexity of the development, but prompts the question for their integration, i.e., the conception of a collection of heterogeneous models as a complete specification of a system. The integration can be achieved by using a common semantic domain for the interpretation of all models, where each viewpoint model, due to its partiality, admits a set of possible interpretations. In this paper such an integrating semantic domain is sketched and an application to structure and behaviour models of the Unified Modeling Language is discussed.

This work has been supported by the research project IOSIP (Eh65/10-2) within the DFG Priority Programme Integration of Software Specification Techniques for Applications in Engineering (1064)

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. M. Abadi and L. Cardelli. A Theory of Objects. Springer Verlag, 1996.

    Google Scholar 

  2. E.A. Boiten, H. Bowman, J. Derrick, P.F. Linington, and M.W.A. Steen. Viewpoint consistency in ODP. Computer Networks, 34(3):503–537, 2000.

    Article  Google Scholar 

  3. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language, User Guide. Addison-Wesley, 1998.

    Google Scholar 

  4. R. Breu, R. Grosu, F. Huber, B. Rumpe, and W. Schwerin. Systems, views and models of UML. In Martin Schader and Axel Korthaus, editors, The Unified Modeling Language, Technical Aspects and Applications, pages 93–109. Physica Verlag, Heidelberg, 1998.

    Google Scholar 

  5. Brinksma, E. (ed.). Information processing systems-Open Systems Interconnection-LOTOS-A formal description technique based on the temporal ordering of observational behaviour. ISO 8807, 1989. International Standard.

    Google Scholar 

  6. M. Broy and K. Stolen. Specification and Development of Interactive Systems. FOCUS on Streams, Interfaces, and Refinement. Springer Verlag, 2001.

    Google Scholar 

  7. J.-M. Bruel and R.B. France. Transforming UML models to formal specifications. In P.-A. Muller and J. Bezivin, editors, UML’98-Beyond the Notation. Springer LNCS, 1998.

    Google Scholar 

  8. T. Clark, A. Evans, and S. Kent. The metamodelling language calculus: Foundational semantics for UML. In H. Hussmann, editor, Proc. Fundamental Approaches to Software Engineering (FASE 2001), LNCS 2029, pages 17–31. Springer Verlag, 2001.

    Chapter  Google Scholar 

  9. W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS’99), pages 293–312. Kluwer Academic Publishers, 1999.

    Google Scholar 

  10. W. Damm, B. Josko, H. Hungar, and A. Pnueli. A compositional real-time semantics of STATEMATE designs. In W.-P. de Roever, H. Langmaack, and A. Pnueli, editors, Proc. COMPOS’97, volume 1536 of LNCS, 1997.

    Google Scholar 

  11. R. Droms. Dynamic host configuration protocol. IETF, Networking Group, March 1997. Available at http://www.ietf.org/rfc/rfc2131.txt.

  12. D.F. D’Souza and A.C. Wills. Objects, Components, and Frameworks with UML. The Catalysis Approach. Object Technology Series. Addison Wesley, 1999.

    Google Scholar 

  13. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985.

    MATH  Google Scholar 

  14. R. Eshuis and R. Wieringa. Requirements-level semantics for UML statecharts. In S.F. Smith and C.L. Talcott, editors, Proc. FMOODS 2000, IFIP TC6/WG6.1, pages 121–140. Kluwer Academic Publishers, 2000.

    Google Scholar 

  15. A. Evans and S. Kent. Core meta-modelling semantics of UML: The pUML approach. In B. Rumpe and R.B. France, editors, Proc. 2nd International Conference on the UML. Springer LNCS 1723, 1999.

    Google Scholar 

  16. J. Fiadeiro and T. Maibaum. Temporal theories as modularisation units for concurrent system specifications. Formal Aspects of Computing, 4(3):239–272, 1992.

    Article  MATH  Google Scholar 

  17. C. Fischer and H. Wehrheim. Behavioural subtyping relations for object-oriented formalisms. In T. Rus, editor, Proc. Algebraic Methodology and Software Technology (AMAST 2000). Springer LNCS 1816, 2000.

    Chapter  Google Scholar 

  18. J. Goguen and R.M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95–146, 1992.

    Article  MATH  MathSciNet  Google Scholar 

  19. M. Große-Rhode. A compositional comparison of specifications of the alternating bit protocol in CCS and UNITY based on algebra transformation systems. In K. Araki, A. Galloway, and K. Taguchi, editors, Proc. of the 1st International Conference on Integrated Formal Methods (IFM’99), York, UK, 28-29 June 1999, pages 253–272. Springer Verlag, 1999.

    Google Scholar 

  20. M. Große-Rhode. Semantic integration of heterogeneous formal specifications via transformation systems. Technical report, TU Berlin, 2001.

    Google Scholar 

  21. Object Management Group. Unified Modeling Language-version 1.3, 2000. Available at http://www.omg.org/uml.

  22. J. Klose and H. Wittke. An automata based interpretation of life sequence charts. In Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), pages 512–527. Springer LNCS 2031, 2001.

    Chapter  Google Scholar 

  23. P.F. Linington. Introduction to the open distributed processing basic reference model. In J. de Meer, V. Heymer, and R. Roth, editors, Proceedings IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, pages 3–13, 1991.

    Google Scholar 

  24. G. Lüttgen, M. von der Beeck, and R. Cleaveland. A compositional approach to statecharts semantics. Technical Report NASA/CR-2000-210086, ICASE Report No. 2000-12, Langley Research Center, 2000.

    Google Scholar 

  25. R. Milner. Communication and Concurrency. Prentice Hall International, 1989.

    Google Scholar 

  26. ITU-T recommendation X.901-X.904, ISO/IEC standard 10746. Reference Model of Open Distributed Processing, 1994.

    Google Scholar 

  27. M. Özhan. Semantische Konsistenzanalyse von UML Sequenz-und Zustandsdiagrammen. Technical Report 2001/07, TU Berlin, 2001.

    Google Scholar 

  28. G. Reggio, M. Cerioli, and E. Astesiano. Towards a rigoruos semantics of UML supporting its multiview aproach. In H. Hussmann, editor, Proc. Fundamental Approaches to Software Engineering (FASE 2001), LNCS 2029, pages 171–186. Springer Verlag, 2001.

    Chapter  Google Scholar 

  29. J. Tenzer. Translation of UML class diagrams into diagrams of transformation specifications. Technical Report 2000/15, TU Berlin, FB Informatik, November 2000.

    Google Scholar 

  30. A. Tsiolakis. Semantic analysis and consistency checking of UML sequence diagrams. Technical Report 2001/06, TU Berlin, 2001.

    Google Scholar 

  31. M. von der Beeck. A comparison of Statechart variants. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Third International School and Symposium on Formal Techniques in Real-time and Fault-tolerant Systems (FTRTFT’94), pages 128–148. Springer LNCS 863, 1994.

    Google Scholar 

  32. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.

    Google Scholar 

  33. M. Weber. Abstract object systems-a three-layer model of concurrent real-time object systems. Technical Report 97/12, TU Berlin, 1997.

    Google Scholar 

  34. M. Wermelinger and J.L. Fiadeiro. Algebraic software architecture reconfiguration. In Proc. Software Engineering ESEC/FSE’99, pages 393–409. Springer LNCS 1687, 1999.

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Große-Rhode, M. (2001). Integrating Semantics for Object—Oriented System Models. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds) Automata, Languages and Programming. ICALP 2001. Lecture Notes in Computer Science, vol 2076. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48224-5_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-48224-5_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42287-7

  • Online ISBN: 978-3-540-48224-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics