626 search results - page 8 / 126 » Correct Composition of Design Components |
DAC
1998
ACM
15 years 10 months ago
1998
ACM
ANSS
2002
IEEE
15 years 2 months ago
2002
IEEE
We present a simulation and design framework for simultaneously designing and modeling electromechanical systems. By instantiating component objects and connecting them to each ot...
IEEECIT
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
114
click to vote
FORTE
2009
14 years 7 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
SOCO
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...