RTPA

Author(s):  
Yingxu Wang

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.

2009 ◽  
pp. 2943-2962
Author(s):  
Yingxu Wang

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.


Author(s):  
Yingxu Wang ◽  
Cyprian F. Ngolah

The need for new forms of mathematics to express software engineering concepts and entities has been widely recognized. Real-time process algebra (RTPA) is a denotational mathematical structure and a system modeling methodology for describing the architectures and behaviors of real-time and nonrealtime software systems. This article presents an operational semantics of RTPA, which explains how syntactic constructs in RTPA can be reduced to values on an abstract reduction machine. The operational semantics of RTPA provides a comprehensive paradigm of formal semantics that establishes an entire set of operational semantic rules of software. RTPA has been successfully applied in real-world system modeling and code generation for software systems, human cognitive processes, and intelligent systems.


2009 ◽  
pp. 3340-3360
Author(s):  
Yingxu Wang ◽  
Cyprian F. Ngolah

The need for new forms of mathematics to express software engineering concepts and entities has been widely recognized. Real-time process algebra (RTPA) is a denotational mathematical structure and a system modeling methodology for describing the architectures and behaviors of real-time and nonreal-time software systems. This article presents an operational semantics of RTPA, which explains how syntactic constructs in RTPA can be reduced to values on an abstract reduction machine. The operational semantics of RTPA provides a comprehensive paradigm of formal semantics that establishes an entire set of operational semantic rules of software. RTPA has been successfully applied in real-world system modeling and code generation for software systems, human cognitive processes, and intelligent systems.


Author(s):  
Zhizhong Wang ◽  
Liangyao Yu ◽  
Ning Pan ◽  
Lei Zhang ◽  
Jian Song

The Distributed Electro-hydraulic Braking system (DEHB) is a wet type brake-by-wire system. As a safety critical automotive electrical and/or electronic (E/E) system, DEHB shall be designed under the guideline of ISO 26262 in order to avoid unreasonable risk due to the malfunctions in the item. This paper explores how the Automotive Safety Integrity Level (ASIL) decomposition in the concept phase is influenced by the system architectures of DEHB. Based on a typical hazardous event, analysis on DEHB with the same system architecture as the Electro-mechanical Braking system (EMB) is carried out, which is taken as the basis for comparison. Two types of DEHB with different system architectures are then analyzed. Results show that the adoption of hydraulic backup enables ASIL decomposition in the pedal unit. The adoption of both hydraulic backup and normally open balance valves offers the opportunity to perform ASIL decomposition in the brake actuator system of DEHB.


Author(s):  
Yujiang Li ◽  
Qiuling Huang ◽  
Mikael Hedlind ◽  
Gunilla Sivard ◽  
Magnus Lundgren ◽  
...  

Information management for manufacturing resources such as cutting tools is an important research topic in the context of cloud manufacturing. Vendors and customers usually use catalogues to communicate information for such manufacturing resource. Incompatibilities of information in syntax, semantics, and structure among supply chains often result in inefficient manual sharing and management of the catalogue information. It is difficult for cloud based applications to pool information from various sources. This communication failure calls for a system neutral solution for data modeling and exchange to enhance interoperability of the cutting tool catalogue information. Previous studies has present solutions for representation of the cutting tool information with STEP AP242 (ISO/DIS 10303-242) with semantic classification referring to a PLib (ISO 13584, Part Library) based dictionary. This approach can be extended for the catalogue modeling, due to functionalities for specification and configuration control of general product variants in the same standard. With a modeling approach with standardized information schemas, system architecture to guide implementation is proposed to enhance the communication in practice. Relative elements to represent vendors’ catalogues and customers’ requirements are modeled. Associations to the PLib-based dictionary complete semantics and enable information mapping between vendors and customers. Principles of the mapping are identified to facilitate implementation of related software systems. Prototypes are developed to verify the proposed system architecture. The proposed solution is promising to migrate to other types of products than cutting tools, because the data models are based on the general product models defined in AP242.


Author(s):  
Abraham Pouliakis ◽  
Stavros Archondakis ◽  
Efrossyni Karakitsou ◽  
Petros Karakitsos

Cloud computing is changing the way enterprises, institutions, and people understand, perceive, and use current software systems. Cloud computing is an innovative concept of creating a computer grid using the Internet facilities aiming at the shared use of resources such as computer software and hardware. Cloud-based system architectures provide many advantages in terms of scalability, maintainability, and massive data processing. By means of cloud computing technology, cytopathologists can efficiently manage imaging units by using the latest software and hardware available without having to pay for it at non-affordable prices. Cloud computing systems used by cytopathology departments can function on public, private, hybrid, or community models. Using cloud applications, infrastructure, storage services, and processing power, cytopathology laboratories can avoid huge spending on maintenance of costly applications and on image storage and sharing. Cloud computing allows imaging flexibility and may be used for creating a virtual mobile office. Security and privacy issues have to be addressed in order to ensure Cloud computing wide implementation in the near future. Nowadays, cloud computing is not widely used for the various tasks related to cytopathology; however, there are numerous fields for which it can be applied. The envisioned advantages for the everyday practice in laboratories' workflow and eventually for the patients are significant. This is explored in this chapter.


Author(s):  
Yingxu Wang ◽  
Xinming Tan ◽  
Cyprian F. Ngolah

Real-Time Process Algebra (RTPA) is a denotational mathematics for the algebraic modeling and manipulations of software system architectures and behaviors by the Unified Data Models (UDMs) and Unified Process Models (UPMs). On the basis of the RTPA specification and refinement methodologies, automatic software code generation is enabled toward improving software development productivity. This paper examines designing and developing the RTPA-based software code generator (RTPA-CG) that transfers system models in RTPA architectures and behaviors into C++ or Java. A two-phrase strategy has been employed in the design of the code generator. The first phrase analyzes the lexical, syntactical, and type specifications of a software system modeled in RTPA, which results in a set of abstract syntax trees (ASTs). The second phrase translates the ASTs into C++ or Java based on predesigned mapping strategies and code generation rules. The toolkit of RTPA code generator encompasses an RTPA lexer, parser, type-checker, and a code builder. Experimental results show that system models in RTPA can be rigorously processed and corresponding C++/Java code can be automatically generated using the toolkit. The code generated is executable and effective under the support of an RTPA run-time library.


Author(s):  
Giovanna Morgavi

Artifacts having to perform in the real world should be able to cope with uncertain situations and react quickly to changes in the environment. Living systems, starting from a pre-structured set of functions, develop competence to better adapt to the environment all life long, from childhood to maturity. This phenomenon is called growing up. A developmental intelligence for growing up robots must be able to generate autonomously representations for unknown knowledge and skills. Models of development can play an important role in specifying the minimal preferences, faculties, and processes needed for this skill to emerge. A perspective on the analysis of some adaptive learning processes originating from literature and experiments in natural world result in some suggestion intelligent system architecture modeling.


Author(s):  
Zhaohao Sun ◽  
Jun Han ◽  
Dong Dong ◽  
Shuliang Zhao

Trust is significant for sustainable development of e-commerce and has received increasing attention in e-commerce, multiagent systems (MAS), and artificial intelligence (AI). However, little attention has been given to the theoretical foundation and intelligent techniques for trust in e-commerce from a viewpoint of intelligent systems and engineering. This chapter will fill this gap by examining engineering of experience-based trust in e-commerce from the viewpoint of intelligent systems. It looks at knowledgebased trust, inference-based trust and their interrelationships with experience-based trust. It also examines scalable trust in e-commerce. It proposes a knowledge based model of trust in e-commerce and a system architecture for METSE: a multiagent system for experience-based trust in e-commerce. The proposed approach in this chapter will facilitate research and development of trust, multiagent systems, e-commerce and e-services.


Sign in / Sign up

Export Citation Format

Share Document