OCL Constraints Generation from Natural Language Specification

@article{Bajwa2010OCLCG,
  title={OCL Constraints Generation from Natural Language Specification},
  author={Imran Sarwar Bajwa and Behzad Bordbar and Mark G. Lee},
  journal={2010 14th IEEE International Enterprise Distributed Object Computing Conference},
  year={2010},
  pages={204-213}
}
Object Constraint Language (OCL) plays a key role in Unified Modeling Language (UML. [...] Key Method The suggested approach relies on Semantic Business Vocabulary and Rules (SBVR) to support formulation of natural language expressions and their transformations to OCL. The paper also presents outline of a prototype tool that implements the method.Expand
Translating natural language constraints to OCL
TLDR
The presented NL to OCL transformation via SBVR will not only simplify the process of generating OCL constraints but also generate accurate models in less time. Expand
A natural language processing approach to generate SBVR and OCL
TLDR
The results of the case studies manifest that a natural language based approach to generate OCL constraints can not only help in significantly improving usability of OCL but also outperforms the most closely related techniques in terms of effectiveness and effort required in generating OCL. Expand
Transformation Rules for Translating Business Rules to OCL Constraints
TLDR
A transformation rules based approach to automate the process of SBVR to OCL transformation and also assists the designers by simplifying software designing process is presented. Expand
Controlled Natural Language for Integrity Constraints Specification in the ER Model
TLDR
The specification of integrity constraints defined by the modeler and imposed by an authorized business agent is shown, to cover a lack of ER model in representing integrity, and helps in the understanding between the technical and business personnel. Expand
Documentation‐based functional constraint generation for library methods
  • Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li
  • Computer Science
  • Softw. Test. Verification Reliab.
  • 2021
TLDR
This work proposes the Doc2smt approach to generating strong functional constraints in SMT for library methods based on their documentations and implemented the approach into a supporting tool with the same name. Expand
Lips: An IDE for model driven engineering based on natural language processing
TLDR
This paper proposes lips, an integrated development environment that is seamlessly implemented on top of Eclipse and contains recent NLP algorithms that extract formal models suited for the Eclipse Modeling Framework and therefore provide a starting point for an ongoing implementation. Expand
Integration of use case formal template using mapping rules
  • Swee Yin Wong, E. Mit, J. Sidi
  • Computer Science
  • 2016 Third International Conference on Information Retrieval and Knowledge Management (CAMP)
  • 2016
TLDR
This paper aims to propose a use case formal template and define a new set of mapping rules that is used for formalizing UML use case by transforming use case scenarios which are written in natural language into VDM++ formal specification. Expand
vOCL: A novel approach for UML constraints modeling
TLDR
A novel visual surface notation is proposed that maintains its foundational strengths in supporting navigation and querying, and improves on its representation and comprehension, and improving on constraints readability and comprehension ultimately improves constraints adoption in practice. Expand
Resolving Ambiguities in Natural Language Software Requirements: A Comprehensive Survey
TLDR
A state-of-the-art survey of the currently available tools for ambiguity resolution in natural language software requirements is presented, to disseminate, dissect and analyze the research work published in the area, identify metrics for a comparative evaluation and eventually do the same. Expand
Formalising Natural Language Specifications Using a Cognitive Linguistics/Configuration Based Approach
TLDR
This paper presents a solution based on a unique combination of techniques from Cognitive Linguistics and Knowledge-based Configuration in order to transform natural language business specifications into SBVR models and increases the level of automation for Model-Driven Engineering. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 48 REFERENCES
From UML/OCL to SBVR specifications: A challenging transformation
TLDR
The main goal of this paper is to bridge the gap between UML and SBVR by providing an automatic transformation from UML to SBVR specifications, which takes into account all possible textual object constraint language (OCL) expressions that complement the UML graphical elements. Expand
Automated size analysis for OCL
TLDR
This paper presents tools and techniques for automated verification of size properties of collection types in OCL by converting OCL expressions on collections to arithmetic expressions on their sizes and employs an infinite state model checker, called ALV, for size analysis. Expand
The Object Constraint Language: Getting Your Models Ready for MDA
Praise for The Object Constraint Language, Second Edition“MDA promises a revolution in the way we develop software. This book is essential reading for anyone intending to adopt MDA technology.” i¾ i¾Expand
Towards Improving OCL-Based Descriptions of Software Metrics
  • Tae Yeon Kim, Y. Kim, H. Chae
  • Computer Science
  • 2009 33rd Annual IEEE International Computer Software and Applications Conference
  • 2009
TLDR
This paper proposes a description language, named Metric Description Language (MDL), for simple and clear description of software metrics, and finds that MDL can describe metrics in simpler expressions than OCL. Expand
Model and Object Verification by Using Dresden OCL
1 The Object Constraint Language (OCL) is a formal language standardized by the OMG (Object Management Group) that allows the specification of constraints on MOF(Meta Object Facility) or EMF (EclipseExpand
Paraphrasing OCL Expressions with SBVR
TLDR
A method is presented that generates natural language explanations for business rules expressed in OCL (Object Constraint Language), the standard language to specify business rules on UML-based CSs by translates the OCL expression into a SBVR (Semantics of Business Vocabulary and Business Rules) representation. Expand
Parsing SBVR-Based Controlled Languages
TLDR
An original method for extracting a SBVR terminal model out of a controlled English text and then transform it into a UML class diagram is proposed and a model-driven engineering approach in which constraint-programming based search is combined with model transformation is described. Expand
Transformation techniques for OCL constraints
TLDR
The techniques presented in this paper assist the designer during the definition of the constraints by means of generating equivalent alternatives for the initially defined ones. Expand
Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation
TLDR
This paper proposes a methodology for the natural language processing of textual descriptions of the requirements of an unlimited natural language and their automatic mapping to the object-oriented analysis model. Expand
USE: A UML-based specification environment for validating UML and OCL
TLDR
The USE tool (UML-based Specification Environment) supports analysts, designers and developers in executing UML models and checking OCL constraints and thus enables them to employ model-driven techniques for software production. Expand
...
1
2
3
4
5
...