Semantic verification of Behavior Conformance

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.

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:	Software Engineering (SE) Information Systems (IS)
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