9 search results - page 2 / 2 » Statecharts and Variabilities |
UML
2005
Springer
13 years 10 months ago
2005
Springer
UML semantic variation points provide intentional degrees of freedom for the interpretation of the metamodel semantics. The interest of semantic variation points is that UML now b...
ICLP
2005
Springer
13 years 10 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
VALUETOOLS
2006
ACM
13 years 11 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
SIGSOFT
2002
ACM
14 years 5 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...