Model-driven constraint engineering

Electronic Communications of the EASST

Volumn 5, Issue , 2006, Pages

  Wahler, Michael ^a   Koehler, Jana ^a   Brucker, Achim D ^b  

^a IBM RESEARCH ZURICH   (Switzerland)

^b ETH ZURICH   (Switzerland)

Author keywords

Constraint; Model driven engineering; OCL; Pattern; UML

Indexed keywords

EID: 85001639357     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.5.44.70     Document Type: Conference Paper

References (32)

1. W. Ahrendt, T. Baar, B. Beckert, R. Bubel, M. Giese, R. Hähnle, W. Menzel, W. Mostowski, A. Roth, S. Schlager, P. H. Schmitt. The KeY Tool. Software and System Modeling 4(1):32-54, 2005
2. J. A. T. álvarez, V. Requena, J. L. Fernández. Emerging OCL Tools. Software and System Modeling 2(4):248-261, 2003
3. J. Ackermann, K. Turowski. A Library of OCL Specification Patterns to Simplify Behavioral Specification of Software Components. In Proceedings of Conference on Advanced Information Systems Engineering. LNCS 4001, pp. 255-269. 2006
4. T. Baar. The Definition of Transitive Closure with OCL-Limitations and Applications. In Proceedings, Fifth Andrei Ershov International Conference, Perspectives of System Informatics, Novosibirsk, Russia. LNCS 2890, pp. 358-365. Springer, July 2003
5. A. D. Brucker, J. Doser, B. Wolff. A Model Transformation Semantics and Analysis Methodology for SecureUML. In Nierstrasz et al. (eds.), Models 2006: Model Driven Engineering Languages and Systems. LNCS, pp. 306-320. Springer-Verlag, 2006
6. T. Baar, R. Hähnle, T. Sattler, P. H. Schmitt. Entwurfgesteuerte Erzeugung von OCLConstraints. Softwaretechnik-Trends 20(3), 2000
7. P. Bottoni, M. Koch, F. Parisi-Presicce, G. Taentzer. Consistency Checking and Visualization of OCL Constraints. Pp. 294-308 in [EKS00]
8. A. D. Brucker, B. Wolff. The HOL-OCL Book. Technical report 525, ETH Zürich, Switzerland, 2006
9. J. Cabot. Ambiguity Issues in OCL Postconditions. In Proceedings of the 6th OCL Workshop at the UML/MoDELS Conference 2006. Pp. 194-204. 2006
10. D. Chiorean, M. Bortes, D. Corutiu. Proposals for a Widespread Use of OCL. In Baar (ed.), Proceedings of the MoDELS'05 Conference Workshop on Tool Support for OCL and Related Formalisms-Needs and Trends, Montego Bay, Jamaica, October 4, 2005. Technical Report LGL-REPORT-2005-001, pp. 68-82. EPFL, Lausanne, Switzerland, 2005
11. D. Chiorean, D. Corutiu, M. Bortes, I. Chiorean. Good Practices for Creating Correct, Clear and Efficient OCL Specifications. In Proceedings of NWUML'2004-2nd Nordic Workshop on the Unified Modeling Language. Pp. 127-142. 2004
12. D. Costal, C. Gómez, A. Queralt, R. Raventós, E. Teniente. Facilitating the Definition of General Constraints in UML. In Nierstrasz et al. (eds.), MoDELS 2006. LNCS 4199, pp. 260-274. Springer-Verlag, 2006
13. S.-K. Chen, H. Lei, M. Wahler, H. Chang, K. Bhaskaran, J. Frank. A Model Driven XML Transformation Framework for Business Performance Management Model Creation. In International Journal of Electronic Business. Volume 4(3/4), pp. 281-301. Inderscience, 2006
14. S. Cook. The UML Family: Profiles, Prefaces and Packages. Pp. 255-264 in S. Cranefield, M. Purvis. UML as an Ontology Modelling Language. In Proceedings of the Workshop on Intelligent Information Integration, 16th International Joint Conference on Artificial Intelligence. 1999
15. A. L. Correa, C. M. L. Werner. Applying Refactoring Techniques to UML/OCL Models. In Baar et al. (eds.), UML. LNCS 3273, pp. 173-187. Springer, 2004
16. The Eclipse UML2 Project. http://www.eclipse.org/uml2/
17. A. Evans, S. Kent, B. Selic (eds.). UML 2000. LNCS 1939. Springer, 2000
18. The Eclipse Modeling Framework. http://www.eclipse.org/emf
19. E. Gamma, R. Helm, R. Johnson, J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston, MA, USA, 1995
20. M. Gogolla, M. Richters. Expressing UML Class Diagrams Properties with OCL. In Object Modeling with the OCL, The Rationale behind the Object Constraint Language. Pp. 85-114. Springer-Verlag, London, UK, 2002
21. R. Hauser, J. Koehler. Compiling Process Graphs into Executable Code. In Third International Conference on Generative Programming and Component Engineering. LNCS 3286, pp. 317-336. Springer, 2004
22. R. Hauser, J. Koehler, S. Sendall, M. Wahler. Declarative Techniques for Model-Driven Business Process Integration. IBM Systems Journal 44(1):47-65, 2005
23. A. Kleppe, J. Warmer, W. Bast. MDA Explained. The Model Driven Architecture: Practice and Promise. Addison-Wesley, 2003
24. T. Lodderstedt, D. A. Basin, J. Doser. SecureUML: A UML-Based Modeling Language for Model-Driven Security. In Jézéquel et al. (eds.), UML 2002. LNCS 2460, pp. 426-441. Springer, 2002
25. S. Markovic, T. Baar. Refactoring OCL Annotated UML Class Diagrams. In MODELS 2005. LNCS 3713, pp. 280-294. 2005
26. E. Miliauskaite, L. Nemuraite. Representation of Integrity Constraints in Conceptual Models. Information Technology and Control 34(4):355-365, 2005
27. Object Management Group (OMG). Meta Object Facility (MOF) Specification Version 1.4. April 2002. Available as OMG document formal/2002-04-03
28. Object Management Group (OMG). UML 2.0 OCL Final Adopted Specification. 2003. Available as OMG document ptc/03-10-14
29. Object Management Group (OMG). Unified Modeling Language: Superstructure. Version 2.0. July 2005. Available as OMG document formal/05-07-04
30. Object Management Group (OMG). Unified Modeling Language: Superstructure. Version 2.1. April 2006. Available as OMG document ptc/2006-04-02
31. R. Reiter, G. Criscuolo. On Interacting Defaults. Proceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI'81), pp. 94-100, 1981
32. J. G. Süß. Sugar for OCL. In Proceedings of the 6th OCL Workshop at the UML/-MoDELS Conference 2006. Pp. 240-251. 2006