361 search results - page 4 / 73 » A compositional approach to statecharts semantics |
114
click to vote
ENTCS
2006
14 years 11 months ago
2006
In this paper, we are motivated by the problem of semantic web services composition. We first present a typical example requiring services composition, give a definition of an aut...
109
click to vote
JLP
2006
14 years 11 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
IAJIT
2008
14 years 11 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
FM
2003
Springer
15 years 4 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
108
click to vote
JUCS
2010
14 years 6 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...