253 search results - page 27 / 51 » A Compositional Approach for Constructing Connectors |
168
Voted
ASM
2008
ASM
15 years 5 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
120
Voted
RCC
2000
15 years 3 months ago
2000
Large-scale distributed hypermedia systems comprise a generation of powerful tools to meet the demands of the new information globalization era. The most promising of such systems...
126
Voted
ESAW
2006
Springer
15 years 7 months ago
2006
Springer
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
158
click to vote
CBSE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
134
Voted
CBSE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...