179 search results - page 2 / 36 » Compositional semantics and behavioral equivalences for P Sy... |
DATE
2007
IEEE
13 years 11 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
DBISP2P
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper we propose a semantic based P2P system that incorporates peer sharing policies, which allow a peer to state, for each of the concepts it deals with, the con...
SFM
2007
Springer
13 years 11 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
AEI
2007
13 years 5 months ago
2007
A peer-to-peer (p2p) based service flow management system, SwinDeW-S, could support decentralised Web service composition, deployment and enactment. However, traditional workflow ...
BPM
2006
Springer
13 years 9 months ago
2006
Springer
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 match...