Sciweavers

1000 search results - page 103 / 200
» Analysis of communication models in web service compositions
Sort
View
FUIN
2008
123views more  FUIN 2008»
13 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...
KBS
2007
103views more  KBS 2007»
13 years 9 months ago
A reusable commitment management service using Semantic Web technology
Commitment management is a key issue in service-provisioning in the context of virtual organisations (VOs). A service-provider — which may be a single agent acting within an orga...
Alun D. Preece, Stuart Chalmers, Craig McKenzie
ITCC
2005
IEEE
14 years 2 months ago
VisDP: A Web Service for Visualizing Design Patterns on Demand
Design patterns document good design solutions to a recurring problem in a particular context. They are typically modeled using UML. In practice, however, pattern-related informat...
Jing Dong, Sheng Yang, Kang Zhang
FGCN
2008
IEEE
132views Communications» more  FGCN 2008»
14 years 3 months ago
Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model
The home network system (HNS, for short) is comprised of networked home appliances, which achieves various value-added services for home users. Assuring safety of the HNS and the ...
Ben Yan, Masahide Nakamura, Ken-ichi Matsumoto
WISE
2007
Springer
14 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