期刊
INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE
卷 2, 期 2, 页码 44-62出版社
IGI GLOBAL
DOI: 10.4018/jcini.2008040103
关键词
cognitive processes; denotational mathematics; knowledge engineering; intelligent systems; process algebra; RTPA; software engineering; system architectures; system behaviors; system modeling; system refinement; system specification; software systems
资金
- Natural Science and Engineering Council of Canada (NSERC)
Real-time process algebra (RTPA) is a denotational mathematical structure for denoting and manipulating system behavioral processes. RTPA is designed as a coherent algebraic system for intelligent and software system modeling, specification, refinement, and implementation. RTPA encompasses 17 metaprocesses and 17 relational process operations. RTPA can be used to describe both logical and physical models of software and intelligent systems. Logic views of system architectures and their physical platforms can be described using the same set of notations. When a system architecture is formally modeled, the static and dynamic behaviors performed on the architectural model can be specified by a three-level refinement scheme at the system, class, and object levels in a top-down approach. RTPA has been successfully applied in real-world system modeling and code generation for software systems, human cognitive processes, and intelligent systems.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据