99 search results - page 16 / 20 » From MSCs to Statecharts |
ICECCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
KBSE
2003
IEEE
14 years 22 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
DSN
2000
IEEE
13 years 12 months ago
2000
IEEE
The DTS (Dependability Test Suite) fault injection tool can be used to (1) obtain fault injection-based evaluation of system reliability, (2) compare the reliability of different ...
UML
2000
Springer
13 years 11 months ago
2000
Springer
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
AICT
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...