Reasoning on UML conceptual schemas with operations

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

Volumn 5565 LNCS, Issue , 2009, Pages 47-62

  Queralt, Anna ^a   Teniente, Ernest ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Automatic reasoning; Conceptual modeling; Operation contracts

Indexed keywords

AUTOMATIC REASONING; CONCEPTUAL MODELING; CONCEPTUAL SCHEMAS; GENERIC REASONING; OPERATION CONTRACTS; REASONING METHODS; VALIDATION PROCESS; VALIDATION TEST;

INFORMATION SYSTEMS; SYSTEMS ENGINEERING;

MULTI AGENT SYSTEMS;

EID: 69849112713     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02144-2_9     Document Type: Conference Paper

References (21)

1. Adrion, W.R., Branstad, M.A., Cherniavsky, J.C.: Validation, Verification and Testing of Computer Software. ACM Comput. Surv. 14(2), 159-192 (1982)
2. Brucker, A.D., Wolff, B.: The HOL-OCL Book. Swiss Federal Institute of Technology (ETH), 525 (2006)
3. Cabot, J., Clarisó, R., Riera, D.: Verifying UML/OCL Operation Contracts. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.5423, pp. 40-55. Springer, Heidelberg (2009)
4. Costal, D., Teniente, E., Urpí, T., Farré, C.: Handling Conceptual Model Validation by Planning. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol.1080, pp. 255-271. Springer, Heidelberg (1996)
5. Díaz, O., Paton, N.W., Iturrioz, J.: Formalizing and Validating Behavioral Models through the Event Calculus. Information Systems 23(3/4), 179-196 (1998)
6. Dupuy, S., Ledru, Y., Chabre-Peccoud, M.: An Overview of RoZ: A Tool for Integrating UML and Z Specifications. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol.1789, pp. 417-430. Springer, Heidelberg (2000)
7. Evans, N., Treharne, H., Laleau, R., Frappier, M.: Applying CSP || B to Information Systems. Software and System Modeling 7, 85-102 (2008)
8. Farré, C., Teniente, E., Urpí, T.: Checking Query Containment with the CQC Method. Data and Knowledge Engineering 53(2), 163-223 (2005)
9. Gogolla, M., Büttner, F., Richters, M.: USE: A UML-based Specification Environment for Validating UML and OCL. Science of Computer Programming 69(1-3), 27-34 (2007)
10. Hartmann, S.: Coping with Inconsistent Constraint Specifications. In: Kunii, H.S., Jajodia, S., Sølvberg, A. (eds.) ER 2001. LNCS, vol.2224, pp. 241-255. Springer, Heidelberg (2001)
11. Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, 3rd edn. Prentice Hall PTR, Englewood Cliffs (2004)
12. Lenzerini, M., Nobili, P.: On the Satisfiability of Dependency Constraints in Entity-Relationship Schemata. In: Proc. 13th International Conference on Very Large Databases - VLDB 1987, pp. 147-154 (1987)
13. Leuschel, M., Butler, M.: ProB: An Automated Analysis Toolset for the B Method. Software Tools for Technology Transfer (2008) DOI: s10009-007-0063-69
14. MIT. The Alloy Analyzer. MIT Software Design Group, http://alloy.mit.edu
15. 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)
16. Queralt, A., Teniente, E.: Reasoning on UML Class Diagrams with OCL Constraints. In: Embley, D.W., Olivé, A., Ram, S. (eds.) ER 2006. LNCS, vol.4215, pp. 497-512. Springer, Heidelberg (2006)
17. Queralt, A., Teniente, E.: Specifying the Semantics of Operation Contracts in Conceptual Modeling. In: Spaccapietra, S. (ed.) Journal on Data Semantics VII. LNCS, vol.4244, pp. 33-56. Springer, Heidelberg (2006)
18. Queralt, A., Teniente, E.: Decidable Reasoning in UML Schemas with Constraints. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol.5074, pp. 281-295. Springer, Heidelberg (2008)
19. Snook, C., Butler, M.: UML-B: Formal Modeling and Design Aided by UML ACM Trans. on Soft. Engineering and Methodology 15(1), 92-122 (2006)
20. Utting, M., Legeard, B.: Practical Model-Based Testing. Morgan Kaufmann, San Francisco (2006)
21. Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley Professional, Reading (2003)