ALBERT
by
Osama Sammodi
—
last modified
Apr 26, 2012 12:20
—
filed under:
KnowledgeModel
Definitions
Term: ALBERT |
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) |
ALBERT is an assertion language for BPEL processes, designed to support both design time and run-time validation. ALBERT assertions can be used to create formal specifications of the properties a process should satisfy. [D. Bianculli et al. 2008] | ||||
Service Infrastructure (KM-SI) |
|||||
Generic (domain independent) |
Competencies
- N/A
References
- [D. Bianculli et al. 2008] Bianculli, D., Ghezzi, C., Spoletini, P., Baresi, L., & Guinea, S. (2008). A Guided Tour through SAVVY-WS: a Methodology for Specifying and Validating Web Service Compositions. In E. Borger, & A. Cisternino (Eds.), Advances in Software Engineering (pp. 131–160). Lecture Notes in Computer Science, 5316. Springer-Verlag.