Specifying the semantics of operation contracts in conceptual modeling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4244 LNCS, Issue , 2006, Pages 33-56

  Queralt, Anna ^a   Teniente, Ernest ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; CONTRACTS; MATHEMATICAL MODELS;

EXTENDED INTERPRETATIONS; INTEGRITY CONSTRAINTS;

SEMANTICS;

EID: 38549162026     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11890591_2     Document Type: Conference Paper

References (22)

1. IEEE Recommended Practice for Software Requirements Specifications (IEEE Std 830 1998). (1998)
2. Borgida, A., Mylopoulos, J., Reiter, R.: On the frame problem in procedure specifications. IEEE Transactions on Software Engineering 21 (1995) 785-798
3. Costal, D., Sancho, M. R., Teniente, E.: Understanding Redundancy in UML Models for Object-Oriented Analysis. In: Advanced Information Systems Engineering: 14th International Conference, CAiSE 2002 Proceedings. LNCS 2348 (2002) 659-674
4. D'Souza,D. F., Wills, A. C.: Objects.Componentsand Frameworks with UML: The Catalysis Approach. Addison-Wesley (1998)
5. Davis, A. M.: Software Requirements: Objects, Functions and States. Prentice Hall,Englewood Cliffs (1993)
6. Devos, F., Steegmans, E.: Specifying Business Rules in Object-Oriented Analysis. Software and Systems Modeling 4 (2005) 297-309
7. Frias, L., Queralt, A., Olivé, A.: EU-Rent Car Rentals Specification. Departament de LSI, UPC, Technical Report LSI-03-59-R (2003)
8. Hoare, C. A. R.: Proof of Correctness of Data Representations. Acta Informatica 1 (1972) 271-281
9. ISO/TC97/SC5/WG3: Concepts and Terminology for the Conceptual Schema and the Information Base. In: J. J. van Griethuysen, (ed.) (1982)
10. 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, NJ (2004)
11. Martin, J., Odell, J. J.:Object-Oriented Methods. A Foundation. P T R Prentice Hall, Engle-wood Cliffs, New Jersey (1999)
12. Meyer, B.: Applying'Design by Contract'. Computer 25 (1992)40-51 Meyer, B.: Object-
13. Oriented Software Construction. 2nd edn. Prentice Hall, New York (1997)
14. Mylopoulos, J., Bernstein, P. A., Wong, H. K. T.: A Language Facility for Designing Database-Intensive Applications. ACM Transactions on Database Systems 5 (1980) 185-207
15. Olivé, A.: Definition of Events and their Effects in Object-Oriented Conceptual Modeling Languages. In: Conceptual Modeling - ER 2004. LNCS 3288 (2004)
16. OMG: UML 2.0 OCL Specification. (2003)
17. Pressman, R. S.: Software Engineering: A Practitioner's Approach. 6th edn. McGraw-Hill (2004)
18. Queralt, A., Teniente, E.: On the Semantics of Operation Contracts in Conceptual Modeling. In: Proc. CAiSE Forum - 17th Conference on Advanced Information Systems Engineering (CAiSE'05) (2005)
19. Queralt, A., Teniente, E.: A Platform Independent Model for the Electronic Marketplace Domain. Departament de LSI, UPC, Technical Report LSI-05-9-R (2005)
20. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley Professional (2004)
21. Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your ModelsReady for MDA. 2nd edn. Addison-Wesley Professional (2003)
22. Wieringa, R.: A Survey of Structured and Object-Oriented Software Specification Methods and Techniques. ACM Comput. Surv. 30 (1998) 459-527