Behavior-consistent specialization of object life cycles

ACM Transactions on Software Engineering and Methodology

Volumn 11, Issue 1, 2002, Pages 92-148

  Schrefl, Michael ^a   Stumptner, Markus ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Conceptual modeling; D.2.2 Software Engineering : Design Tools and Techniques Object oriented design methods; Design; Extension; Inheritance; Invocation consistency; Object behavior; Observation consistency; Refinement

Indexed keywords

CONCEPTUAL MODELING; INVOCATION CONSISTENCY; OBJECT BEHAVIOR; REFINEMENT;

COMPUTER PROGRAMMING LANGUAGES; LIFE CYCLE; MAPS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; THEOREM PROVING;

SOFTWARE ENGINEERING;

EID: 1542430430     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/504087.504091     Document Type: Article

References (48)

1. BICHLER, P., PREUNER, G., AND SCHREFL, M. 1997. Workflow transparency. In Advanced Information Systems Engineering, Proc. of the 9th International Conference (CAISE '97, Barcelona, Spain, June 1997), J. P. A. Olivé, Ed. Lecture Notes in Computer Science, No. 1250, Springer-Verlag, Berlin, Germany, 423-436.
2. BICHLER, P. AND SCHREFL, M. 1994. Active object-oriented database design using active object/ behavior diagrams. In Proc. IEEE RIDE'94 (Houston, TX, 1994), J. Widom and S. Chakravarthy, Eds. IEEE Computer Press, Los Alamitos, CA, 163-171.
3. BOOCH, G. 1994. Object-Oriented Analysis and Design with Applications (2nd ed.). Benjamin Cummings.
4. BRAUER, W., GOLD, R., AND VOGLER, W. 1991. A survey of behaviour and equivalence preserving refinements of Petri nets. In Proc. 10th Intl. Conf. on Application and Theory of Petri Nets (Bonn, Germany, 1991). Lecture Notes in Computer Science, No. 483, Springer, Berlin, 1-46.
5. CANNINGEN, P., COOK, W., HILL, W., AND OLTHOFF, W. 1989. Interfaces for strongly-typed object-oriented programming. In Proceedings OOPSLA '89 (New Orleans, LA, 1989), ACM Press, New York, NY, 457-467.
6. CARDELLI, L. 1988. A semantics of multiple inheritance. Inform. and Computat. 76, 138-164.
7. DHARA, K. K AND LEAVENS, G. T. 1996. Forcing behavioral subtyping through specification inheritance. In Proceedings ICSE-18 (Berlin, Germany, 1996). IEEE Computer Society Press, Los Alamitos, CA, 258-267.
8. EBERT, J. AND ENGELS, G. 1993. Dynamic models and behavioural views. Technical report 93-17, Universität Koblenz, Koblenz, Germany.
9. EBERT, J. AND ENGELS, G. 1994. Observable or invocable behaviour - You have to choose. Technical report, Universität Koblenz, Koblenz, Germany.
10. EHRICH, H.-D., GOGUEN, J., AND SERNADAS, A. 1990. A categorial theory of objects as observed processes. In Foundations of Object-Oriented Languages (REX School/Workshop Proceedings), J. de Bakker and W. de Roever, Eds. Lecture Notes in Computer Science, No. 489, Springer-Verlag, Berlin, Germany, 203-228.
11. EMBLEY, D., KURTZ, B., AND WOODFIELD, S. 1992. Object-Oriented Systems Analysis: A Model-Driven Approach. Prentice Hall, Englewood Cliffs, NJ.
12. FINDLER, N. Ed. 1979. Associative Networks: Representation and Use of Knowledge by Computers. Academic Press, San Diego, CA.
13. HULL, R. AND KING, R. 1987. Semantic database modeling: Survey, applications, and research issues. ACM Comput. Surv. 10, 2, 201-260.
14. KAPPEL, G. AND SCHREFL, M. 1991a. Object/behavior diagrams. In Proceedings of the 7th International Conference on Data Engineering (ICDE'91 Kobe, Japan, April 1991). IEEE Computer Society Press, Los Alamitos, CA, 530-539.
15. KAPPEL, G. AND SCHREFL, M. 1991b. Using an object-oriented diagram technique for the design of information systems. In H. Sol and K. van Hee, Eds., Proceedings of the International Working Conference on Dynamic Modelling of Information Systems (Noordwijkerhut, The Netherlands, 1991), H. Sol and K. van Hee, Eds. Elsevier North Holland, Amsterdam, The Netherlands, 121-164.
16. KAPPEL, G. AND SCHREFL, M. 1994. Inheritance of object behavior - consistent extension of object life cycles. In Proc. East/West Database Workshop (Klagenfurt, Austria, 1994). Springer-Verlag, Berlin, Germany, 289-300.
17. KAPPEL, G. AND SCHREFL, M. 1996. Objektorientierte Informationssysteme: Konzepte, Darstellungsmittel, Methoden. Springer-Verlag, (in German).
18. LAKOS, C. AND LEWIS, G. 1999. A practical approach to behavioural inheritance in the context of coloured Petri nets. In Workshop on Semantics of Objects as Processes (SOAP) (ECOOP '99, Lisbon, Portugal, June 1999). Lecture Notes in Computer Science, No. 1743, Springer, Berlin, Germany, 106-111.
19. LAKOS, C. A. 1992. Pragmatic inheritance issues for object Petri nets. Technical report, Dept. of Computer Science, University of Tasmania, Hobart, Australia.
20. LANG, P., OBERMAIR, W., AND SCHREFL, M. 1997. Modeling business rules with situation/activation diagrams. In P. L. A. GRAY Ed., Proceedings of the 13th International Conference on Data Engineering (ICDE '97, Birmingham, U.K., April 7-11, 1997). IEEE Computer Society Press, Los Angeles, CA, 455-464.
21. LISKOV, B. AND WING, J. M. 1994. A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16, 6 (Nov.), 1811-1841.
22. LOPES, A. AND COSTA, J. 1993. Rewriting for reuse. In Proc. ERCIM Workshop on Development and Transformation of Programs (Nancy, 1993), 43-55.
23. MCGREGOR, J. AND DYER, D. 1993. A note on inheritance and state machines. ACM SIGSOFT Softw. Eng. Notes 18, 4, 61-69.
24. MENEZES, P. B. AND COSTA, J. F. 1995. Compositional reification of concurrent systems. J. Brazilian Comput. Soc. 2, 1 (July), 50-67.
25. MENEZES, P. B., SERNADAS, A., AND COSTA, J. F. 1998. Nonsequential automata semantics for a concurrent, object-based language. Electron. Notes Theoret. Comput. Sci. 14.
26. MEYER, B. 1992. Applying "Design by Contract." IEEE Comput. 25, 10 (Oct.), 40-51.
27. MYLOPOULOS, J., BERNSTEIN, P. A., AND WONG, H. 1980. A facility for designing database-intensive applications. ACM Trans. Database Syst. 5, 2 (June), 185-207.
28. NIERSTRASZ, I. AND MURATA, T. 1983. A method for stepwise refinement and abstraction of petri nets. J. Comput. Syst. Sci. 27, 51-76.
29. Object Management Group. 1999. OMG Unified Modeling Language Specification Version 1.3. Object Management Group.
30. PAECH, B. AND RUMPE, P. 1994. A new concept of refinement used for behaviour modelling with automata. In Proc. FME'94 (Barcelona, Spain, 1994). Lecture Notes in Computer Science, No. 873, Springer-Verlag, Berlin, Germany, 154-174.
31. PAPAZOGLOU, M., SPACCAPIETRA, S., AND TARI, Z. Eds. 2000. Advances in Object-Oriented Data Modelling. MIT Press, Cambridge, MA.
32. PECKHAM, J. AND MARYANSKI, F. 1988. Semantic data models. ACM Comput. Surv. 20, 3 (Sept.), 153-189.
33. PETERSON, J. L. 1977. Petri nets. ACM Comput. Surv. 9, 3 (Sept.), 223-252.
34. POMELLO, L., ROZENBERG, G., AND SIMONE, C. 1992. A Survey of Equivalence Notions for Net Based Systems. Lecture Notes in Computer Science, No. 609, Springer-Verlag, Berlin, Germany.
35. PREUNER, G. 1999. "Dissertationen zu Datenbanken und Informationssystemen" (DISDBIS), Vol. 53, Infix, Sankt, Augustin. Ph.D. dissertation, Johannes Kepler Univ. Linz, Linz, Austria.
36. RAPHAEL, B. 1968. SIR: A computer program for semantic information retrieval. In M. MINSKY Ed., Semantic Information Processing (1968), pp. 33-145. MIT Press.
37. RUMBAUGH, J., BLAHA, M., PREMERLANI, W., AND EDDY, F. 1991. Object-Oriented Modeling and Design. Prentice Hall.
38. RUMBAUGH, J., JACOBSON, I., AND BOOCH, G. 1999. The Unified Modeling Language Reference Manual. Addison-Wesley Publishing Company, Reading, MA.
39. SAAKE, G., HARTEL, P., JUNGCLAUS, R., WIERINGA, R., AND FEENSTRA, R. 1994. Inheritance conditions for object life cycle diagrams. In Proc. EMISA-Workshop Formale Grundlagen für den Entwurf von Informationsystemen (Tutzing, Germany, 1994), U. Lipeck and G. Vossen, Eds. Informatik-Berichte, No. 3/94, Institut für Informatik, Universität Hannover, 79-88.
40. SCHREFL, M. 1991. Behavior modeling by stepwise refining behavior diagrams. In Proceedings ER'90-Entity Relationship Approach: The Core of Conceptual Modelling (Amsterdam, 1991), H. Kangassalo, Ed. Elsevier North Holland, Amsterdam, The Netherlands, 119-134.
41. SCHREFL, M. AND STUMPTNER, M. 1995. Behavior Consistent Extension of Object Life Cycles. In Proc. OOER'95, (Gold Coast, Australia, 1995). Lecture Notes in Computer Science, No. 1021. Springer-Verlag, Berlin, Germany, 133-145.
42. SCHREFL, M. AND STUMPTNER, M. 1997. Behavior consistent refinement of object life cycles. In Proc. ER'97 (Los Angeles, CA, 1997). Lecture Notes in Computer Science, No 1331. Springer-Verlag, Berlin, Germany, 155-168.
43. SERNADAS, A. AND EHRICH, H.-D. 1991. What is an object, after all? In Proc. IFIP WG 2.6 Working Conference on Object-Oriented Databases: Analysis, Design and Construction (DS-4, Windermeer, U.K., 1991), R. M. et al., Eds. Elsevier North Holland, Amsterdam, The Netherlands, 39-70.
44. SHIPMAN, D. W. 1981. The functional data model and the data language DAPLEX. ACM Trans. Database Syst. 6, 1 (March), 140-173.
45. SNYDER, A. 1987. Inheritance and the development of encapsulated software components. In Research Directions in Object-Oriented Programming, B. Shriver and P. Wegner, Eds. MIT Press, Cambridge, MA, 165-188.
46. VAN DER AALST, W. M. P. AND BASTEN, T. 1997. Life-cycle inheritance - A Petri-net-based approach. In Proc. 18th Intl. Conf. on Application and Theory of Petri Nets (Toulouse, France, 1997). Lecture Notes in Computer Science, No. 1248, Springer-Verlag, Berlin, Germany, 62-81.
47. WEGNER, P. AND ZDONIK, S. 1988. Inheritance as an incremental modification mechanism or what like is and isn't like. In Proc. ECOOP'88 (Oslo, Norway, 1988), S. Gjessing and K. Nygaard, Eds. Lecture Notes in Computer Science, No. 322, Springer-Verlag, Berlin, Germany, 55-57.
48. WINSKEL, G. 1987. Petri nets, algebras, morphisms, and compositionality. Inform. and Computat. 72, 197-238.