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, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Borgida,A.;Mylopoulos,J.;Reiter,R. “On the Frame Problem in Procedure Specifications”,IEEE Trans. on SE,Oct., pp. 785–798.
Borgida,A. “Features of Languages for the Development of Information Systems at the Conceptual Level”, IEEE Software, Jan., pp. 63–72.
Cook,S.; Daniels, J. “Designing Object Systems. Object-Oriented Modeling with Syntropy”, Prentice Hall.
Costal,D.; Olivé,A.;Sancho,M-R. “Temporal Features of Class Populations and Attributes in Conceptual Models-extended version” Report LSI-97-32-R
de Champeaux,D.; Faure,P. “A comparative study of object-oriented analysis methods”, JOOP, March/April, pp.21–33.
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.
Embley,D.W.; Kurtz,B.D.; Woodfield,S.N. “Object-Oriented Systems Analysis. A Model-Driven Approach”, Prentice-Hall, Inc.
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.
Gottlob,G.; Schrefl,M.; Röck,B. “Extending Object-Oriented Systems with Roles”, ACTM TOIS, Vol.14,No.3, pp. 268–296
Hammer,M.; McLeod,D. “Database Description with SDM: A Semantic Database Model”, ACM TODS, Vol.6,No.3, September, pp. 351–386.
ISO/TC97/SC5/WG3. “Concepts and Terminology for the Conceptual Schema and the Information Base”, ed. J.J. van Griethuysen.
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.
Kim,W.; Bertino,E.; Garza,J.F. “Composite Objects Revisited”, Proc. OOPSLA 89, pp. 337–347.
Kung,C. “A Temporal Framework for Information Systems Specification and Verification”, Ph.D Thesis, The University of Trondheim, Norway
Liddle,S.W.; Embley,D.E.; Woodfield,S.N. “Cardinality constraints in semantic data models”, Data&Knowledge Engineering 11 (1993), pp. 235–270.
Martin,J.; Odell,J. ”Object-Oriented Methods. A Foundation”, Prentice Hall.
Motschnig-Pitrik,R. ”The Semantics of Parts Versus Aggregates in Data/Knowlege Modelling”, Proc. of the CAiSE'93, LNCS 685, Springer
Pernici,B. ”Objects with Roles”, Proc. ACM Conf. on Office Information Systems, ACM,New York, 205–215.
Rational Software Corporation, “Unified Modeling Language (UML)”, Version 1.0, January.
Rumbaugh,J.; Blaha,M.; Premerlani,W.; Eddy,F.; Lorensen,W. “Object-Oriented Modeling and Design”, Prentice Hall.
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.
Storey, V.C. “Understanding Semantic Relationships”, The VLDB Journal, Vol.2,No.4,Oct., pp. 455–488.
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.
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.
Winston,M.E.; Chaffin,R.; Herrmann,D. “A taxonomy of part-whole relations”, Cognitive Science, 11, pp.417–444.
Wieringa,R.; Meyer,J-J.; Weigand,H. “Specifying dynamic and deontic integrity constraints”, Data & Knowledge Engineering, 4, pp.157–189.
Author information
Authors and Affiliations
Editor information
Rights 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