Sciweavers

CAISE
2006
Springer

A Method for Functional Alignment Verification in Hierarchical Enterprise Models

14 years 4 months ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical enterprise models, made of an assembly of system models, are effective. In these models, two hierarchies exist: an organizational level hierarchy (describing systems' construction) and a functional level hierarchy (describing systems' functionality). Using a uniform hierarchical modeling language, system models at different hierarchical levels can be aligned in the context of the enterprise model. Using an operational semantics, each system model can be translated into executable code for model simulation and testing. The possibility to simulate and test models leads to the alignment verification for all system models across both hierarchies. In this paper we propose a method and tool for functional alignment tion. We use the Abstract State Machine (ASM) and the ASM language (AsmL) to formalize our grap...
Irina Rychkova, Alain Wegmann
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where CAISE
Authors Irina Rychkova, Alain Wegmann
Comments (0)