Sciweavers

3908 search results - page 1 / 782
» A model for service-oriented communication systems
Sort
View
FMICS
2007
Springer
13 years 10 months ago
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
ICSOC
2005
Springer
13 years 10 months ago
Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems
The diffusion of service-oriented computing is today heavily influencing many software development and research activities. Despite this, service-oriented computing is a relative...
Massimiliano Colombo, Elisabetta Di Nitto, Massimi...
INFOCOM
2010
IEEE
13 years 3 months ago
Interactions, Competition and Innovation in a Service-Oriented Internet: An Economic Model
—This paper presents a new economic approach for studying competition and innovation in a complex and highly interactive system of network providers, users, and suppliers of digi...
Zhi-Li Zhang, Papak Nabipay, Andrew M. Odlyzko, Ro...
CAISE
2005
Springer
13 years 10 months ago
Service-Oriented Architectures and Mobile Services
Service-Oriented architectures and Service-Oriented Computing are the most recent approaches aiming at facilitating the design and development of applications on distributed system...
Ivar Jørstad, Schahram Dustdar, Do Van Than...
OTM
2007
Springer
13 years 10 months ago
Top-Down Modeling Methodology for Model-Driven SOA Construction
Service Oriented Architecture (SOA) has been developed to enhance the integration of various systems to allow organizations to be more flexible in case of business changes. This pa...
Jan Ricken