Personal tools
You are here: Home Knowledge Model REPOSITORY of Terms A ALBERT

ALBERT

by Osama Sammodi last modified Apr 26, 2012 12:20
— filed under:

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.

Document Actions
  • Send this
  • Print this
  • Bookmarks

The Plone® CMS — Open Source Content Management System is © 2000-2017 by the Plone Foundation et al.