ABSTRACT
In this paper, we present a novel approach to address the OCL usability problem by automatically producing OCL from English text. The main aspects of OCL usability problem are attributed as hard syntax of language, ambiguous nature of OCL expressions, and difficult interpretation of large OCL expressions. Our contribution is a novel approach that aims to present a method involving using Natural Language expressions and Model Transformation technology to improve OCL usability. The aim of the method is to produce a framework so that the user of UML tools can write constraints and pre/post conditions in English and the framework converts such English expressions to the equivalent OCL statements. The proposed approach is implemented in a software tool NL2OCLviaSBVR that generates OCL constraints from English text via SBVR. Our tool allows software modelers and developers to generate well-formed OCL expressions that results in valid and precise models. An empirical evaluation of the OCL constraints reveals that our natural language based approach to generate OCL constraints significantly outperforms the most closely related technique in terms of effort and effectiveness.
- OMG. 2007. Unified Modeling Language (UML), OMG Standard, v. 2.3.Google Scholar
- OMG. 2006. Object Constraint Language (OCL), OMG Standard, v. 2.0.Google Scholar
- Gogolla M., et al. 2007. USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming, vol. 69 pp. 27-34 Google ScholarDigital Library
- Wahler M. 2008. Patterns to Develop Consistent Design Constraints, PhD Thesis, ETH Zurich, Switzerland.Google Scholar
- Cabot, J. 2006. Ambiguity issues in OCL postconditions. In: Proc. OCL for (Meta-) Models in Multiple Application Domain - MODELS'06, Technical Report.Google Scholar
- Correa A., Werner C., Barros M. 2007. An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications, MODELS’07, LNCS 4735. pp 76-90 Google ScholarDigital Library
- OMG. 2008. Semantics of Business vocabulary and Rules (SBVR), OMG Standard, v. 1.0.Google Scholar
- OMG, 2007. UML Superstructure specification document, OMG Standard, v. 2.3.Google Scholar
- Warmer Jos, Kleppe A. 2003. The Object Constraint Language – Getting Your Models Ready for MDA. Second Edition, Addison Wesley Google ScholarDigital Library
- Engels G., Heckel R., Küster J. 2001. Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model, LNCS Vol. 2185, pages 272-287 Google ScholarDigital Library
- Whittle J., Jayaraman P., et al. 2009. MATA: A Unified Approach for Composing UML Aspect Models on Graph Transformation: Springer LNCS Vol. 5560, p. 191-237 Google ScholarDigital Library
- Linehan M.: Ontologies and rules in Business Models. 2008. 11th IEEE EDOC Conference Workshop, pp. 149-156, Google ScholarDigital Library
- Linehan M. 2008. SBVR Use Cases. Int. Symposium on Rule Representation, Interchange and Reasoning on the web, RuleML, LNCS Vol.5321 pp. 182-196 Google ScholarDigital Library
- Raj A., Prabharkar T., Hendryx S. 2008. Transformation of SBVR Business Design to UML Models. In ACM Conference on India software engineering, pp.29-38 Google ScholarDigital Library
- Cabot J., Teniente E. 2007. Transformation Techniques for OCL constraints, J. of Science of Computer Programming, 68(03) Oct 2007, p.152-168 Google ScholarDigital Library
- Cabot J., et al. 2009. UML/OCL to SBVR Specification: A challenging Transformation, Journal of Information systems Google ScholarDigital Library
- Akehurst, D.H., Boardbar, B., Evans, M., Howells, W.G.J., McDonald-Maier, K.D. 2006. SiTra: Simple Transformations in Java, ACM/IEEE 9TH International Conference on Model Driven Engineering Languages and Systems,LNCS, Vol. 4199, pages 351-364 Google ScholarDigital Library
- Raquel R., Cabot j. 2008. Paraphrasing OCL Expressions with SBVR, 13th International Conference on Natural Language and Information Systems: Applications of NL to IS, pp.311-316 Google ScholarDigital Library
- Burke D., Kristofer J. 2005. Translating Formal Software Specifications to Natural Language. Springer LNCS, Vol. 3492, pp. 51-66 Google ScholarDigital Library
- Bajwa, I. S., Choudhary M.A. 2006. A Rule Based Paradigm for Speech Language Context Understanding. International Journal of Donghua University (English Edition). 23, 06 (June 2006), 39-42.Google Scholar
- Kristofer J. 2004. Disambiguation Implicit Constructions in OCL. In Conference on OCL and Model Driven Engineering, Oct 12, 2004, Lisbon, Portugal, pp. 30-44Google Scholar
- Scott W. Ambler. 2004. Object Primer: Agile Model-Driven Development with UML 2.0. Cambridge University Press, 3rd Edition, 2004. Google ScholarDigital Library
- Demuth B, Wilke C. 2009. Model and Object Verification by Using Dresden OCL. In R.G. Workshop on Innovation Information Technologies: Theory and Practice, pp. 81-89Google Scholar
- IBM OCL Parser, Sep 2009 http://www-01.ibm.com/ software/awdtools/library/standards/ocl-download.htmGoogle Scholar
- Jürgen D., Zinovy D., Alanna Z. 2008. Understanding and improving UML package merge. SoSyM, 7(4):443-467Google Scholar
- Ilieva M., Olga O. 2005. Automatic Transition of Natural Language Software requirements Specification into Formal Presentation. Springer LNCS Vol. 3513, pp.392--397 (2005) Google ScholarDigital Library
- Oliveira A., Seco N., Gomes P. 2004. A CBR Approach to Text to Class Diagram Translation, In TCBR Workshop at the 8th European Conference on Case-Based Reasoning.Google Scholar
- Bajwa I., Samad A., Mumtaz S. 2009. Object Oriented Software modeling Using NLP based Knowledge Extraction, European Journal of Scientific Research, 35(01), p.22-33Google Scholar
- Kovacs L., Kovasznai G., Kusper G. 2008. Metamodels in Generation of UML Using NLI-Based Dialogue. In 5th International Symposium on ASCII, pp. 29-33Google Scholar
- Bryant B., et al. 2008. From Natural Language Requirements to Executable Models of Software Components. In Workshop on S. E. for Embedded Systems pp.51Google Scholar
Index Terms
OCL usability: a major challenge in adopting UML
Recommendations
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool
BM-FA '14: Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and ApplicationsThis contribution discusses system modeling with UML behavior diagrams. We consider statecharts and both kinds of interaction diagrams, i.e., sequence and communication diagrams. We present new implementation features in a UML and OCL modeling tool: (1) ...
Translating alloy specifications to UML class diagrams annotated with OCL
SEFM'11: Proceedings of the 9th international conference on Software engineering and formal methodsModel-Driven Engineering (MDE) is a Software Engineering approach based on model transformations at different abstraction levels. It prescribes the development of software by successively transforming models from abstract (specifications) to more ...
Modeling Behavior with Interaction Diagrams in a UML and OCL Tool
Revised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 6368This paper discusses system modeling with UML behavior diagrams. We consider statecharts and both kinds of interaction diagrams, i.e., sequence and communication diagrams. We present new implementation features in a UML and OCL modeling tool: 1ï ...
Comments