Sciweavers

2271 search results - page 141 / 455
» Service Oriented Architectural Design
Sort
View
COORDINATION
2006
Springer
15 years 5 months ago
Choreography and Orchestration Conformance for System Design
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
MKM
2004
Springer
15 years 7 months ago
An Architecture for Distributed Mathematical Web Services
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
Elena S. Smirnova, Clare M. So, Stephen M. Watt
IWACA
1994
126views Multimedia» more  IWACA 1994»
15 years 6 months ago
An Object-Oriented Implementation of the Xpress Transfer Protocol
Abstract. Object-oriented design principles map well onto protocol implementations because protocols essentially manipulate two structures--packets and the states of the endpoints....
W. Timothy Strayer, Simon Gray, Raymond E. Cline J...
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
15 years 8 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
WWW
2008
ACM
16 years 2 months ago
Towards a programming language for services computing
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...
Arun Kumar, D. Janakiram