724 search results - page 93 / 145 » Color, context, and compositionality |
FM
2005
Springer
15 years 4 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
102
click to vote
ICSOC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Current composite web service development and management solutions, e.g. BPEL, do not cater for flexible and adaptive business collaborations due to their pre-defined a...
WAIM
2005
Springer
15 years 4 months ago
2005
Springer
In this paper, we propose FECT, a new modelling framework for describing and composing heterogenous Web services to satisfy emergent requirements. In FECT, a three-dimension descri...
EMISA
2004
Springer
15 years 4 months ago
2004
Springer
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
ICALP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...