Real-Time Process Algebra and its applications

被引：0

作者：

Wang, YX ^{[1
]}

机构：

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

来源：

FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT | 2003年 / 2757卷

关键词：

software engineering; descriptive mathematics; formal methods; real-time systems; algebraic specification; 3-D problems; architecture specification; static/dynamic behaviors specification;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

It is recognized that human and system behaviors may be modeled by a 3-D process comprising actions, time, and space. Software behaviors, similarly, can be modeled in the three dimensions known as the mathematical operations, event/process timing, and memory manipulation. This paper introduces Real-Time Process Algebra (RTPA) as a coherent software engineering notation system. RTPA is used to address the 3-D problem in software system description and specification in terms of architecture, static and dynamic behaviors. Case studies on applications of RTPA in real-time system modeling and specification are provided in this paper with real-world examples.

引用

页码：322 / 336

页数：15

共 50 条

[21] Real-time fringe analysis for interferometry and its applications
Kato, Jun-Ichi
Seimitsu Kogaku Kaishi/Journal of the Japan Society for Precision Engineering, 1998, 64 (09): : 1289 - 1293
[22] Interpretive real-time linux interface and its applications
Zhaoqing Wang
Nestinger, Stephen S.
Cheng, Harry H.
Proctor, Frederick M.
PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE 2005, VOL 3, PTS A AND B, 2005, : 601 - 607
[23] Model Checking of Real-Time Properties of Resource-Bound Process Algebra
Park, Junkil
Lee, Jungjae
Choi, Jin-Young
Lee, Insup
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2009, E92A (11) : 2781 - 2789
[24] Discrete Real-Time and Stochastic-Time Process Algebra for Performance Analysis of Distributed Systems
Markovski, J.
de Vink, E. P.
2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2008, : 180 - 189
[25] IEC 61131 and DSDM in real-time process control applications
Barritt, D
COMPUTING & CONTROL ENGINEERING JOURNAL, 2002, 13 (02): : 94 - 100
[26] Real-time dynamic simulator applications for process engineering and control
Valluri, S
Barker, M
Miller, C
PROCEEDINGS OF THE INDUSTRIAL & BUSINESS SIMULATION SYMPOSIUM, 1999, : 62 - 67
[27] APPLICATION-ORIENTED REAL-TIME ALGEBRA
BRADLEY, S
HENDERSON, W
KENDALL, D
ROBSON, A
SOFTWARE ENGINEERING JOURNAL, 1994, 9 (05): : 201 - 212
[28] Real-time automata and the Kleene algebra of sets of real numbers
Dima, C
STACS 2000: 17TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 2000, 1770 : 279 - 289
[29] Real applications and real benefits in real-time
Handby, GT
AM/FM INTERNATIONAL CONFERENCE XIX, PROCEEDINGS - THRIVING IN AN AGE OF COMPETITION, 1996, : 165 - 171
[30] A Model for Real-Time Systems Using Multi-Cost Timed Process Algebra
Guo, Zhuo
Qiao, Jianzhong
Lin, Shukuan
PROCEEDINGS OF 2ND CONFERENCE ON LOGISTICS, INFORMATICS AND SERVICE SCIENCE (LISS 2012), VOLS 1 AND 2, 2013,

← 1 2 3 4 5 →