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.

Unable to display preview. Download preview PDF.

11.7 Bibliographical Notes

  1. 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
  2. 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
  3. 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
  4. Borgida A, Mylopoulos J, Reiter R (1995) On the frame problem in procedure specifications. IEEE Trans. Software Eng. 21(10):785–798.CrossRefGoogle Scholar
  5. Bubenko JA Jr (1980) Information modeling in the context of system development. IFIP Congress 1980:395–411.Google Scholar
  6. Ceri S, Fraternali P (1997) Designing database applications with objects and rules: The IDEA methodology. Addison-Wesley.Google Scholar
  7. Chomicki J, Saake G (eds) (1998) Logics for databases and information systems. Kluwer Academic.Google Scholar
  8. Cook S, Daniels J (1994) Designing object systems: Object-oriented modelling with Syntropy. Prentice Hall.Google Scholar
  9. Dardenne A, van Lamsweerde A, Fichas S (1993) Goal-directed requirements acquisition. Sci. Comput. Program. 20:3–50.MATHCrossRefGoogle Scholar
  10. D’Souza DF, Wills AC (1999) Objects, components and frameworks with UML: The Catalysis approach. Addison-Wesley.Google Scholar
  11. Embley DW, Kurtz BD, Woodfield SN (1992) Object-oriented systems analysis. Yourdon Press.Google Scholar
  12. 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
  13. Griethuysen JJ van (ed) (1982) Concepts and terminology for the conceptual schema and the information base. ISO TC97/SC5/WG3.Google Scholar
  14. 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
  15. IEEE (1999) IEEE standard for conceptual modeling language syntax and semantics for IDEF1X97 (IDEFobject). IEEE Std 1320.2-1998.Google Scholar
  16. Jackson M (1983) System development. Prentice Hall.Google Scholar
  17. 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
  18. Johannesson P (1995) Representation and communication — a speech act based approach to information systems design. Inf. Syst. 20(4):291–303.CrossRefGoogle Scholar
  19. Kung CH (1984) A temporal framework for database specification and verification. VLDB 1984:91–99.Google Scholar
  20. Kung CH, Sølvberg A (1986) Activity modeling and behavior modeling. In Olle et al. (eds) pp 145–171.Google Scholar
  21. Larman C (2002) Applying UML and patterns. Prentice Hall.Google Scholar
  22. Lipeck UW (1986) Stepwise specification of dynamic database behaviour. SIGMOD Conference 1986:387–397.Google Scholar
  23. Lunn T, Neff SA (1992) MRP: Integrating material requirements planning and modern business. McGraw-Hill.Google Scholar
  24. Martin J, Odell J (1995) Object-oriented methods: A foundation. Prentice Hall.Google Scholar
  25. 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
  26. McMenamim SM, Palmer JF (1984) Essential systems analysis. Yourdon Press/Prentice Hall.Google Scholar
  27. 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
  28. Oberweis A, Sander P (1996) Information system behavior specification by high-level Petri nets. ACM Trans. Inf. Syst. 14(4):380–420.CrossRefGoogle Scholar
  29. 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
  30. 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
  31. Pastor JA, Olivé A (1995) Supporting transaction design in conceptual modelling of information systems. CAiSE 1995, LNCS 932:40–53.Google Scholar
  32. Qian X (1993) The deductive synthesis of database transactions. ACM Trans. Database Syst. 18(4):626–677.CrossRefGoogle Scholar
  33. Queralt A, Teniente E (2006) Specifying the semantics of operation contracts in conceptual modeling. J. Data Semantics VII:33–56.CrossRefGoogle Scholar
  34. 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
  35. Robinson K, Berrisford G (1994) Object-oriented SSADM. Prentice Hall.Google Scholar
  36. Rolland C, Richard C (1982) The REMORA methodology for information systems design and management. In: Olle et al. (eds) pp 369–426.Google Scholar
  37. Selic B, Gullekson G, Ward PT (1994) Real-time object-oriented modeling. Wiley.Google Scholar
  38. 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
  39. Sølvberg A, Kung DC (1985) On structural and behavioral modeling of reality. DS-1, North-Holland, pp 205–221.Google Scholar
  40. Teisseire M, Poncelet P, Cichetti R (1994) Dynamic modelling with events. CAiSE 1994, LNCS 811:186–199.Google Scholar
  41. 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
  42. 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

Personalised recommendations