A graph grammar-based formal validation of object-process diagrams
Two basic requirements from a system's conceptual model are correctness and comprehensibility. Most modeling methodologies satisfy only one of...
An executable formal semantics for UML-RT
We propose a formal semantics for UML-RT, a UML profile for real-time and embedded systems. The formal semantics is...
An integrated semantics for reasoning about SysML design models using refinement
SysML is a variant of UML for systems design. Several formalisations of SysML (and UML) are available. Our work...
Leveraging annotation-based modeling with Jump
The capability of UML profiles to serve as annotation mechanism has been recognized in both research and industry. Today’s...
Mashup of metalanguages and its implementation in the Kermeta language workbench
With the growing use of domain-specific languages (DSL) in industry, DSL design and implementation goes far beyond an activity...
A compositional semantics of UML-RSDS
This paper provides a semantics for the UML-RSDS (Reactive System Development Support) subset of UML, using the real-time action...
A metrics suite for UML model stability
Software metrics have become an essential part of software development because of their importance in estimating cost, effort, and...
Strategic business modeling: representation and reasoning
Business intelligence (BI) offers tremendous potential for business organizations to gain insights into their day-to-day operations, as well as...
A framework to specify system requirements using natural interpretation of UML/MARTE diagrams
The ever-increasing design complexity of embedded systems is constantly pressing the demand for more abstract design levels and possible...
Model-based a-posteriori integration of engineering tools for incremental development processes
A-posteriori integration of heterogeneous engineering tools supplied by different vendors constitutes a challenging task. In particular, this statement applies...
