503 search results - page 23 / 101 » A Framework for Reasoning on Component Composition |
IDMS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
FM
2005
Springer
14 years 1 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...
BIS
2007
13 years 9 months ago
2007
In this work, we present a conceptual framework for deriving executable business process models from high-level, graphical business process models based on the paradigm of Service-...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...
SCP
2010
13 years 5 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...