Sciweavers

ICSOC
2007
Springer
15 years 6 months ago
Pattern Based SOA Deployment
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...
William Arnold, Tamar Eilam, Michael H. Kalantar, ...
ICSOC
2007
Springer
15 years 6 months ago
Mobile Ontology: Towards a Standardized Semantic Model for the Mobile Domain
Ontologies will be crucial for the future development of Next Generation Service Delivery Platforms. While various projects have defined ontologies for the mobile domain, there is ...
Claudia Villalonga, Martin Strohbach, Niels Snoeck...
ICSOC
2007
Springer
15 years 6 months ago
From OWL-S Descriptions to Petri Nets
While OWL-S advertisements provide a rich (ontological and behavioural) description of Web services, there are no tools that support formal analyses of OWL-S services. In this pape...
Antonio Brogi, Sara Corfini, Stefano Iardella
ICSOC
2007
Springer
15 years 6 months ago
Byzantine Fault Tolerant Coordination for Web Services Atomic Transactions
Abstract. In this paper, we present the mechanisms needed for Byzantine fault tolerant coordination of Web services atomic transactions. The mechanisms have been incorporated into ...
Wenbing Zhao
ICSOC
2007
Springer
15 years 6 months ago
Verifying Temporal and Epistemic Properties of Web Service Compositions
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Mo...
Applied Computing
Top of PageReset Settings