Abstract
In the preceding chapters of this book, we studied the structural part of a conceptual schema, that is, the structural schema. In this chapter, we start the study of the behavioral part, called the behavioral schema.
Keywords
Information Base Structural Event Event Type Structural Schema Entity Type
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
11.7 Bibliographical Notes
- Bicarregui J, Ritchie B (1995) Invariants, frames, and postconditions: A comparison of the VDM and B notations. IEEE Trans. Software Eng. 21(2):78–89.CrossRefGoogle Scholar
- Bonner AJ, Kifer M (1998) The state of change: A survey. In: Freitag B, Decker H, Kifer M, Voronkov A (eds) Transactions and change in logic databases, LNCS 1472:1–36.Google Scholar
- Borgida A, Greenspan SJ (1980) Data and activities: Exploiting hierarchies of classes. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 98–100.Google Scholar
- Borgida A, Mylopoulos J, Reiter R (1995) On the frame problem in procedure specifications. IEEE Trans. Software Eng. 21(10):785–798.CrossRefGoogle Scholar
- Bubenko JA Jr (1980) Information modeling in the context of system development. IFIP Congress 1980:395–411.Google Scholar
- Ceri S, Fraternali P (1997) Designing database applications with objects and rules: The IDEA methodology. Addison-Wesley.Google Scholar
- Chomicki J, Saake G (eds) (1998) Logics for databases and information systems. Kluwer Academic.Google Scholar
- Cook S, Daniels J (1994) Designing object systems: Object-oriented modelling with Syntropy. Prentice Hall.Google Scholar
- Dardenne A, van Lamsweerde A, Fichas S (1993) Goal-directed requirements acquisition. Sci. Comput. Program. 20:3–50.MATHCrossRefGoogle Scholar
- D’Souza DF, Wills AC (1999) Objects, components and frameworks with UML: The Catalysis approach. Addison-Wesley.Google Scholar
- Embley DW, Kurtz BD, Woodfield SN (1992) Object-oriented systems analysis. Yourdon Press.Google Scholar
- Engels G, Gogolla M, Hohenstein W, Hülsmann K, Löhr-Richter P, Saake G, Dieter HD (1992) Conceptual modelling of database applications using an extended ER model. Data Knowl. Eng. 9:157–204.CrossRefGoogle Scholar
- Griethuysen JJ van (ed) (1982) Concepts and terminology for the conceptual schema and the information base. ISO TC97/SC5/WG3.Google Scholar
- Gustaffsson MR, Karlsson T, Bubenko JA Jr. (1982) A declarative approach to conceptual information modeling. In: Olle et al. (eds) pp 93–142.Google Scholar
- IEEE (1999) IEEE standard for conceptual modeling language syntax and semantics for IDEF1X97 (IDEFobject). IEEE Std 1320.2-1998.Google Scholar
- Jackson M (1983) System development. Prentice Hall.Google Scholar
- Jarke M, Mylopoulos J, Schmidt JW, Vassiliou Y (1992) DAIDA: An environment for evolving information systems. ACM Trans. Inf. Syst. 10(1):1–50.CrossRefGoogle Scholar
- Johannesson P (1995) Representation and communication — a speech act based approach to information systems design. Inf. Syst. 20(4):291–303.CrossRefGoogle Scholar
- Kung CH (1984) A temporal framework for database specification and verification. VLDB 1984:91–99.Google Scholar
- Kung CH, Sølvberg A (1986) Activity modeling and behavior modeling. In Olle et al. (eds) pp 145–171.Google Scholar
- Larman C (2002) Applying UML and patterns. Prentice Hall.Google Scholar
- Lipeck UW (1986) Stepwise specification of dynamic database behaviour. SIGMOD Conference 1986:387–397.Google Scholar
- Lunn T, Neff SA (1992) MRP: Integrating material requirements planning and modern business. McGraw-Hill.Google Scholar
- Martin J, Odell J (1995) Object-oriented methods: A foundation. Prentice Hall.Google Scholar
- McCarthy J, Hayes P (1969) Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer B, Michie D (eds.) Machine Intelligence 4: 463–502.Google Scholar
- McMenamim SM, Palmer JF (1984) Essential systems analysis. Yourdon Press/Prentice Hall.Google Scholar
- Mylopoulos J, Bernstein PA, Wong HKT (1980) A language facility for designing database-intensive applications. ACM Trans. Database Syst. 5(2):185–207.CrossRefGoogle Scholar
- Oberweis A, Sander P (1996) Information system behavior specification by high-level Petri nets. ACM Trans. Inf. Syst. 14(4):380–420.CrossRefGoogle Scholar
- Olivé A (2000b) Time and change in conceptual modeling of information systems. In: Brinkkemper S, Lindencrona E, Sølvberg A (eds) Information systems engineering. State of the art and research themes. Springer, pp 289–304.Google Scholar
- Olivé A, Raventós R (2006) Modeling events as entities in object-oriented conceptual modeling languages. Data Knowl. Eng. 58(3):243–262.CrossRefGoogle Scholar
- Pastor JA, Olivé A (1995) Supporting transaction design in conceptual modelling of information systems. CAiSE 1995, LNCS 932:40–53.Google Scholar
- Qian X (1993) The deductive synthesis of database transactions. ACM Trans. Database Syst. 18(4):626–677.CrossRefGoogle Scholar
- Queralt A, Teniente E (2006) Specifying the semantics of operation contracts in conceptual modeling. J. Data Semantics VII:33–56.CrossRefGoogle Scholar
- Riddle WE, Wileden JC, Sayler JH, Segal AR, Stavely AM (1978) Behavior modelling during software design. Proc 3rd. Intl Conf On Software Engineering, pp 13–22.Google Scholar
- Robinson K, Berrisford G (1994) Object-oriented SSADM. Prentice Hall.Google Scholar
- Rolland C, Richard C (1982) The REMORA methodology for information systems design and management. In: Olle et al. (eds) pp 369–426.Google Scholar
- Selic B, Gullekson G, Ward PT (1994) Real-time object-oriented modeling. Wiley.Google Scholar
- Snoeck M, Dedene G (1998) Existence dependency: The key to semantic integrity between structural and behavioral aspects of object types. IEEE Trans. Software Eng. 24(4):233–251.CrossRefGoogle Scholar
- Sølvberg A, Kung DC (1985) On structural and behavioral modeling of reality. DS-1, North-Holland, pp 205–221.Google Scholar
- Teisseire M, Poncelet P, Cichetti R (1994) Dynamic modelling with events. CAiSE 1994, LNCS 811:186–199.Google Scholar
- Veloso PAS, Furtado AL (1985) Towards simpler and yet complete formal specifications. Proc. IFIP WG 8.1 WC on Theoretical and Formal Aspects of Information Systems, pp 175–189.Google Scholar
- Wand Y, Weber R (1988) An ontological analysis of some fundamental information systems concepts. Proc. of the 9th Annual Intl Conf on Information Systems, pp 213–225.Google Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2007