3429 search results - page 452 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
128
click to vote
DKE
2008
15 years 4 months ago
2008
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matc...
148
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
121
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
151
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
138
click to vote
CONSTRAINTS
2006
15 years 4 months ago
2006
To model combinatorial decision problems involving uncertainty and probability, we introduce scenario based stochastic constraint programming. Stochastic constraint programs conta...