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
IMRAN SARWAR BAJWA , MUHAMMAD ANWAR SHAHZADA ,
References
| 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, http://www-01.ibm.com/ 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. |
| |
|
|