-
Article
Polychronous automata and their use for formal validation of AADL models
This paper investigates how state diagrams can be best represented in the polychronous model of computation (MoC) and proposes to use this model for code validation of behavior specifications in Architecture A...
-
Chapter
Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard
In system design, an architecture specification or model serves, among other purposes, as a repository to share knowledge about the system being designed. Such a repository enables automatic generation of anal...
-
Article
Bridging the chasm between MDE and the world of compilation
Modeling and transforming have always been the cornerstones of software system development, albeit often investigated by different research communities. Modeling addresses how information is represented and proce...
-
Chapter and Conference Paper
On Model Subty**
Various approaches have recently been proposed to ease the manipulation of models for specific purposes (e.g., automatic model adaptation or reuse of model transformations). Such approaches raise the need for a u...
