4286 search results - page 39 / 858 » Formalizing Service Interactions |
ICCS
2003
Springer
14 years 1 months ago
2003
Springer
We present XML schemas and our design for related data services for describing faults and surface displacements, which we use within earthquake modeling codes. These data services ...
ECOWS
2007
Springer
14 years 2 months ago
2007
Springer
Service-Oriented Architectures (SOAs) are increasingly deployed to achieve distributed systems that are modular, flexible and extensible. Designing for a SOA can be difficult, how...
AINA
2006
IEEE
14 years 2 months ago
2006
IEEE
In this article, we describe a Service Creation Environment (SCE) that allows for protocol- and technology-independent development, deployment, and maintenance of interactive, men...
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
APCCM
2006
13 years 10 months ago
2006
This paper provides an overview of ServiceMosaic, which is a platform for model-driven analysis and management of service interactions. In particular, in this paper, we focus on b...