NDLI: Specification of design patterns using real-time process algebra (RTPA)

Content Provider	IEEE Xplore Digital Library
Author	Nguyen-Cong Vu Yingxu Wang
Copyright Year	2004
Description	Author affiliation: Dept. of Comput. Sci. & Software Eng., Nong Lam Univ., Ho Chi Minh City, Vietnam (Nguyen-Cong Vu)
Abstract	Real-time process algebra (RTPA) is used to describe design patterns formally and explicitly in order to enhance the understandability of their semantics and to facilitate the development of support tools. Design patterns can be specified formally in RTPA by three parts known as the architecture, static and dynamic behaviors. At the architectural level, components and their relations are described. Then the components are refined further to have their own architecture and behaviors. By using this specification process, a pattern is refined from its conceptual model to detailed architectures and behaviors. The formal description of patterns in RTPA extends the visual and textual representations, and allows developers to comprehend the usage of a pattern and to implement it by any programming language without ambiguity. In this paper, the Observer and Abstract Factory patterns are chosen for our case studies to illustrate the expressive power of RTPA in specifying design patterns. The formal approach shows that architectures, static and dynamic behaviors of software patterns can be rigorously described by RTPA. Relationships between the formal and informal models of design patterns are comparatively analyzed. The method developed in this paper can be applied to the existing and/or future design patterns in software engineering.
Sponsorship	Cisco Syst. General Elec. Ryerson Univ. AVFX Audio Visual Bell Canada Dofasco Dye & Durham Gennum Corp. IEEE Canada Found. Univ. of Toronto Niagara College of Appl. Arts and Technol
Starting Page	1545
Ending Page	1548
File Size	385371
Page Count	4
File Format	PDF
ISBN	0780382536
ISSN	08407789
DOI	10.1109/CCECE.2004.1349701
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2004-05-02
Publisher Place	Canada
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Algebra Object oriented modeling Software engineering Software design Real time systems Cities and towns Computer languages Computer architecture Computer science Drives
Content Type	Text
Resource Type	Article
Subject	Electrical and Electronic Engineering Hardware and Architecture

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Formal models of object-oriented patterns using RTPA

Formalization of UML Models by RTPA

RTPA: a new approach to real-time system specification

Formal description of an ATM system by RTPA

Transformation of UML Models into Formal RTPA Specifications

An operational semantics for RTPA

Design of a parser for real-time process algebra

Formal Specification and Representation of Design Patterns Using RTPA

Specification of abstract data types using real-time process algebra (RTFA)

Specification of design patterns using real-time process algebra (RTPA)

Similar Documents

Formal models of object-oriented patterns using RTPA

Formalization of UML Models by RTPA

RTPA: a new approach to real-time system specification

Formal description of an ATM system by RTPA

Transformation of UML Models into Formal RTPA Specifications

An operational semantics for RTPA

Design of a parser for real-time process algebra

Formal Specification and Representation of Design Patterns Using RTPA

Specification of abstract data types using real-time process algebra (RTFA)

Specification of design patterns using real-time process algebra (RTPA)