Semantic verification of Behavior Conformance


Share/Save/Bookmark

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

[img]
Preview
PDF
119Kb
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66749
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 207113