340 search results - page 3 / 68 » Model checking the composition of hypermedia design componen... |
ECBS
2000
IEEE
15 years 4 months ago
2000
IEEE
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
FORTE
2007
15 years 1 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
132
click to vote
FORTE
2009
14 years 9 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 ...
HT
1996
ACM
15 years 3 months ago
1996
ACM
This paper presents a taxonomy for open hypermedia systems. The purpose of the Flag1 taxonomy is manifold: 1 to provide a framework to classify and concisely describe individual s...
111
click to vote
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...