• Corpus ID: 18447714

A Declarative Executable Language based on OCL for Specifying the Behaviour of Platform-Independent Models

  title={A Declarative Executable Language based on OCL for Specifying the Behaviour of Platform-Independent Models},
  author={Pierre Kelsen and Elke Pulverm{\"u}ller and Christian Glodt},
Model-driven architecture aims at describing a system using a platformindependent model in sufficient detail so that the full implementation of the system can be generated from this model and a platform model. This implies that the platform-independent model must describe the static structure as well as the dynamic behavior of the system. We propose a declarative language for describing the behavior of platform-independent models based on a hybrid notation that uses graphical elements as well… 

Figures from this paper

A MOP Based DSL for Testing Java Programs using OCL
  • T. Clark
  • Computer Science
    Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
  • 2009
This paper defines a domain specific language (DSL) for testing and shows how a meta-object-protocol for OCL can be used to dynamically run tests written in the DSL against different Java implementations of the same model.
Constraint Management in Engineering of Complex Information Systems
This work proposes to build an engineering environment for information systems by using metamodels, OCL and symbolic model checkers to manage constraints, and shows how such environments can help with engineering quality complex systems by allowing to lift up a part of constraint verifications.
component technology Tools Component technology Component model Runtime environment is a model of Reasoning frameworks Automated reasoning procedure Property theories Computational theories use


DEMOS: a tool for declarative executable modeling of object-based systems
DEMOS citedemostool is an Eclipse-based tool which supports editing and executing EP models with rule-based background code generation, and which provides immediate feedback on the syntactic validity of both model elements and user-supplied code snippets.
A simple static model for understanding the dynamic behavior of programs
  • Pierre Kelsen
  • Computer Science
    Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004.
  • 2004
A new model for understanding runtime behavior is proposed that presents several advantages over the more traditional models: it has a simple syntax, one can tailor the same type of model to different abstraction levels while maintaining traceability, and they capture both static and dynamic aspects of a system.
Platform independent Web application modeling and development with Netsilon
The concepts described in the paper have been implemented in the Netsilon tool and operational model-driven Web information systems have been successfully deployed by translation from abstract models to platform specific models.
A declarative executable model for object-based systems based on functional decomposition
This paper presents a meta-modelling framework that automates the very labor-intensive and therefore time-heavy and therefore expensive process of modeling software systems using declarative models.
A precise approach to validating UML models and OCL constraints
A precise approach is presented that allows an analysis and validation of UML models and OCL constraints, and a metamodel for OCL is introduced that defines the abstract syntax of OCL expressions and the structure of types and values.
OCL as Expression Language in an Action Semantics Surface Language
This article proposes a surface language that is based on and aligned with OCL, a high overlap with the Object Constraint Language, and its practical application is proposed.
MDA explained - the Model Driven Architecture: practice and promise
Insight is given in what MDA means and what you can achieve, both today and in the future, thereby raising the level of maturity of the IT industry.
Domain-driven design - tackling complexity in the heart of software
  • Evans
  • Computer Science
  • 2004
This chapter discusses Modeling Paradigms and Tool Support, which focuses on Designing Objects for Relational Databases, and the Pitfalls of Infrastructure-Driven Packaging.
MDA Distilled Principles Of Model-Driven Architecture
This book discusses the development of Agile MDA, the design-Time Interoperability Revisited, and working with Models-as-Assets and Model Compilers.
Model Driven Architecture with Executable UML
1. Introduction 2. The process 3. xUML in a typical project 4. Use case analysis 5. Domain partitioning 6. Class modelling in a domain 7. Behaviour modelling 8. Operation modelling 9. Dynamic