A CSP view on UML-RT structure diagrams

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

Volumn 2029, Issue , 2001, Pages 91-108

  Fischer, Clemens ^a   Olderog, Ernst Rüdiger ^a   Wehrheim, Heike ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; GRAPHIC METHODS; REAL TIME SYSTEMS; SEMANTICS; SOFTWARE ENGINEERING;

ARCHITECTURAL LEVELS; ARCHITECTURE SPECIFICATION; GRAPHICAL DESCRIPTION; PARALLEL COMPOSITION; REAL TIME SOFTWARE SYSTEM; STRUCTURE DIAGRAMS; SYSTEM COMPONENTS; SYSTEM STRUCTURES;

FORMAL METHODS;

EID: 84944258997     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45314-8_8     Document Type: Article

References (19)

1. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, 1997.
2. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language user guide. Addison Wesley, 1999.
3. T. Clark and A. Evans. Foundations of the Unified modeling language. In Northern Formal Methods Workshop, Electronic Workshops in Computing. Springer, 1998.
4. S. Dupuy, Y. Ledru, and M. Chabre-Peccoud. Translating the OMT dynamic model into Object-Z. In J.P. Bowen, A. Fett, and M.G. Hinchey, editors, ZUM'98: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science, pages 347-366. Springer, 1998.
5. C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS '97), volume 2, pages 423-438. Chapman & Hall, 1997.
6. C. Fischer. Combination and Implementation of Processes and Data: From CSPOZ to Java. PhD thesis, Bericht Nr. 2/2000, University of Oldenburg, April 2000.
7. R. France and B. Rumpe, editors. UML'99: The Modified Modeling Language-Beyond the Standard, volume 1723 of Lecture Notes in Computer Science. Springer, 1999.
8. R. Grosu, M. Broy, B. Selic, and G. Stefanescu. What is behind UML-RT? In Behavioural Specifications of business and systems. Kluwer, 1999.
9. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
10. S.-K. Kim and D. Carrington. Formalizing the UML class diagram using Object-Z. In R. France and B. Rumpe, editors, UML'99: The Unified Modelling Language-Beyond the Standard, volume 1723 of Lecture Notes in Computer Science, pages 83-98. Springer, 1999.
11. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In ESEC '95: European Software Engineering Conference, 1995.
12. R. Milner. Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, 1999.
13. Object Management Group. OMG Unified Modeling Language Specification, June 1999. version 1.3.
14. E.-R. Olderog and A.P. Ravn. Documenting design refinement. In M.P.E. Heimdahl, editor, Proc. of the Third Workshop on Formal Methods in Software Practice, pages 89-100. ACM, 2000.
15. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.
16. B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems. Technical report, ObjecTime, 1998.
17. G. Smith. The Object-Z Specification Language. Kluwer Academic Publisher, 2000.
18. J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall International Series in Computer Science, 2nd edition, 1992.
19. H. Wehrheim. Specification of an automatic manufacturing system-a case study in using integrated formal methods. In T. Maibaum, editor, FASE 2000: Fundamental Aspects of Software Engineering, number 1783 in LNCS. Springer, 2000.