Behavior consistent inheritance in UML

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

Volumn 1920, Issue , 2000, Pages 527-542

  Stumptner, Markus ^a   Schrefl, Michael ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

BEHAVIOR CONSISTENCY; INHERITANCE RELATIONSHIPS; OBJECT LIFE CYCLE; OBJECT ORIENTED DESIGN METHODS; ONE-TO-ONE MAPPINGS; SET OF RULES; STATE MACHINE; UML STATE MACHINE;

LIFE CYCLE;

EID: 84937392046     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45393-8_38     Document Type: Conference Paper

References (22)

1. P. Bichler and M. Schrefl. Active Object-Oriented Database Design Using Active Object/Behavior Diagrams. In J. Widom and S. Chakravarthy, editors, Proc. IEEE RIDE'94, pages 163-171, Houston, 1994.
2. Grady Booch. Object-Oriented Analysis and Design with Applications (2nd edition). Benjamin Cummings, 1994.
3. J. Ebert and G. Engels. Observable or Invocable Behaviour|You Have to Choose. Technical report, Universität Koblenz, 1994.
4. D. W. Embley, B. D. Kurtz, and S. N. Woodfield. Object-Oriented Systems Analysis: A Model-Driven Approach. Prentice Hall, 1992.
5. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 1987.
6. G. Kappel and M. Schrefl. Object/behavior diagrams. In Proceedings ICDE'91, pages 530-539, Kobe, Japan, April 1991.
7. B. Liskov and J. M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6): 1811-1841, November 1994.
8. J. D. McGregor and D. M. Dyer. A note on inheritance and state machines. ACM SIGSOFT Software Engineering Notes, 18(4), 1993.
9. O. Nierstrasz. Regular types for active objects. In Proc. OOPSLA, 1993.
10. B. Paech and P. Rumpe. A new concept of refinement used for behaviour modelling with automata. In Proc. FME'94, Springer LNCS 873, 1994.
11. Mike Papazoglou, Stefano Spaccapietra, and Zahir Tari, editors. Advances in Object-Oriented Data Modelling. MIT Press, 2000.
12. L. Pomello, G. Rozenberg, and C. Simone. A Survey of Equivalence Notions for Net Based Systems. LNCS 609. Springer-Verlag, 1992.
13. Rational Software Corp. UML Notation Guide, Version 1. 1, September 1997.
14. Rational Software Corp. UML Semantics, Version 1. 1, September 1997.
15. J. Rumbaugh, M. Blaha, W. Premerlani, and F. Eddy. Object-Oriented Modeling and Design. Prentice Hall, 1991.
16. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley Publishing Company, 1999.
17. G. Saake, P. Hartel, R. Jungclaus, R. Wieringa, and R. Feenstra. Inheritance conditions for object life cycle diagrams. In Proc. EMISA Workshop, 1994.
18. M. Schrefl. Behavior modeling by stepwise refining behavior diagrams. In H. Kangassalo, editor, Proc. ER'90, amsterdam, 1991. Elsevier North Holland.
19. M. Schrefl and M. Stumptner. Behavior Consistent Extension of Object Life Cycles. In Proc. OOER'95, volume 1021 of LNCS. Springer-Verlag, 1995.
20. M. Schrefl and M. Stumptner. Behavior consistent refinement of object life cycles. In Proc. ER'97. Springer-Verlag, 1997.
21. M. Schrefl and M. Stumptner. On the Design of Behavior Consistent Specializations of Object Life Cycles in OBD and UML. In Papazoglou et al. [11], 2000.
22. W. M. P. van der Aalst and T. Basten. Life-Cycle Inheritance| A Petri-Net-Based Approach. In Proc. 18th Intl. Conf. on Application and Theory of Petri Nets, LNCS. Springer, 1997.