Requirements analysis for an integrated OCL development environment

Electronic Communications of the EASST

Volumn 24, Issue , 2009, Pages

  Chimiak Opoka, Joanna ^a   Demuth, Birgit ^b   Silingas, Darius ^c   Rouquette, Nicolas F ^d  

^a UNIVERSITY OF INNSBRUCK   (Austria)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^c No Magic Europe   (Lithuania)

^d CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

OCL concepts; OCL development; OCL pragmatics; OCL tool support; Requirement specification

Indexed keywords

EID: 85001771197     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.24.327.317     Document Type: Article

References (26)

1. J. Ackermann. Fallstudie zur Spezifikation von Fachkomponenten. In 2. Workshop Modellierung und Spezifikation von Fachkomponenten. Pp. 1-66. Bamberg, Deutschland, 2001. (In German)
2. T. Baar et al. Tool Support for OCL and Related Formalisms-Needs and Trends. In MoDELS Satellite Events. LNCS 3844, pp. 1-9. Springer, 2005. http://lgl.epfl.ch/members/baar/oclwsAtModels05/reportOCLWSAtModels05.pdf
3. E. Burke, B. Coyner. Top 12 Reasons to Write Unit Tests. 2 2003. http://www.onjava.com/pub/a/onjava/2003/04/02/javaxpckbk.html
4. M. Bräuer, B. Demuth. Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support. Pp. 182-193 in [mod07]
5. B. Beckert, R. Hähnle, P. H. Schmitt (eds.). Verification of Object-Oriented Software: The KeY Approach. LNCS 4334. Springer-Verlag, 2007
6. D. Bjorner. Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series). Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2006
7. B. Beckert, U. Keller, P. H. Schmitt. Translating the Object Constraint Language into First-order Predicate Logic. In In Proceedings, VERIFY, Workshop at Federated Logic Conferences (FLoC). Pp. 113-123. 2002
8. A. D. Brucker. An Interactive Proof Environment for Object-oriented Specifications. PhD thesis, ETH Zurich, Mar. 2007. ETH Dissertation No. 17097. http://www.brucker.ch/bibliography/abstract/brucker-interactive-2007
9. A. D. Brucker, B. Wolff. HOL-OCL: A Formal Proof Environment for UML/OCL. In FASE. LNCS 4961, pp. 97-100. Springer, 2008
10. A. L. Correa et al. An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications. Pp. 76-90 in [mod07]
11. J. Chimiak-Opoka et al. Advanced OCL Editor based on Eclipse OCL. Presentation in the OCL2008 Workshop collocated with MoDELS'2008, 9 2008
12. J. Chimiak-Opoka. OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language. In Model Driven Engineering Languages and Systems, MODELS 2009, LNCS 5795. Pp. 665-669. Springer Verlag, 2009
13. D. Chiorean, V. Petrascu, D. Petrascu. How my favorite tool supporting OCL must look like. EC-EASST: OCL Concepts and Tools 2008 15, 2008
14. W. Deming. Out of the Crisis. MIT, Center for Advanced Engineering, Cambridge, MA, USA, 1986
15. 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 2009
16. D. Gelperin, B. Hetzel. The growth of software testing. Commun. ACM 31(6):687-695, 1988. doi:http://doi.acm.org/10.1145/62959.62965
17. K. Jiang, L. Zhang, S. Miyake. OCL4X: An Action Semantics Language for UML Model Execution. Computer Software and Applications Conference, Annual International 1:633-636, 2007. doi:http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.158
18. A. Kirshin, D. Dotan, A. Hartman. A UML Simulator Based on a Generic Model Execution Engine. Pp. 324-326. 2007. http://dx.doi.org/10.1007/978-3-540-69489-2 40
19. M. Kyas. Verifying OCL specifications of UML models: tool support and compositionality. PhD thesis, Lehmanns Media; Faculty of Mathematics and Natural Sciences, Leiden University, 4 2006. https://openaccess.leidenuniv.nl/dspace/handle/1887/4362
20. Model Driven Engineering Languages and Systems, 10th Int. Conf., MoDELS 2007, Nashville, USA, Proceedings. LNCS 4735. Springer, 2007
21. OMG. Object Constraint Language. OMG Available Specification. Version 2.0. May 2006. http://www.omg.org/cgi-bin/doc?formal/2006-05-01
22. M. Richters, M. Gogolla. AMetamodel for OCL. In UML. LNCS 1723, pp. 156-171. Springer, 1999
23. UML-Intensive Framework for Modeling Software Requirements. 2008
24. D. Silingas, R. Butleris. Towards Implementing a Framework for Modeling Software Requirements in MagicDraw UML. Information Technology And Control 38(2):153-164, 2009
25. K. Slonneger, B. Kurtz. Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach. Addison-Wesley, 1995
26. A. Zeller. Why Programs Fail: A Guide to Systematic Debugging.Morgan Kaufmann, October 2005