Skip to main content

Temporal features of class populations and attributes in conceptual models

Session 2b: Temporal Modeling

Part of the Lecture Notes in Computer Science book series (LNCS,volume 1331)

Abstract

Constraints play an important role in conceptual modeling. In general, the specification of constraints, both static and transition, must be done in some logic-based language. Unfortunately, the resulting formulas may be complex, error-prone and difficult to read. This explain why almost all conceptual modeling languages have developed a special, easy-to-use syntax (language features) to state the most common constraints. Most features (often with graphical symbols) developed so far are concerned with static constraints (like keys, partitions or cardinalities), and very little work has been done for transition constraints.

In this paper, we identify six temporal features, three related to class populations and three to attributes. The corresponding transition integrity constraints appear in almost any conceptual model and their specification is necessary and important. We believe that our temporal features make their specification simple and practical. We have named each feature, and provide a declarative and procedural formalization for them.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/3-540-63699-4_6
  • Chapter length: 14 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   99.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-69630-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   129.00
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Borgida,A.;Mylopoulos,J.;Reiter,R. “On the Frame Problem in Procedure Specifications”,IEEE Trans. on SE,Oct., pp. 785–798.

    Google Scholar 

  2. Borgida,A. “Features of Languages for the Development of Information Systems at the Conceptual Level”, IEEE Software, Jan., pp. 63–72.

    Google Scholar 

  3. Cook,S.; Daniels, J. “Designing Object Systems. Object-Oriented Modeling with Syntropy”, Prentice Hall.

    Google Scholar 

  4. Costal,D.; Olivé,A.;Sancho,M-R. “Temporal Features of Class Populations and Attributes in Conceptual Models-extended version” Report LSI-97-32-R

    Google Scholar 

  5. de Champeaux,D.; Faure,P. “A comparative study of object-oriented analysis methods”, JOOP, March/April, pp.21–33.

    Google Scholar 

  6. Dubois,E., Hagelstein,J.; Rifaut,A. “A formal language for the requirements engineering of computer systems”, in “From Natural Language Processing to Logic for Expert Systems”, Wiley, pp. 269–345.

    Google Scholar 

  7. Embley,D.W.; Kurtz,B.D.; Woodfield,S.N. “Object-Oriented Systems Analysis. A Model-Driven Approach”, Prentice-Hall, Inc.

    Google Scholar 

  8. Gustaffson,M.R.; Karlsson,T.; Bubenko jr.J.A. “A Declarative Approach to Conceptual Information Modelling”, in Information Systems Design Methodologies: A comparative Review”, North-Holland, pp. 93–142.

    Google Scholar 

  9. Gottlob,G.; Schrefl,M.; Röck,B. “Extending Object-Oriented Systems with Roles”, ACTM TOIS, Vol.14,No.3, pp. 268–296

    Google Scholar 

  10. Hammer,M.; McLeod,D. “Database Description with SDM: A Semantic Database Model”, ACM TODS, Vol.6,No.3, September, pp. 351–386.

    Google Scholar 

  11. ISO/TC97/SC5/WG3. “Concepts and Terminology for the Conceptual Schema and the Information Base”, ed. J.J. van Griethuysen.

    Google Scholar 

  12. Jungclaus,R.; Saake,G.; Hartmann,T.; Sernadas,C. “TROLL-A Language for Object-Oriented Specification of Information Systems”, ACM TOIS,Vol.14,No.2, April, pp. 175–211.

    Google Scholar 

  13. Kim,W.; Bertino,E.; Garza,J.F. “Composite Objects Revisited”, Proc. OOPSLA 89, pp. 337–347.

    Google Scholar 

  14. Kung,C. “A Temporal Framework for Information Systems Specification and Verification”, Ph.D Thesis, The University of Trondheim, Norway

    Google Scholar 

  15. Liddle,S.W.; Embley,D.E.; Woodfield,S.N. “Cardinality constraints in semantic data models”, Data&Knowledge Engineering 11 (1993), pp. 235–270.

    Google Scholar 

  16. Martin,J.; Odell,J. ”Object-Oriented Methods. A Foundation”, Prentice Hall.

    Google Scholar 

  17. Motschnig-Pitrik,R. ”The Semantics of Parts Versus Aggregates in Data/Knowlege Modelling”, Proc. of the CAiSE'93, LNCS 685, Springer

    Google Scholar 

  18. Pernici,B. ”Objects with Roles”, Proc. ACM Conf. on Office Information Systems, ACM,New York, 205–215.

    Google Scholar 

  19. Rational Software Corporation, “Unified Modeling Language (UML)”, Version 1.0, January.

    Google Scholar 

  20. Rumbaugh,J.; Blaha,M.; Premerlani,W.; Eddy,F.; Lorensen,W. “Object-Oriented Modeling and Design”, Prentice Hall.

    Google Scholar 

  21. Schiel,U., Furtado,A.L., Neuhold,E.J.; Casanova,M.A. “Towards Multi-level and Modular Conceptual Schema Specifications”, Information Systems, Vol.9, No.1, pp. 43–57.

    Google Scholar 

  22. Storey, V.C. “Understanding Semantic Relationships”, The VLDB Journal, Vol.2,No.4,Oct., pp. 455–488.

    Google Scholar 

  23. Veloso,P.A.S.; Furtado,A.L. “Towards simpler and yet complete formal specifications”, In “Information Systems: Theoretical and Formal Aspects”, North-Holland, pp. 175–190.

    Google Scholar 

  24. Verheijen,G.M.A.; Van Bekkum, J. “NIAM: An Information Analysis Method”, in “Information Systems design Methodologies: A Comparative Review”, North-Holland, pp.537–589.

    Google Scholar 

  25. Winston,M.E.; Chaffin,R.; Herrmann,D. “A taxonomy of part-whole relations”, Cognitive Science, 11, pp.417–444.

    Google Scholar 

  26. Wieringa,R.; Meyer,J-J.; Weigand,H. “Specifying dynamic and deontic integrity constraints”, Data & Knowledge Engineering, 4, pp.157–189.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Costal, D., Olivé, A., Sancho, MR. (1997). Temporal features of class populations and attributes in conceptual models. In: Embley, D.W., Goldstein, R.C. (eds) Conceptual Modeling — ER '97. ER 1997. Lecture Notes in Computer Science, vol 1331. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63699-4_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-63699-4_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63699-1

  • Online ISBN: 978-3-540-69630-8

  • eBook Packages: Springer Book Archive