Corpus ID: 18447714

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

@inproceedings{Kelsen2007ADE,
  title={A Declarative Executable Language based on OCL for Specifying the Behaviour of Platform-Independent Models},
  author={P. Kelsen and E. Pulverm{\"u}ller and Christian Glodt},
  year={2007}
}
  • P. Kelsen, E. Pulvermüller, Christian Glodt
  • Published 2007
  • Computer Science
  • 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… CONTINUE READING
    A MOP Based DSL for Testing Java Programs using OCL
    Constraint Management in Engineering of Complex Information Systems
    COMPONENT BEHAVIOR MODELING
    • 2
    • PDF

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 14 REFERENCES
    DEMOS: a tool for declarative executable modeling of object-based systems
    • 4
    A simple static model for understanding the dynamic behavior of programs
    • 12
    A declarative executable model for object-based systems based on functional decomposition
    • 11
    • PDF
    A precise approach to validating UML models and OCL constraints
    • 176
    • PDF
    OCL as Expression Language in an Action Semantics Surface Language
    • 19
    • PDF
    MDA explained - the Model Driven Architecture: practice and promise
    • 2,019
    • PDF
    Domain-driven design - tackling complexity in the heart of software
    • Evans
    • Computer Science
    • 2004
    • 802
    • PDF
    MDA Distilled Principles Of Model-Driven Architecture
    • 417
    • PDF
    Model Driven Architecture with Executable UML
    • 191
    • Highly Influential