![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter
Semantic Web Service Composition: The Web Service Challenge Perspective
Service-oriented architecture (SOA) is a software design paradigm for creating highly modular, distributed applications. Web services can implement well-defined, atomic functions which can be composed into hig...
-
Chapter and Conference Paper
Static Detection of Implementation Errors Using Formal Code Specification
The software engineering community suggests that formal specification of source code facilitates the verification that can help to identify hidden functional errors. In this work, we investigate the impact of ...
-
Chapter and Conference Paper
Engineering Energy-Aware Web Services toward Dynamically-Green Computing
With the emergence of commodity computing environments (i.e. clouds), information technology (IT) infrastructure providers are creating data centers in distributed geographical regions. Since geographic region...
-
Chapter and Conference Paper
Object-Oriented Modeling Approaches to Agent-Based Workflow Services
With the increasing popularity of component-based services and semantic web services, the idea of specification-driven service composition is becoming a reality. With the distribution of these autonomous servi...
-
Chapter and Conference Paper
Using Agent Control and Communication in a Distributed Workflow Information System
Agent communication has developed widely over the past decade for various types of multiple agent environments. Originally, most of this research surrounded simulation systems and inference systems. Subsequent...