Validating conceptual models by transformational prototyping

Abstract

Validation of user requirements shouldstart as early as possible in the development process. A conceptual model is a suitable medium for an early representation of functional requirements. Despite the useroriented nature of many conceptual models, requirements error are difficult to detect as the size and complexity of the model increases. Thus, the consequences of the specified requirements are difficult to judge only from inspecting the models. To improve the model comprehensibility, a conceptual model with executable properties can be transformed to an executable prototype that can be evaluated to detect potential misconceptions expressed in the model. One major validation approach to improve the comprehensibility of complex models is based on and exploits the executability of conceptual modeling languages. A conceptual model can be interpreted as or transformed to an executable prototype. An executable prototype is particularly useful for validating the dynamic properties of the conceptual model. In this paper the executable properties of the PPP language are exploited and a PPP model is transformed into an executable prototype in TEQUEL and C. The transformation strategy and execution mechanisms of the approach are presented, and its potential for validating model behavior is discussed.

Linking Data and BPMN Processes to Achieve Executable Models

“…Both approaches focus on defining a conceptual model which can then be automatically translated to achieve execution. However, the purpose of [28] is different to ours: their main goal is to be able to validate the model through execution, while ours is to achieve executability by using the current de facto standard languages for data and process representation. Similarly, the approach in [29] -which translates the models into Pascal -is outdated by current, object-oriented programming languages.…”

“…Earlier, similar attempts to ours are [28,29]. Both approaches focus on defining a conceptual model which can then be automatically translated to achieve execution.…”

Validation of Service Blueprint Models by Means of Formal Simulation Techniques

“…Earlier attempts are [29,30]. Both approaches focus on defining a conceptual model which can then be automatically translated to achieve execution.…”

“…Both approaches focus on defining a conceptual model which can then be automatically translated to achieve execution. However, the purpose of [29] is different to ours: their main goal is to be able to validate the model through execution, while ours is to achieve executability by using a combination of UML class diagram and service blueprint enriched with structured natural language. Similarly, the approach in [30] -which translates the models into Pascal -is outdated by object-oriented programming languages.…”

Testing-Based Conceptual Schema Validation in a Model-Driven Environment

“…The generated prototype makes it possible to build an Information Base state, perform consistency checks and ask questions about the contents of the Information Base. A similar approach was taken in [58] and [65], with the PPP and TROLL light language and environment, respectively. [49], [55] Several tools support editions, simulations and animation of UML models.…”