Time-Soundness
by
Dragan Ivanovic
—
last modified
Apr 26, 2012 11:34
—
filed under:
KnowledgeModel
Definitions
Term: Time-Soundness |
Domain: Cross-cutting issues | ||||
---|---|---|---|---|---|
Engineering and Design (KM-ED) |
Adaptation and Monitoring (KM-AM) |
Quality Definition, Negotiation and
Assurance (KM-QA) |
Generic (domain independent) |
||
D o m a i n : L a y e r s |
Business Process Management (KM-BPM) |
||||
Service Composition and
Coordination (KM-SC) |
Time-soundness is the ability of a business protocol to avoid potential stalls arising from discretionary ability of participants to decide whether to generate messages in the protocol or not. [Mancioppi et al. 2008a, b] | ||||
Service Infrastructure (KM-SI) |
|||||
Generic (domain independent) |
Competencies
- UPM: Multi-Party Business
Protocols; http://clip.dia.fi.upm.es; Manuel
Carro
References
- [Mancioppi et al. 2008a] Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, and Mike P. Papazoglou. Sound Multi-party Business Protocols for Service Networks. In Proceedings of the Sixth International Conference on Service Oriented Computing, LNCS. Springer-Verlag, December 2008.
- [Mancioppi et al. 2008b] Michele Mancioppi. A Formal Framework
for Multi-Party Business Protocols. CentER Discussion Paper Series
No. 2008-79, Tilburg University, http://ssrn.com/paper=1272903,
September 2008.