Sciweavers

52 search results - page 1 / 11
» Abstract State Machine Models for Basic Service-Oriented Arc...
Sort
View
ECOWS
2007
Springer
13 years 11 months ago
Towards Resource-Oriented BPEL
Service orientation is the de-facto architectural style, today. But, what actually is a service and how should service boundaries be chosen? Resource orientation, once seen as a ā€...
Hagen Overdick
FMICS
2007
Springer
13 years 11 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 veriļ¬cation of complex systems, which relies on the deļ¬nition of doubly labelled...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
WWW
2004
ACM
14 years 5 months ago
Cooperative middleware specialization for service oriented architectures
Service-oriented architectures (SOA) will provide the basis of the next generation of distributed software systems, and have already gained enormous traction in the industry throu...
Nirmal Mukhi, Ravi B. Konuru, Francisco Curbera
ECTEL
2007
Springer
13 years 11 months ago
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst...