2003
DOI: 10.1016/j.arcontrol.2003.08.001
|View full text |Cite
|
Sign up to set email alerts
|

Enterprise model verification and validation: an approach

Abstract: This article presents a Verification and Validation approach which is used here in order to complete the classical tool box the industrial user may utilize in Enterprise Modeling and Integration domain. This approach, which has been defined independently from any application domain is based on several formal concepts and tools presented in this paper. These concepts are property concepts, property reference matrix, properties graphs, enterprise modeling domain ontology, conceptual graphs and formal reasoning m… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
11
0

Year Published

2006
2006
2017
2017

Publication Types

Select...
5
3

Relationship

1
7

Authors

Journals

citations
Cited by 23 publications
(11 citation statements)
references
References 18 publications
0
11
0
Order By: Relevance
“…In addition, the as-is BP can be used to match software reference models. The primary objectives of developing the as-is BP include: a) improving or redesigning the enterprise [24] [25] [26], b) enhancing the enterprise integration [27] [28] [29], c) providing the starting point for development of the architecture of necessary information systems [30], d) use in the requirements enumeration phase in the development of the information systems [31], and e) deployment as a knowledge repository of the enterprise [22].…”
Section: As-is Business Process Preparation Collection or Documentamentioning
confidence: 99%
“…In addition, the as-is BP can be used to match software reference models. The primary objectives of developing the as-is BP include: a) improving or redesigning the enterprise [24] [25] [26], b) enhancing the enterprise integration [27] [28] [29], c) providing the starting point for development of the architecture of necessary information systems [30], d) use in the requirements enumeration phase in the development of the information systems [31], and e) deployment as a knowledge repository of the enterprise [22].…”
Section: As-is Business Process Preparation Collection or Documentamentioning
confidence: 99%
“…A formal approach for verifying and validating the relevance and suitability of a developed enterprise model is also presented in [6]. However, since enterprise architecture addresses company-wide integration [20], evaluation and validation of its model(s) could be complex especially if, when creating these models, in sufficient quality assessment was done on its individual (tangible and intangible) components.…”
Section: E Va Lu a Tio N E Fforts In E N Terp Rise A R Ch Ite Ctu Re mentioning
confidence: 99%
“…Validation of alternatives is most likely to be affected by the infor m ation available for each design alternative. The lack of knowledge and misun derstanding of particular features and information from a system (say an enter prise) or its environment consequently limits the verification and validation of (enterprise) model(s) [6]. This further explains why stakeholders and enterprise architects should effectively collaborate in the generation of design alternatives, and above all, have a shared conceptualisation and understanding of enterprise aspects.…”
Section: G E N E R a T Io N O F D E S Ig N A Lte R N A Tiv E Smentioning
confidence: 99%
“…Chapurlat [23] reported a theoretical approach to validate and verify enterprise models by using property concepts, property reference matrix, properties graphs, domain ontology, conceptual graphs and formal reasoning mechanisms. Harzallah [24] explored human competencies modelling and management in the engineering environment and operational environment.…”
Section: Literature Reviewmentioning
confidence: 99%