Constraint support in MDA tools: A survey

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

Volumn 4066 LNCS, Issue , 2006, Pages 256-267

  Cabot, Jordi ^a   Teniente, Ernest ^b  

^a UNIVERSITAT OBERTA DE CATALUNYA   (Spain)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; DATA HANDLING; PROJECT MANAGEMENT;

CODE TRANSFORMATION; CODE-GENERATION CAPABILITIES; PLATFORM-INDEPENDENT MODEL (PIM); PLATFORM-SPECIFIC MODELS;

CONSTRAINT THEORY;

EID: 33746455176     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11787044_20     Document Type: Conference Paper

References (34)

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 (2005) 32-54
2. Babes-Bolyai. Object Constraint Language Environment 2.0. http://lci.cs.ubbcluj.ro/ocle/
3. Borland. Bold for Delphi. http://info.borland.com/techpubs/delphi/ boldfordelphi/
4. Borland. Together Architect 2006. http://www.borland.com/us/products/ together/
5. Cabot, J., Teniente, E.: Determining the Structural Events that May Violate an Integrity Constraint. In: Proc. 7th Int. Conf. on the Unified Modeling Language, LNCS, 3273 (2004) 173-187
6. Cabot, J., Teniente, E.: Computing the Relevant Instances that May Violate an OCL constraint. In: Proc. 17th Int. Conf. on Advanced Information Systems Engineering, LNCS, 3520 (2005) 48-62
7. Cabot, J., Teniente, E.: Incremental Evaluation of OCL Constraints. In: Proc. 18th Int. Conf. on Advanced Information Systems Engineering, LNCS, 4001 (2006) 81-95
8. Ceri, S., Fraternali, P., Bongio, A., Brambilla, M., Comai, S., Matera, M.: Designing Data-Intensive Web Applications. Morgan Kaufmann (2002)
9. Compuware. OptimalJ. http://www.compuware.com/products/optimalj/
10. Demuth, B., Hussmann, H., Loecher, S.: OCL as a Specification Language for Business Rules in Database Applications. In: Proc. 4th Int. Conf. on the Unified Modeling Language, LNCS, 2185 (2001) 104-117
11. Dresden. Dresden OCL Toolkit. http://dresden-ocl.sourceforge.net/index. html
12. Dzidek, W. J., Briand, L. C., Labiche, Y.: Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java. In: Proc. MODELS 2005 Workshops, LNCS, 3844 (2005) 10-19
13. EmPowerTec. OCL-AddIn for Rational Rose. http://www.empowertec.de/ products/ rational-rose-ocl.htm
14. Fons, J., Pelechano, V., Albert, M., Pastor, Ó. Development of Web Applications from Web Enhanced Conceptual Schemas. In: Proc. 22nd Int. Conf. on Conceptual Modeling, LNCS, 2813 (2003) 232-245
15. Gentleware. Poseidon for UML v. 4. http://www.gentleware.com
16. Gogolla, M., Bohling, J., Richters, M.: Validation of UML and OCL Models by Automatic Snapshot Generation. In: Proc. 6th Int. Conf. Unified Modeling Language. LNCS 2863 (2003)
17. Interactive Objects. ArcStyler v.5. http://www.interactive-objects.com/
18. ISO/TC97/SC5/WG3: Concepts and Terminology for the Conceptual Schema and Information Base. ISO, (1982)
19. Kent Modelling Framework. Kent OCL Library. http://www.cs.kent.ac.uk/ projects/kmf/
20. Klasse Objecten. Octopus: OCL Tool for Precise Uml Specifications. http://www.klasse. nl/octopus/index.html
21. Mellor, S. J., Balcer, M. J.: Executable UML. Object Technology Series. Addison-Wesley (2002)
22. No Magic Inc. MagicDraw UML v. 10.5. http://www.magicdraw.com/
23. Objects by Design. List of UML tools. Available: http://www. objectsbydesign.com/
24. OCL4Java. http://www.ocl4java.org
25. Olivé, A.: Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research. In: Proc. 17th Int. Conf. on Advanced Information Systems Engineering, LNCs, 3520 (2005) 1-15
26. OMG: UML 2.0 OCL Specification. Adopted Specification (ptc/03-10-14) (2003)
27. OMG: UML 2.0 Superstructure Specification. Adopted Specification (ptc/03-08-02) (2003)
28. OMG: MDA Guide Version 1.0.1. (2003)
29. Softeam. Objecteering/UML v. 5.3. http://www.objecteering.com/products. php
30. Software, R. Rational Rose. http://www-306.ibm.com/software/rational/
31. Tariq, N. A., Akhter, N.: Comparison of Model Driven Architecture (MDA) based tools. In: Proc. 13th Nordic Baltic Conference (NBC), IFMBE Proceedings, 9 (2005)
32. Teichroew, D.: Methodology for the Design of Information Processing Systems. In: Proc. 4th Australian Computer Conference, (1969) 629-634
33. Türker, C., Gertz, M.: Semantic integrity support in SQL: 1999 and commercial (object-)relational database management systems. The VLDB Journal 10 (2001) 241-269
34. Verheecke, B., Straeten, R. V. D.: Specifying and implementing the operational use of constraints in object-oriented applications. In: Proc. Tools Pacific 2002, (2002) 23-32