Abstract
This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and extended interpretations. The main difference between them lies in the way operation postconditions and integrity constraints are guaranteed, which has an impact on the desirable properties of operation contracts according to recommended good practice for requirements specification. Both interpretations are formalized and compared in terms of these properties. We find that the strict interpretation provides several advantages over the extended one. This conclusion is supported by evidence from a case study. The results of the case study also indicate that the strict interpretation significantly facilitates the specification task.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
IEEE Recommended Practice for Software Requirements Specifications (IEEE Std. 830 1998) (1998)
Borgida, A., Mylopoulos, J., Reiter, R.: On the frame problem in procedure specifications. IEEE Transactions on Software Engineering 21, 785–798 (1995)
Costal, D., Sancho, M.R., Teniente, E.: Understanding Redundancy in UML Models for Object-Oriented Analysis. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 659–674. Springer, Heidelberg (2002)
D’Souza, D.F., Wills, A.C.: Objects, Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1998)
Davis, A.M.: Software Requirements: Objects, Functions and States. Prentice Hall, Englewood Cliffs (1993)
Devos, F., Steegmans, E.: Specifying Business Rules in Object-Oriented Analysis. Software and Systems Modeling 4, 297–309 (2005)
Frias, L., Queralt, A., Olivé, A.: EU-Rent Car Rentals Specification. Departament de LSI, UPC, Technical Report LSI-03-59-R (2003)
Hoare, C.A.R.: Proof of Correctness of Data Representations. Acta Informatica 1, 271–281 (1972)
ISO/TC97/SC5/WG3: Concepts and Terminology for the Conceptual Schema and the Information Base. In: van Griethuysen, J.J.(ed.) (1982)
Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, 3rd edn. Prentice Hall PTR, Upper Saddle River (2004)
Martin, J., Odell, J.J.: Object-Oriented Methods. A Foundation. P T R Prentice Hall, Englewood Cliffs (1999)
Meyer, B.: Applying ‘Design by Contract’. Computer 25, 40–51 (1992)
Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, New York (1997)
Mylopoulos, J., Bernstein, P.A., Wong, H.K.T.: A Language Facility for Designing Database-Intensive Applications. ACM Transactions on Database Systems 5, 185–207 (1980)
Olivé, À.: Definition of Events and Their Effects in Object-Oriented Conceptual Modeling Languages. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol. 3288, pp. 136–149. Springer, Heidelberg (2004)
OMG: UML 2.0 OCL Specification (2003)
Pressman, R.S.: Software Engineering: A Practitioner’s Approach, 6th edn. McGraw-Hill, New York (2004)
Queralt, A., Teniente, E.: On the Semantics of Operation Contracts in Conceptual Modeling. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520. Springer, Heidelberg (2005)
Queralt, A., Teniente, E.: A Platform Independent Model for the Electronic Marketplace Domain. Departament de LSI, UPC, Technical Report LSI-05-9-R (2005)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley Professional, Reading (2004)
Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley Professional, Reading (2003)
Wieringa, R.: A Survey of Structured and Object -Oriented Software Specification Methods and Techniques. ACM Comput. Surv. 30, 459–527 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Queralt, A., Teniente, E. (2006). Specifying the Semantics of Operation Contracts in Conceptual Modeling. In: Spaccapietra, S. (eds) Journal on Data Semantics VII. Lecture Notes in Computer Science, vol 4244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11890591_2
Download citation
DOI: https://doi.org/10.1007/11890591_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46329-0
Online ISBN: 978-3-540-46330-6
eBook Packages: Computer ScienceComputer Science (R0)