Formally based modeling and inheritance of behaviour in object-oriented systems

Journal of Systems and Software

Volumn 70, Issue 1-2, 2004, Pages 129-142

  Philippi, Stephan ^a,b  

^a BIELEFELD UNIVERSITY   (Germany)

^b University of Koblenz   (Germany)

Author keywords

Concurrency; Dynamic models; Inheritance; Object behaviour; Object life cycles; Object orientation; Petri Nets; Systems modeling

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; CONCURRENCY CONTROL; LIFE CYCLE; NETWORK PROTOCOLS; SYNCHRONIZATION; TESTING;

FORMALIZATION; OBJECT BEHAVIOR;

OBJECT ORIENTED PROGRAMMING;

EID: 0346308527     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(03)00011-6     Document Type: Article

References (37)

1. Agha G. Concurrent Object-Oriented Programming and Petri-Nets, LNCS 2001. 2001;Springer, Berlin.
2. America P. Designing an Object-Oriented Programming Language with Behavioural Subtyping. Foundations of Object-Oriented Languages, LNCS 489. 1991;Springer, Berlin.
3. Basten, T., van der Aalst, W., 1999. Inheritance of Behavior. Report 99/17, Eindhoven University of Technology, The Netherlands.
4. Dhara, K., Leavens, G., 1996. Forcing behavioral subtyping through specification inheritance. In: Proceedings of the International Conference on Software Engineering, Berlin, Germany.
5. Ebert, J., Engels, G., 1995. Specialization of Object Life Cycle Definitions. Technical Report 19-95, Koblenz University.
6. Frolund S. Inheritance of synchronization constraints in concurrent object-oriented programming languages. ECOOP'92 - European Conference on Object-Oriented Programming, LNCS 615. 1992;Springer, Berlin.
7. Harel D. Statecharts: a visual formalism for complex systems. Science of Computer Programming. 8(3):1987;231-274.
8. Jin Y., Esser R., Janneck J. Describing the syntax and semantics of UML statecharts in a heterogeneous modelling environment. Diagrammatic Representation and Inference: Second International Conference, Diagrams 2002, LNAI 2317. 2002;Springer, Berlin.
9. Kappel G., Schrefl M. Inheritance of object behavior-consistent extensions of object life cycles. Extending Information Systems Technology, Proceedings of the 2nd International East/West Database Workshop. 1994;Springer, Berlin.
10. Kuno, Y., 1997. Solving inheritance anomaly problems by state abstraction-based synchronization. In: Proceedings of the France-Japan Workshop on Object-Based Parallel and Distributed Computing. University of Tsukuba, Tokyo, Japan.
11. Lautenbach K. Linear algebraic techniques for place/transition nets. Petri Nets, Central Models and their Properties, LNCS 254. 1987;Springer, Berlin.
12. Liskov B., Wing J. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems. 16(6):1994;1811-1841.
13. Matsuoka S., Yonezawa A. Analysis of inheritance anomaly in object-oriented concurrent programming languages. Research Directions in Concurrent Object-Oriented Programming. 1993;MIT Press, Cambridge, MA.
14. McGregor J., Dyer D. A note on inheritance and state machines. ACM Software Engineering Notes. 18(4):1993;61-69.
15. Meseguer J. Solving the inheritance anomaly in concurrent object-oriented programming. ECOOP'93 - European Conference on Object-Oriented Programming, LNCS 707. 1993;Springer, Berlin.
16. Meyer B. Object-oriented Software Construction. 1997;Prentice Hall International, Englewood Cliffs, NJ.
17. Nierstrasz O. Regular types for active objects. Object-oriented Software Composition. 1995;Prentice Hall International, Englewood Cliffs, NJ.
18. Object Management Group, 2001. UML 1.4. www.omg.org/uml.
19. Object Management Group, 2002. UML 1.4 with Action Semantics. www.omg.org/uml.
20. Paech B., Rumpe B. A new concept of refinement used for behaviour modelling with automata. EME'94: Industrial Benefit of Formal Methods, LNCS 873. 1994;Springer, Berlin.
21. Peterson J.L. Petri-Net Theory and the Modeling of Systems. 1981;Prentice Hall International, Englewood Cliffs, NJ.
22. Philippi, S., 2000. Seamless object-oriented software development on a formal base. In: Workshop on Software Engineering and Petri-Nets', held at the 21st International Conference on Theory and Applications of Petri-Nets 2000, Aarhus, Denmark.
23. Philippi S. Visual programming of concurrent object-oriented systems. Journal of Visual Languages and Computing. 12(2):2001;127-143.
24. Philippi S. A CASE-Tool for the development of concurrent object-oriented systems based on Petri-Nets. Petri-Net Newsletter. 63:2002;9-22.
25. Philippi, S., 2002b. Life cycle inheritance in concurrent object-oriented systems. In: Workshop on Software Engineering and Formal Methods, held at the 23st International Conference on Theory and Applications of Petri-Nets 2002, Adelaide, Australia.
26. Precise UML Group, 2002. www.puml.org/.
27. Rumbaugh J., Blaha M., Premerlani W., Eddy F., Lorensen W. Object-oriented Modeling and Design. 1991;Prentice Hall International, Englewood Cliffs, NJ.
28. Saake, G., Hartel, P., Jungclaus, R., Wieringa, R., Feenstra, R., 1994. Inheritance conditions for object life cycles diagrams. In: Workshop Formale Grundlagen für den Entwurf von Informationssystemen'. Technical Report 3/94, University of Hannover, Germany.
29. Sajeev, A., Schmidt, H., 1996. Integrating concurrency and object-orientation using boolean, access and path guards. In: Proceedings of the International Conference on High Performance Computing, Trivandrum, India.
30. Schrefl M., Stumptner M. Behavior consistent extension of object life cycles. OOER'95: Object-Oriented and Entity-Relationship Modeling, LNCS 1021. 1995;Springer, Berlin.
31. Schrefl M., Stumptner M. Behavior consistent refinement of object life cycles. Conceptual Modeling - ER'97, LNCS 1331. 1997;Springer, Berlin.
32. Shlaer S., Mellor S.J. Object Life Cycles: Modeling the World in States. 1992;Yourdon Press, Englewood Cliffs, NJ.
33. Soundarajan, N., 1996. Covariance, Contravariance, and Synchronization Constraints. Technical Report, Ohio State University.
34. Stumptner M., Schrefl M. Behavior consistent inheritance in UML. Conceptual Modeling - ER 2000, LNCS 1920. 2000;Springer, Berlin.
35. van Glabbeek R.J., Weijland W.P. Branching time and abstraction in bisimulation semantics. Journal of the ACM. 43(3):1996.
36. von der Beeck M. Formalization of UML-statecharts. 'UML 2001', LNCS 2185. 2001;Springer, Berlin. pp. 555-600.
37. Wegner P., Zdonik S.B. Inheritance as an incremental modification mechanism or what like is and isn't like. European Conference on Object-Oriented Programming - ECOOP'88, LNCS 322. 1988;Springer, Berlin.