Skip to main content
SpringerLink
Log in
Book cover

Conceptual Modeling of Information Systems pp 247–275Cite as

Domain Events

  • Chapter

  • 1268 Accesses

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

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.

    Article  Google 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.

    Article  Google 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.

    Article  MATH  Google 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.

    Article  Google 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.

    Article  Google Scholar 

  • Johannesson P (1995) Representation and communication — a speech act based approach to information systems design. Inf. Syst. 20(4):291–303.

    Article  Google 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.

    Article  Google Scholar 

  • Oberweis A, Sander P (1996) Information system behavior specification by high-level Petri nets. ACM Trans. Inf. Syst. 14(4):380–420.

    Article  Google 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.

    Article  Google 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.

    Article  Google Scholar 

  • Queralt A, Teniente E (2006) Specifying the semantics of operation contracts in conceptual modeling. J. Data Semantics VII:33–56.

    Article  Google 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.

    Article  Google 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 

Download references

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

(2007). Domain Events. In: Conceptual Modeling of Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39390-0_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39390-0_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-39389-4

  • Online ISBN: 978-3-540-39390-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation