Semantic verification of Behavior Conformance


Dijkman, Remco M. and Quartel, Dick A.C. and Ferreira Pires, Luis and Sinderen, Marten J. van (2002) Semantic verification of Behavior Conformance. In: Eleventh OOPSLA Workshop on Behavioral Semantics - Serving the Customer, 4-8 Nov 2002, Seattle, Washington, USA (pp. pp. 43-54).

open access
Abstract:This paper introduces a formal yet practical method to verify whether the behavior design of a distributed application conforms to the behavior design of the enterprise in which the application is embedded. The method allows both enterprise architects and application architects to talk about designs in their own terms, and introduces a common set of terms as the linking pin between enterprise and application designs. The formal semantics of these common terms allows us to verify the conformance between an enterprise and its applications formally and automatically.
Item Type:Conference or Workshop Item
Additional information:Imported from research group ASNA (ID number 107)
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 207113