Sciweavers

306 search results - page 57 / 62
» A Petri Net-based Model for Web Service Composition
Sort
View
FUIN
2008
123views more  FUIN 2008»
14 years 9 months ago
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavad...
WISE
2007
Springer
15 years 3 months ago
User-Friendly Semantic Annotation in Business Process Modeling
Current problems in Business Process Management consist of terminology mismatches and unstructured and isolated knowledge representation in process models. Semantic Business Proces...
Matthias Born, Florian Dörr, Ingo Weber
ICWS
2008
IEEE
14 years 10 months ago
A Formal Model of Human Workflow
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...
Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang
90
Voted
WSC
2004
14 years 10 months ago
Exploring Agent-Supported Simulation Brokering on the Semantic Web: Foundations for a Dynamic Composability Approach
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated sim...
Levent Yilmaz, Tuncer I. Ören
ICEBE
2005
IEEE
165views Business» more  ICEBE 2005»
15 years 3 months ago
Distributed Policy Specification and Enforcement in Service-Oriented Business Systems
Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...
Wei-Tek Tsai, Xinxin Liu, Yinong Chen