169 search results - page 7 / 34 » Exceptions in Component Interaction Protocols - Necessity |
SEMWEB
2004
Springer
15 years 2 months ago
2004
Springer
Abstract— Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, ...
ICFEM
1998
Springer
15 years 1 months ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
UML
2001
Springer
15 years 1 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
105
click to vote
CBSE
2008
Springer
14 years 11 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...
FUIN
2006
14 years 9 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...