373 search results - page 10 / 75 » Model Checking Techniques applied to the design of Web Servi... |
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
ICSOC
2004
Springer
15 years 3 months ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
ESWS
2007
Springer
15 years 1 months ago
2007
Springer
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
103
Voted
ICLP
2004
Springer
15 years 3 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
JOT
2007
14 years 9 months ago
2007
Workflow and business process modeling approaches have become essential for designing service collaborations when developing SOA-based systems. To derive actual executable busines...