Service Model Invariant
by
Dragan Ivanovic
—
last modified
Apr 26, 2012 12:21
—
filed under:
KnowledgeModel
| Term: Service Model Invariant |
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) |
Service Model Invariant is a condition that must hold
in every state of service execution. [Alevizou & Plexousakis,
2006] {GEN: Execution Invariant (external)} |
||||
| Service Infrastructure (KM-SI) |
|||||
| Generic (domain independent) |
|||||
Competencies
- UOC: Service Oriented Computing; http://www.ics.forth.gr/isl/r-d-activities/soc.html;
Dimitris Plexousakis, George Baryannis
References
- [Alevizou & Plexousakis, 2006] V. Alevizou and D.
Plexousakis. Enhanced Specifications for Web Service
Composition. ECOWS '06: Proceedings of the European
Conference on Web Services. 2006. pp. 223--232.
