362 search results - page 62 / 73 » Semantic matchmaking of web services using model checking |
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
The framework for automatic mediation of two process models composed of semantically annotated web services is presented. Process mediation is hard because of many possible mismat...
ECOWS
2008
Springer
13 years 9 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
CLOUDCOM
2010
Springer
13 years 4 months ago
2010
Springer
Cloud computing has become one of the key considerations both in academia and industry. Cheap, seemingly unlimited computing resources that can be allocated almost instantaneously...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
BIS
2007
13 years 9 months ago
2007
In this work, we present a conceptual framework for deriving executable business process models from high-level, graphical business process models based on the paradigm of Service-...