Sciweavers

557 search results - page 71 / 112
» Calculi for Service-Oriented Computing
Sort
View
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
14 years 3 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
ETFA
2008
IEEE
14 years 3 months ago
Web services on deeply embedded devices with real-time processing
Service-oriented Architectures become more and more important in connecting devices with each other. The main advantages of Service-oriented architectures er abstraction level and...
Guido Moritz, Steffen Prüter, Dirk Timmermann...
IRI
2008
IEEE
14 years 3 months ago
Modeling and synthesis of service composition using tree automata
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
Ken Q. Pu, Ying Zhu
ISORC
2008
IEEE
14 years 3 months ago
Applicability of Web Service Technologies to Reach Real Time Capabilities
Currently the developing process for enterprise applications is improved by the Service Oriented Architecture (SOA) paradigms. With SOAs the creation of modular and clearly defin...
Steffen Prüter, Guido Moritz, Elmar Zeeb, Ral...
ISORC
2008
IEEE
14 years 3 months ago
Scenario Based Evaluation
The concept of a scenario has long been utilized in military procurement as a means of evaluating capability in an operational context. With the advent of initiatives such as the ...
Nik Looker, David Webster, Duncan Russell, Jie Xu