Relating events, messages, and methods of multiple threaded objects

JOOP - Journal of Object-Oriented Programming

Volumn 12, Issue 8, 2000, Pages 8-14

  Breu, Ruth ^a   Grosu, Radu ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b Implant Research Center   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0345806545     PISSN: 08968438     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. Boooch, G., J. Rumbaugh, and I. Jacobson. The Unified Modeling LanguageUser Guide, Addison-Wesley, Reading, MA, 1999.
2. Harel, D. "Statecharts: A Visual Formalism for Complex Systems," Science of Computer Programming, 8:231-274, 1987.
3. Alur, R. and R. Grosu. "Modular Refinement of Hierarchic Reactive Machines," in Proc. of the POPL'OO, 27th Annual ACM SIGPLAN-SIGACT Syposium on Principles of Programming Languages, Boston, MA, January 19-21, 2000.
4. Broy, M., R. Grosu, and C. Klein. "Reconciling Real-time with Asynchronous Message-Passing," FME'97, Lecture Notes in Computer Science 1313, Springer, Heidelberg, 1999.
5. Bauer, M. et al. "Enterprise Modeling Using OOA Techniques," in Proc. CON 94, Workflow Management, G. Chroust et al., ed., Oldenbourg, 1994.
6. Müller-Luschnat, G., W. Hesse, and N. Heydenreich. "Objektorientierte Analyse und Geschäftsvorfallsmodellierung," in Objektorientierte Methoden für Informationssysteme, H. C. Mayr and R. Wagner, eds., Springer, Heidelberg, 1993.
7. Coleman, D. et al. Object-Oriented Development: The Fusion Method, Prentice-Hall International, Inc., Englewood Cliffs, NJ, 1994.
8. Breu, R. "Konzepte, Techniken und Methodik des objektorientierten Entwurfs -Ein integrierter Ansatz," Habilitationsschrift, Technische Universität München, 1999.
9. Selic, B. and J. Rumbaugh. Using UML for Modeling Complex Real-Time Systems, Apr. 1998, available under http://www.objectime.com/uml.
10. Grosu, R. et al. "What is Behind UML-RT?" in Behavioral Specifications of Businesses and Systems, Kluwer Academic Publishers, 1999.
11. Grosu, R. et al. "Towards a Calculus for UML-RT Specifications," in Proc. of the 7th OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, Oct. 19th, 1998.
12. Grosu, R., G. Stefanescu, and M. Broy. "Visual Formalisms Revisited," in Proc. of the CSD'98, International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu City, Fukushima, 1998.
13. Krüger, I. et al. "From MSCs to Statecharts," in Distributed and Parallel Embedded Systems, Kluwer AcademicPublishers, 1999.