A Hypergraph Based Formal Description Technique for Enterprise Architecture Representation

被引：3

作者：

Ori, Dora ^{[1
]}

Molnar, Balint ^{[2
]}

机构：

[1] Corvinus Univ Budapest, Dept Informat Syst, Budapest, Hungary

[2] Eotvos Lorand Univ, Dept Informat Syst, Budapest, Hungary

来源：

2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018) | 2018年

关键词：

Enterprise Architecture; TOGAF; Artefact; Formal Modelling; Hypergraph; BUSINESS; FRAMEWORK; ALIGNMENT;

D O I：

10.1109/IIAI-AAI.2018.00164

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper provides a description about a hypergraph-based formalism for representing enterprise architecture, including formalized constraints for enterprise architecture definition. The paper describes a solid concept using the TOGAF Content Metamodel and the hypergraph theory. Hypergraphs provide a flexible mathematical structure to describe complex relationships in an enterprise architecture, mirroring the dependencies among components, and exploring integrity and consistency issues. The approach outlined in this paper offers extended analytical potential for discrepancy checking in complex enterprise architecture structures utilizing the tool set of hypergraph theory. The proposed approach can be used for extending EAM-based analysis of business information systems.

引用

页码：799 / 804

页数：6

共 50 条

[31] Enterprise Architecture Model Analysis Using Description Logics
Antunes, Goncalo
Caetano, Artur
Borbinha, Jose
2014 IEEE 18TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS AND DEMONSTRATIONS (EDOCW), 2014, : 237 - 244
[32] π-SPACE:: A formal architecture description language based on process algebra for evolving software systems
Chaudet, C
Oquendo, F
FIFTEENTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 245 - 248
[33] A formal concurrency model based architecture description language for synthesis of software development tools
Qin, W
Rajagopalan, S
Malik, S
ACM SIGPLAN NOTICES, 2004, 39 (07) : 47 - 56
[34] Importance Sampling Based Efficient Representation for Hypergraph Networks
Shao, Hao
Wang, Lun-Wen
Zhu, Ran-Gang
Liu, Hui
Ruan Jian Xue Bao/Journal of Software, 2024, 35 (09): : 4390 - 4407
[35] Formal Representation of Fuzzy Data Model Using Description Logic
Bhattacharya, Indira
Ghosh, Soumya K.
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT IV, 2013, 7974 : 108 - 119
[36] USE OF A FORMAL DESCRIPTION TECHNIQUE IN THE SPECIFICATION OF AUTHENTICATION PROTOCOLS
VARADHARAJAN, V
COMPUTER STANDARDS & INTERFACES, 1990, 9 (03) : 203 - 215
[37] Using weak bisimulation for enterprise integration architecture formal verification - I
Cachia, Ernest
Vella, Mark
ECBS 2007: 14TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS, 2007, : 63 - +
[38] Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL
Oquendo, Flavio
Legay, Axel
ERCIM NEWS, 2015, (102): : 25 - 27
[39] A UML-compatible formal language for system architecture description
Pradella, M
Rossi, M
Mandrioli, D
SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 234 - 246
[40] A Label is not enough - Approach for an Enterprise Architecture Role Description Framework
Thonssen, Barbara
von Dewitz, Mark
CENTERIS 2018 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2018 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2018 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, 2018, 138 : 409 - 416

← 1 2 3 4 5 →