In this paper, we present a novel approach of translating natural languages specification to
SBVR business rules. The business rules constraint business structure or control behaviour …

Object Constraint Language (OCL) plays a key role in Unified Modeling Language (UML). In
the UML standards, OCL is used for expressing constraints such as well-definedness …

This paper addresses the problem of transforming business specifications written in natural
language into formal models suitable for use in information systems development. It …

The OMG SBVR standard is the most mature abstract representation for Business semantics;
however, the complexity of SBVR metamodel prevents its broad and rapid usage in …

Multi-level modeling is currently regaining attention in the database and software
engineering community with different emerging proposals and implementations. One driver …

This paper presents a methodology for transforming business rules (BR) written in natural
language (NL) such as English into a set of executable models as Unified Modeling …

The future vision of business information systems rely on semantic technologies as the Web
Ontology Language OWL (currently, OWL2) that defines a meaning of business concepts …

This paper addresses the problem of transforming natural language business specifications
into formal models suitable for use in information systems. In particular, the Semantics of …

Software requirements are usually written in natural language or speech language which is
asymmetric and irregular. This paper presents a suitable method for transforming user …

Abstract Model Driven Engineering (MDE) and constraint programming (CP) have been
widely used and combined in different applications. However, existing results are either ad …