Article Information  
Automated Generation of OCL Constraints: NL based Approach vs Pattern Based Approach

Keywords: Object Constraint Language, Constraints, Natural Language Processing

Mehran University Research Journal of Engineering & Technology

Volume 36 ,  Issue 2


1. OMG, "Unified Modeling Language (UML)", OMG Standard, Volume 2, No. 1, 2007.
2. OMG, "Object Constraint Language (OCL)|", OMG Standard, Volume 2, 2006.
3. Wahler, M., "Patterns to Develop Consistent Design Constraints", Ph.D. Thesis, ETH Zurich, Switzerland, 2007.
4. Gogolla, M., Büttner, F., and Richters, M., "USE: A UML-Based Specification Environment for Validating UML and OCL", Science of Computer Programming, Volume 69, No. 1, pp. 27-34, 2007.
5. Cabot, J., "Ambiguity Issues in OCL Postconditions", Proceedings of 6th Conference OCL Workshop at the UML/MoDELS, pp. 194-204, 2006.
6. Kristofer, J., "Disambiguation Implicit Constructions in OCL", Conference on OCL and Model Driven Engineering, Lisbon, Portugal, pp. 30-44, October 12, 2004.
7. Correa A., Werner, C., and Barros, M., "An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications", MODELS, LNCS 4735, pp. 76-90, 2007.
8. OMG, "Semantics of Business Vocabulary and Rules (SBVR)", OMG Standard, Volume 1. 2008.
9. Linehan, M., "Ontologies and Rules in Business Models", 11th Conference Workshop in IEEE EDOC, pp. 149-156, 2008
10. Linehan, M., "SBVR Use Cases", Interntaional Symposium on Rule Representation, Interchange and Reasoning on the web, RuleML, LNCS, Volume 5321, pp. 182-196, 2008.
11. OMG, "UML Superstructure Specification Document", OMG Standard, Volume 2, No. 3, 2007.
12. Campbell, S., "Translation into the Second Language", Routledge, 2014
13. Harris, C.B., and Harris, I.G., "Generating Formal Hardware Verification Properties from Natural Language Documentation", IEEE International Conference on Semantic Computing, pp. 49-56, 2015
14. Whittle, J., and Jayaraman P., "MATA: A Unified Approach for Composing UML Aspect Models on Graph Transformation", Springer LNCS, Volume 5560, pp. 191-237, 2009.
15. Kuhn, T., "A Survey and Classification of Controlled Natural Languages", Computational Linguistics, Volume 40, No. 1, pp. 121-170, 2014
16. Clark, T., Sammut, P., and Willans, J., "Applied Metamodelling: A Foundation for Language Driven Development", arXiv Preprint arXiv:1505.00149, 2015.
17. Hirschberg, J., and Manning, C.D., "Advances in Natural Language Processing", Science, Volume 349, No. 6245, pp. 261-266, 2015.
18. Soeken, M., Harris, C.B., Abdessaied, N., Harris, I.G., and Drechsler, R., "Automating the Translation of Assertions using Natural Language Processing Techniques", Forum on Specification & Design Languages, 2014.
19. Gulwani, S., and Marron, M., "NLyze: Interactive Programming by Natural Language for Spreadsheet Data Analysis and Manipulation", Proceedings of ACM SIGMOD International Conference on Management of Data, pp. 803-814, 2014.
20. Bryant, B., "From Natural Language Requirements to Executable Models of Software Components", Workshop on SE for Embedded Systems, pp. 51, 2008
21. Akehurst, D.H., Boardbar, B., Evans, M., Howells, W.G.J., and McDonald-Maier, K.D., "SiTra: Simple Transformations in Java", ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems, LNCS, Volume 4199, pp. 351-364, 2006.
22. Cabot, J., Pau, R., and Raventós, R., "From UML/OCL to SBVR Specifications: A Challenging Transformation", Information Systems, Volume 35, No. 4, pp. 417-440, 2010.
23. Bajwa, I.S., and Lee, M.G., "Transformation Rules for Translating Business Rules to OCL Constraints", 7th European Conference on Modelling Foundations and Applications, pp.158-163, Birmingham, UK, 2011.
24. Bajwa, I.S., Bordbar, B., and Lee, M.G., "OCL Usability: A Major Challenge in Adopting UML", 2014 ICSE Workshop - RAISE, pp. 32-37, Hyderabad, India, 2014
25. Sidorov, G., Velasquez, F., Stamatatos, E., Gelbukh, A., and Chanona-Hernández, L., "Syntactic n-Grams as Machine Learning Features for Natural Language Processing", Expert Systems with Applications, Volume 41, No. 3, pp. 853-860, 2014.
26. Gogolla, M., Büttner, F., and Richters, M., "USE: A UML-Based Specification Environment for Validating UML and OCL", Science of Computer Programming, Volume 69, No. 1, pp. 27-34, 2007.
27. Raj, A., Prabharkar, T., and Hendryx, S., "Transformation of SBVR Business Design to UML Models", ACM Conference on India Software Engineering, pp. 29-38, 2008.
28. Demuth, B., and Wilke, C., "Model and Object Verification by Using Dresden OCL", RG Workshop on Innovation Information Technologies: Theory and Practice, pp. 81-89, 2009.
29. IBM OCL Parser, software/ awdtools/library/standards/ocl-download.htm, 2009.
30. Burke, D., and Kristofer, J., "Translating Formal Software Specifications to Natural Language", Springer LNCS, Volume 3492, pp. 51-66, 2005.