From declarative to imperative UML/OCL operation specifications

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

Volumn 4801 LNCS, Issue , 2007, Pages 198-213

  Cabot, Jordi ^a  

^a UNIVERSITAT OBERTA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

HEURISTIC PROGRAMMING; INFORMATION SYSTEMS; SPECIFICATIONS;

DECLARATIVE SPECIFICATION;

UNIFIED MODELING LANGUAGE;

EID: 38349043954     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75563-0_15     Document Type: Conference Paper

References (29)

1. Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool, Integrating object oriented design and formal verification. Software and Systems Modeling 4, 32-54 (2005)
2. Baar, T.: OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 20-31. Springer, Heidelberg (2006)
3. Babes-Bolyai. Object Constraint Language Environment 2.0, http://lci.cs.ubbcluj.ro/ocle/
4. Borgida, A., Mylopoulos, J., Reiter, R.: On the frame problem in procedure specifications. IEEE Transactions on Software Engineering 21, 785-798 (1995)
5. Borland. Borland® Together® Architect (2006)
6. Broersen, J., Wieringa, R.: Preferential Semantics for Action Specifications in First-order Modal Action Logic. In: Proc. of the ECAI'98 Workshop on Practical Reasoning and Rationality (1998)
7. Cabot, J.: Ambiguity issues in OCL postconditions. In: Proc. OCL for (Meta-) Models in Multiple Application Domain (workshop co-located with the MODELS'06 Conference), Technical Report, TUD-FI06-04-Sept (2006)
8. Cabot, J., Teniente, E.: Transformation Techniques for OCL Constraints. Science of Computer Programming (to appear), Available online: http://dx.doi.org/10.1016/j.scico.2007.05.001
9. Dresden. Dresden, OCL Toolkit, http://dresden-ocl.sourceforge.net/index. html
10. Dzidek, W.J., Briand, L.C., Labiche, Y.: Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 10-19. Springer, Heidelberg (2006)
11. Frias, L., Queralt, A., Olivé, A.: EU-Rent Car Rentals Specification. LSI Technical Report, LSI-03-59-R (2003)
12. ISO/TC97/SC5/WG3: Concepts and Terminology for the Conceptual Schema and Information Base (1982)
13. Kosiuczenko, P.: Specification of Invariability in OCL. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 676-691. Springer, Heidelberg (2006)
14. Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, 2nd edn. Prentice-Hall, Englewood Cliffs (2001)
15. Mayol, E., Teniente, E.: A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., Métais, E. (eds.) ER 1999. LNCS, vol. 1727, pp. 62-73. Springer, Heidelberg (1999)
16. Mellor, S.J., Balcer, M.J.: Executable UML. Object Technology Series. Addison-Wesley, London, UK
17. Meyer, B.: Object-oriented software construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)
18. Olivé, A.: Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 1-15. Springer, Heidelberg (2005)
19. Olivé, A., Raventós, R.: Modeling events as entities in object-oriented conceptual modeling languages. Data Knowl. Eng. 58, 243-262 (2006)
20. OMG: UML 2.0 OCL Specification. OMG Adopted Specification (ptc/03-10-14)
21. OMG: UML 2.0 Superstructure Specification. OMG Adopted Specification (ptc/03-08-02)
22. Penny, D.A., Holt, R.C., Godfrey, M.W.: Formal Specification in Metamorphic Programming. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol. 551, pp. 11-30. Springer, Heidelberg (1991)
23. Queralt, A., Teniente, E.: A Platform Independent Model for the Electronic Marketplace Domain. LSI Technical Report, LSI-05-9-R (2005)
24. Queralt, A., Teniente, E.: Specifying the Semantics of Operation Contracts in Conceptual Modeling. Journal on Data Semantics VII, 33-56 (2006)
25. Schewe, K.-D., Thalheim, B.: Towards a theory of consistency enforcement. Acta Informatica 36, 97-141 (1999)
26. Sendall, S., Strohmeier, A.: Using OCL and UML to Specify System Behavior. In: Object Modeling with the OCL, The Rationale behind the Object Constraint Language, pp. 250-280. Springer, Heidelberg (2002)
27. Wahls, T., Leavens, G.T., Baker, A.L.: Executing Formal Specifications with Concurrent Constraint Programming. Autom. Softw. Eng. 7, 315-343 (2000)
28. Wieringa, R.: A survey of structured and object-oriented software specification methods and techniques. ACM Computing Surveys 30, 459-527 (1998)
29. Wüthrich, B.: On Updates and Inconsistency Repairing in Knowledge Bases. In: Proc. 9th Int. Conf. on Data Engineering, pp. 608-615 (1993)