Formal Foundation for Pattern-Based Modelling

被引：0

作者：

Bottoni, Paolo ^{[1
]}

Guerra, Esther ^{[2
]}

de Lara, Juan ^{[3
]}

机构：

[1] Univ Roma La Sapienza, Rome, Italy

[2] Univ Carlos III Madrid, Madrid, Spain

[3] Univ Autonoma Madrid, Madrid, Spain

来源：

FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS | 2009年 / 5503卷

关键词：

DESIGN PATTERNS; SPECIFICATION;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present a new visual and formal approach to the specification of patterns, supporting pattern analysis and pattern-based model completion. The approach is based on graphs, morphisms and operations from category theory and exploits triple graphs to annotate model elements with pattern roles. Novel in our proposal is the possibility of describing (nested) variable submodels, as well as inter-pattern synchronization across several diagrams (e.g. class and sequence diagrams for UML design patterns). We illustrate the approach on UML design patterns, and discuss its generality and applicability on different types of patterns, e.g. workflow patterns using Coloured Petri nets.

引用

页码：278 / +

页数：2

共 50 条

[1] A Pattern-Based Approach to Formal Specification Construction
Wang, Xi
Liu, Shaoying
Miao, Huaikou
SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 159 - +
[2] A language-independent and formal approach to pattern-based modelling with support for composition and analysis
Bottoni, Paolo
Guerra, Esther
de Lara, Juan
INFORMATION AND SOFTWARE TECHNOLOGY, 2010, 52 (08) : 821 - 844
[3] A rigorous foundation for pattern-based design models
Kim, SK
Carrington, D
ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 242 - 261
[4] Pattern-Based Conceptual Data Modelling
Albdaiwi, Bader
Noack, Rene
Thalheim, Bernhard
INFORMATION MODELLING AND KNOWLEDGE BASES XXVI, 2014, 272 : 1 - 20
[5] Pattern-Based ETL Conceptual Modelling
Oveira, Bruno
Santos, Vasco
Belo, Orlando
MODEL AND DATA ENGINEERING, MEDI 2013, 2013, 8216 : 237 - 248
[6] Formal verification of the value pattern-based translation algorithm
Kim, Jinhyung
Jeong, Dongwon
Baik, Doo-Kwon
DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2007, 14 : 1359 - 1363
[7] Pattern-based Topics for Document Modelling in Information Filtering
Gao, Yang
Xu, Yue
Li, Yuefeng
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2015, 27 (06) : 1629 - 1642
[8] Pattern-based Modelling, Integration, and Deployment of Microservice Architectures
Yussupov, Vladimir
Breitenbucher, Uwe
Krieger, Christoph
Leymann, Frank
Soldani, Jacopo
Wurster, Michael
2020 IEEE 24TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE (EDOC 2020), 2020, : 40 - 50
[9] Developing basis for pattern-based urban modelling and simulation
Zyla, Michal
PRAXIS OF URBAN MORPHOLOGY, PT 2, 2023, : 492 - 503
[10] Pattern-based Approach to Modelling and Verifying System Security
Zheng, Xiaoyu
Liu, Dongmei
Zhu, Hong
Bayley, Ian
2020 14TH IEEE INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED SYSTEM ENGINEERING (SOSE 2020), 2020, : 92 - 102

← 1 2 3 4 5 →