2060 search results - page 11 / 412 » The Composition of Event-B Models |
ICEIS
2005
IEEE
14 years 4 months ago
2005
IEEE
Component-based software engineering attempts to address the ever increasing demand for new software applications by enabling a compositional approach to software construction in ...
JWSR
2006
13 years 10 months ago
2006
: We investigate architectural properties required for supporting automatic service composition. First, composable service architecture will be described, based on modeling Web ser...
WISE
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. In this paper we propose a constraint based declarative approach for Web services composition and monitoring problem. Our apllows user to build the abstract composition b...
IEEESCC
2007
IEEE
14 years 5 months ago
2007
IEEE
The Service-Oriented Computing (SOC) paradigm promotes the use of basic composition units – services – to support the rapid development of distributed applications. Service co...
ECMDAFA
2006
Springer
14 years 2 months ago
2006
Springer
There is little agreement on terminology in model composition, and even less on key characteristics of a model composition solution. We present three composition frameworks: the At...