Integrating semantics for object-oriented system models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2076 LNCS, Issue , 2001, Pages 40-60

  Groe Rhode, Martin ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT MODELS; BEHAVIOUR MODELS; HETEROGENEOUS MODELS; OBJECT-ORIENTED SYSTEM; SEMANTIC DOMAINS; SEPARATION OF CONCERNS; SOFTWARE SYSTEMS DEVELOPMENT; ORIENTED SYSTEMS;

AUTOMATA THEORY; UNIFIED MODELING LANGUAGE; COMPUTATIONAL LINGUISTICS; MODELING LANGUAGES;

SEMANTICS;

EID: 18944370135     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (34)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer Verlag, 1996.
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.
3. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language, User Guide. Addison-Wesley, 1998.
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.
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.
6. M. Broy and K. Stolen. Specification and Development of Interactive Systems. FOCUS on Streams, Interfaces, and Refinement. Springer Verlag, 2001.
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.
8. T. Clark, A. Evans, and S. Kent. The metamodelling language calculus: Founda-tional semantics for UML. In H. Hussmann, editor, Proc. Fundamental Approaches to Software Engineering (FASE 2001), LNCS 2029, pages 17-31. Springer Verlag, 2001.
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.
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.
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.
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.
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.
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.
16. J. Fiadeiro and T. Maibaum. Temporal theories as modularisation units for concurrent system specifications. Formal Aspects of Computing, 4(3):239-272, 1992.
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.
18. J. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95-146, 1992.
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.
20. M. Große-Rhode. Semantic integration of heterogeneous formal specifications via transformation systems. Technical report, TU Berlin, 2001.
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.
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.
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.
25. R. Milner. Communication and Concurrency. Prentice Hall International, 1989.
26. ITU-T recommendation X. 901-X. 904, ISO/IEC standard 10746. Reference Model of Open Distributed Processing, 1994.
27. M. Ozhan. Semantische Konsistenzanalyse von UML Sequenz-und Zustandsdia-grammen. Technical Report 2001/07, TU Berlin, 2001.
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.
29. J. Tenzer. Translation of UML class diagrams into diagrams of transformation specifications. Technical Report 2000/15, TU Berlin, FB Informatik, November 2000.
30. A. Tsiolakis. Semantic analysis and consistency checking of UML sequence diagrams. Technical Report 2001/06, TU Berlin, 2001.
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.
32. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
33. M. Weber. Abstract object systems-a three-layer model of concurrent real-time object systems. Technical Report 97/12, TU Berlin, 1997.
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.