Sciweavers

3908 search results - page 4 / 782
» A model for service-oriented communication systems
Sort
View
CIMCA
2006
IEEE
16 years 16 hour ago
From the OntoBayes Model to a Service Oriented Decision Support System
The aim of this paper is to propose a service oriented decision support system based on an ontology-driven uncertainty model (OntoBayes). OntoBayes consists of knowledge and decis...
Yi Yang, Jacques Calmet
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 7 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
COMPSAC
2009
IEEE
15 years 10 months ago
Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
Aida Causevic, Aneta Vulgarakis
MODELS
2009
Springer
16 years 15 days ago
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
Naeem Esfahani, Sam Malek, João Pedro Sousa...
TSMC
2008
110views more  TSMC 2008»
15 years 5 months ago
Bridging Global and Local Models of Service-Oriented Systems
Abstract-- A service-oriented system is a collection of independent services that interact with one another through message exchanges. Languages such as the Web Services Descriptio...
Johannes Maria Zaha, Marlon Dumas, Arthur H. M. te...