OCL tools report based on the IDE4OCL feature model

Electronic Communications of the EASST

Volumn 44, Issue , 2011, Pages

  Chimiak Opoka, Joanna ^a   Demuth, Birgit ^b   Awenius, Andreas ^c   Chiorean, Dan ^d   Gabel, Sébastien ^e   Hamann, Lars ^f   Willink, Edward ^g  

^a UNIVERSITY OF INNSBRUCK   (Austria)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^c EmPowerTec AG   (Germany)

^d BABE BOLYAI UNIVERSITY   (Romania)

^e CS Communication and Systemes   (France)

^f UNIVERSITY OF BREMEN   (Germany)

^g Eclipse Modeling Project   (United Kingdom)

Author keywords

Feature model; IDE4OCL; OCL; OCL tool

Indexed keywords

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

References (30)

1. E. Arslan. Advanced OCL Editor. B.Sc. thesis, University of Innsbruck, 2008
2. F. Büttner, M. Kuhlmann, M. Gogolla, J. Dietrich, F. Steimke, A. Pankratz, A. Stosiek, A. Salomon. MDA Employed in a Joint eGovernment Strategy: An Experience Report. In Bailey (ed.), Proc. 3rd ECMDA Workshop "From Code Centric To Model Centric Software Engineering" (2008). European Software Institute, http://www.esi.es/modelplex/c2m/program.php, 2008
3. J. Chimiak-Opoka, B. Agreiter, R. Breu. Bringing Models into Practice: Design and Usage of UML Profiles and OCL Queries in a showcase. In Targamadze et al. (eds.), Proc. of the 16th Int. Conf. on Information and Software Technologies, IT'2010. Pp. 265-273. Technologija, Kaunas, Lithuania, April 2010
4. D. Chiorean, M. Borteş, D. Coruţiu, R. Sparleanu. UML/OCL tools-Objectives, Requirements, State of the Art-The OCLE Experience. In Proceedings of 11th Nordic Workshop on Programming and Software Development Tools and Techniques. Pp. 163-180. 2004
5. J. Chimiak-Opoka, B. Demuth. A Feature Model for an IDE4OCL. Electronic Communications of the EASST: OCL and Textual Modelling 36, 2010. (presented at OCL Workshop)
6. J. Chimiak-Opoka, B. Demuth. Teaching OCL Standard Library: First Part of an OCL 2.x Course. 2010. (presented at EduSymp, to appear in Electronic Communications of the EASST)
7. J. Chimiak-Opoka, B. Demuth, D. Silingas, N. F. Rouquette. Requirements Analysis for an Integrated OCL Development Environment. Electronic Communications of the EASST: The Pragmatics of OCL and Other Textual Specification Languages 2009 24, 2009. (presented at OCL Workshop)
8. A. Canals, S. Gabel, G. P. The SAM and OCL components of the TOPCASED project. In Neptune'2009. Paris, France, May 2009
9. J. Chimiak-Opoka. OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language. In Schürr and Selic (eds.), MoDELS. LNCS 5795, pp. 665-669. Springer, 2009
10. D. Chiorean, V. Petraşcu, D. Petraşcu. How My Favourite Tool Supporting OCL Must Look Like. ECEASST 15:1-17, 2008
11. B. Demuth, H. Hußmann, S. Loecher. OCL as a Specification Language for Business Rules in Database Applications. UML 2001-The Unified Modeling Language. Modeling Languages, Concepts, and Tools, 2001
12. B. Demuth, C. Wilke. Model and Object Verification by Using Dresden OCL. In Proceedings of the Russian-German Workshop Innovation Information Technologies: Theory and Practice, Ufa, Russia, July 25-31, 2009. P. 81. Ufa State Aviation Technical University, Ufa, Bashkortostan, Russia, July 2009
13. M. Felderer, J. Chimiak-Opoka, P. Zech, C. Haisjackl, F. Fiedler, R. Breu. Model Validation in a Tool-based Methodology for System Testing of Service-oriented Systems. International Journal On Advances in Software, May 2011. (to appear)
14. P. Farail, P. Gaufillet, A. Canals, C. Le Camus, D. Sciamma, P. Michel, X. Crégut, M. Pantel. The TOPCASED project: a Toolkit in OPen-source for Critical Application and SystEms Development. In European Congress on Embedded Real-Time Software. Toulouse, France, May 2006
15. M. Gogolla, J. Bohling, M. Richters. Validating UML and OCL Models in USE by Automatic Snapshot Generation. Journal on Software and System Modeling 4(4):386-398, 2005
16. M. Gogolla, F. Büttner, M. Richters. USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming 69:27-34, 2007
17. M. Gogolla, L. Hamann, J. Xu, J. Zhang. Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques. In Proc. 10th Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'2011). 2011
18. M. Gogolla, M. Kuhlmann, L. Hamann. Consistency, Independence and Consequences in UML and OCL Models. In Dubois (ed.), Proc. 3rd Int. Conf. Test and Proof (TAP'2009). Pp. 90-104. Springer, Berlin, LNCS 5668, 2009
19. H. Hussmann, B. Demuth, F. Finger. Modular architecture for a toolset supporting OCL. Sci. Comput. Program. 44:51-69, July 2002
20. L. Hamann, M. Gogolla. Improving Model Quality by Validating Constraints with Model Unit Tests. In Proc. 7th Int. Workshop on Model-Driven Engineering, Verification, and Validation (MODEVVA'2010). 2010
21. F. Heidenreich, J. Johannes, M. Seifert, M. Thiele, C. Wende, C. Wilke. Integrating OCL and Textual Modelling Languages. In Proc. of Workshop on OCL and Textual Modelling (OCL2010). 2010
22. R. James. HSBC-Software Practice Advancement-Architecture Day-EAI via MDA. 2005. http://www.bcs-oops.org.uk/resources/mdaday/James-EAIViaMDA.pdf
23. R. Paige, P. Brooke, J. Ostroff. Metamodel-based Model Conformance and Multi-View Consistency Checking. ACM Transactions on Software Engineering and Methodology 13(3):13-61, 2007. doi:10.1145/1243987.1243989
24. M. Wahler. Model-Driven Software Development: Integrating Quality Assurance. Chapter A Pattern Approach to Increasing the Maturity Level of Class Models, pp. 204-235. Idea Group Inc., 2008. doi:10.4018/978-1-60566-006-6.ch009 http://kuznyechik.googlepages.com/wahler-maturity-2008draft.pdf
25. E. D. Willink. Re-engineering Eclipse MDT/OCL for Xtext. MODELS 2010, OCL Workshop, 2010
26. E. D. Willink. Aligning OCL with UML. TOOLS 2011, OCL Workshop, 2011
27. E. D.Willink. Modeling the OCL Standard Library. TOOLS 2011, OCL 2011Workshop, 2011
28. E. Woods. OCL Quick Reference. 2005. http://www.artechra.com/media/writing/OCL1.5-quick-reference.pdf
29. C. Wilke, M. Thiele, C. Wende. Extending Variability for OCL Interpretation. In Petriu et al. (eds.), Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science 6394, pp. 361-375. Springer Berlin/Heidelberg, 2010
30. C. Wende, N. Thieme, S. Zschaler. A Role-based Approach Towards Modular Language Engineering. 2nd International Conference on Software Language Engineering, (SLE 2009), Revised Selected Papers, 2010