A new process algebra more suitable for formal specification

2021 ◽  
Author(s):  
Wenguang Ju
Keyword(s):  
Formal Specification ◽  
Process Algebra ◽  
New Process

scholarly journals A Calculus for Reconfigurable Component-Based Systems

2004 ◽  
Vol 7 (2) ◽  
Author(s):  
Cidcley Teixeira de Souza ◽  
Paulo Roberto Freire Cunha
Keyword(s):  
Formal Specification ◽  
Process Algebra ◽  
Reconfigurable Systems ◽  
Formal Specifications ◽  
Configuration Languages

The concept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper, we propose to deal with reconfiguration abstraction also in the formal specification level. We show that the process algebra 1⁄4-calculus, widely applied to specify composable systems, is not suitable to capture all the properties required by these kinds of systems. To deal with these restrictions of 1⁄4, we propose the R1⁄4-calculus. R1⁄4 is a 1⁄4-calculus extension that uses the concept of components as unit of specification. Its semantics allows for the reconfiguration of formal specifications in the same way configuration languages do.

Formal Specification and Design

1992 ◽  
Author(s):  
L. M. G. Feijs ◽  
H. B. M. Jonkers
Keyword(s):  
Formal Specification

Remarkable Art Casting by a New Process

1916 ◽  
Vol 114 (9) ◽  
pp. 225-225
Author(s):  
Robert G. Skerritt
Keyword(s):  
New Process

Steel Wheels by a New Process

1919 ◽  
Vol 120 (25) ◽  
pp. 650-651
Author(s):  
E. F. Cone
Keyword(s):  
New Process
Sign in / Sign up

Export Citation Format

Share Document