UML behavior: Inheritance and implementation in current object-oriented languages

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

Volumn 1723, Issue , 1999, Pages 457-472

  Sourrouille, Jean Louis ^a  

^a UNIVERSITÉ DE LYON   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; UNIFIED MODELING LANGUAGE;

ABSTRACT STATE MACHINES; ACTIVE OBJECT; AUTOMATIC CODE GENERATIONS; CONCURRENT EXECUTION; PRACTICAL SOLUTIONS; STATE MACHINE; STATE REPRESENTATION; TARGET LANGUAGE;

TRANSLATION (LANGUAGES);

EID: 22844453918     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46852-8_33     Document Type: Conference Paper

References (28)

1. Agha G., Actors: a Model of Concurrent Computation in Distributed Systems, MIT Press, Cambridge, 1986
2. S.D. Brookes and C.A.R Hoare and A.W. Roscoe, "A Theory of Communicating Sequential Processes", Journal of the ACM, Vol 31(3), 1984, p.560-599
3. R. Cleaveland, J. Parrow, B. Steffen, "The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems", ACM Trans. on Programming Languages and Systems, Vol.15(1), 1993, p.36-72
4. Cook S., Daniels J., Designing Object Systems, Prentice Hall, 1994
5. K.K. Dhara, G.T. Leavens, "Forcing Behavioral Subtyping Through Specification Inheritance", Proc. Int. conf. on Software Engineering, 1996, pp258-267
6. J.C.Fernandez, L. Mounier, "On the Fly Verification of behavioural Equivalences and Preorders". Workshop on Computer-Aided Verification, Springer Verlag, LNCS 575, 1991
7. Gamma E., Helm R., Johnson R., Vlissides J., "Design Patterns: Elements of Reusable Object-Oriented Software.", Addison Wesley, 1994.
8. Harel D., "Statecharts: A Visual Formalism for Complex Systems", Science of Computer Programming, 1987, p.231-274
9. Harel D., Gery E., "Executable Object Modeling with Statecharts", IEEE Computers, July 1997, Vol 30(7), pp31-42
10. C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985
11. Java Documentation, Sun Microsystems
12. D. G. Kafura and R. G. Lavender. "Concurrent Object-Oriented Languages and the Inheritance Anomaly", in Parallel Computers: Theory and Practice, IEEE Press, 1995, pp.165-198
13. H. Lecoeuche, J.L. Sourrouille, "Introducing states in the object model.", Proc. TOOLS'93 USA, p.69-81
14. B.H. Liskov, J.M. Wing, "A Behavioural Notion of Subtyping", ACM Trans. on Programming Languages and Systems, Vol 16(6), 1994, p.1811-1841
15. Matsuoka S., Taura K., Yonezawa A., "Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent O-O Languages", OOPSLA'93, ACM Sigplan Notices, 1993 pp. 109-126.
16. B. Meyer, Object Oriented Software Construction, Prentice Hall, 1988
17. O. Nierstrasz. "Regular types for active objects", OOPSLA'93, ACM Sigplan notices 1993, Vol. 28(10), p.1-15
18. B. Paech, B. Rumpe, "A new Concept of Refinement used for Behaviour Modelling with Automata", Formal Methods Europe, Springer Verlag, LNCS 873, p.154-175
19. Papathomas M., "Concurrency in Object-Oriented Programming Languages", In. Object-Oriented Software Composition, Prentice Hall, 1995, pp.31-68
20. J. Rumbaugh, "Controlling code. How to implement dynamic models", JOOP, Vol.6(2), 1993, pp.25-30
21. J.L. Sourrouille, "Should subclasses inherit of all states and transitions?", Report on Object Analysis and Design, Vol 2(6), 1996, p.19-21
22. J.L. Sourrouille, "A framework for the definition of behaviour inheritance", JOOP, Vol 9(1), 1996, p.17-21
23. Sourrouille J.L., "Une sémantique pour l'héritage de comportement", LMO'97, 1997, pp.131-146
24. nd edition, 1992
25. C. Tomlinson and V. Singh. "Inheritance and synchronization with enabled-sets", OOPSLA'89, ACM Sigplan Notices, 1989, pp. 103-112
26. "OMG Unified Modeling Language Specification (draft)", Version 1.3, March 1999.
27. E.Y. Wang, H.A. Richter, B.H.C. Cheng, "Formalizing and Integrating the Dynamic Model within OMT", Proc. ACM ICSE 1997, p.45-55
28. P. Wegner and S. Zdonik, "Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like", Proc. ECOOP 1988, Springer Verlag, p.55-77