Formal specification and representation of design patterns using RTPA

被引：0

作者：

Huang, Jian ^{[1
]}

Wang, Yingxu ^{[1
]}

机构：

[1] Univ Calgary, Dept Elect & Comp Engn, Theoret & Empir Software Engn Res Ctr, 2500 Univ Dr NW, Calgary, AB T2N 1N4, Canada

来源：

PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, VOLS 1 AND 2 | 2006年

基金：

加拿大自然科学与工程研究理事会;

关键词：

cognitive informatics; software engineering; design patterns; formal method; unified model of patterns; RTPA;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Software patterns are recognized as an ideal documentation of expert knowledge in software design and development. However, its formal model and rigorous semantics have never been generalized and matured. The traditional UML specification and some formal specification attempts cannot capture the essence of generic patterns precisely, understandably, and essentially. A generic model of patterns is presented in this paper using Real-Time Process Algebra (RTPA). The formal model of patterns are more readable and highly generic, which can be used as the meta model to denote any design patterns deductively, and can be translated into code in programming languages by supporting tools. This work reveals that a pattern is a highly complicated and dynamic structure of software design encapsulation, because of its complex and flexible internal associations between multiple abstract classes and instantiations. The generic model of patterns is not only applicable to existing patterns' description and comprehension, but also useful for future patterns' identification and formalization.

引用

页码：370 / 379

页数：10

共 50 条

[21] A formal approach for SOA Design Patterns Composition [J].

Tounsi, Imen ;

Hadj Kacem, Mohamed ;

Hadj Kacem, Ahmed ;

Drira, Khalil .

2015 IEEE/ACS 12TH INTERNATIONAL CONFERENCE OF COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2015,

[22] Security Protocol For Distributed Networks using Formal Method Specification [J].

Nandewal, Arun ;

Mahendra, Deepesh ;

Chandrasekaran, K. .

2016 3RD INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING AND COMMUNICATION SYSTEMS (ICACCS), 2016,

[23] Formal Specification of Asynchronous Checkpointing using Event-B [J].

Singh, Natthan ;

Chandra, Manik ;

Yadav, Divakar .

2015 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTER ENGINEERING AND APPLICATIONS (ICACEA), 2015, :659-664

[24] Designing Verifiable and Reusable Data Access Layer Using Formal Methods and Design Patterns [J].

Sohail, Faheem ;

Zubairi, Farooq ;

Sabir, Nabeel ;

Zafar, Nazir Ahmad .

2009 INTERNATIONAL CONFERENCE ON COMPUTER MODELING AND SIMULATION, PROCEEDINGS, 2009, :167-172

[25] Design of an integrated hyper specification documentation tool [J].

Huang, Jian ;

Wang, Yingxu .

PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, VOLS 1 AND 2, 2006, :248-254

[26] Formal Specification for Online Food Ordering System using Z language [J].

Saratha, P. ;

Uma, G. V. ;

Santhosh, B. .

2017 SECOND INTERNATIONAL CONFERENCE ON RECENT TRENDS AND CHALLENGES IN COMPUTATIONAL MODELS (ICRTCCM), 2017, :343-348

[27] Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain [J].

Wang, Yingxu .

INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE, 2008, 2 (04) :15-28

[28] Formal Specification of a Particular Banking Domain with RAISE Specification Language [J].

Nami, Mohammad Reza ;

Malekpour, Abbas .

2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, :7-+

[29] Mining Data Wrangling Workflows for Design Patterns Discovery and Specification [J].

Almasaud, Abdullah ;

Sampaio, Sandra ;

Sampaio, Pedro .

INFORMATION SYSTEMS FRONTIERS, 2024,

[30] Formal specification of a real-time lift dispatching system [J].

Wang, YX ;

Ngolah, FC .

IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, :669-674

← 1 2 3 4 5 →