Time-Soundness
by
Dragan Ivanovic
—
last modified
Jul 13, 2011 16:43
—
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. 2008] | ||||
| Service Infrastructure (KM-SI) |
|||||
| Generic (domain independent) |
|||||
Competencies
- UPM: Multi-Party Business
Protocols; http://clip.dia.fi.upm.es; Manuel
Carro
Scenarios
TBD
References
- [Mancioppi et al. 2008] 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.
- 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.
