Sciweavers

5518 search results - page 334 / 1104
» Rule-Based Service Modeling
Sort
View
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 4 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
ICWS
2007
IEEE
15 years 8 months ago
Towards automatic mediation of OWL-S process models
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...
Roman Vaculín, Katia P. Sycara
WSC
2004
15 years 8 months ago
Modeling and Simulation of Consumer Credit Originations Processes
Staffing decisions in a consumer credit origination environment have a significant impact on the financial institution's costs as well as customer service levels. Staff resou...
Hung-Nan Chen, Jihong Jin, Geetha Rajavelu, Charle...
SIGMETRICS
2008
ACM
15 years 6 months ago
A view-probability-matrix approach to the modelling of gossiping protocols
This paper addresses the quantitative analysis of gossiping protocols. In contrast to existing approaches which are entirely based on the simulation of the individual nodes' ...
Thomas Krieger, Martin Riedl, Johann Schuster, Mar...
WSFM
2007
Springer
16 years 23 days ago
Controlling Petri Net Process Models
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...
Jörg Desel