Communicating sequential processes
Communicating sequential processes
Design and validation of computer protocols
Design and validation of computer protocols
Process algebra
Handbook of logic in computer science (vol. 4)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Communication and Concurrency
Simulation of Manufacturing Systems
Simulation of Manufacturing Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A Discipline of Programming
A Process Algebra Based Verification of a Production System
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Hi-index | 0.00 |
The formal language χ Core is derived from the systems engineering specification language χ. The language has its roots in Mechanical Engineering where it was designed to specify and analyse production systems. These production systems are described by concurrent communicating processes and can be analysed with the χ simulator. χ Core is a formalisation and simplification of the semantics of the χ language. Our motivation to design χ Core is the lack of a properly defined semantics of the χ specification language itself and the need for improved opportunities for the analysis of production systems. The operational semantics of χ Core is defined in a standard SOS-style. A bisimulation on χ Core processes is defined and shown to be a congruence. Based on this bisimulation, properties and time aspects of χ Core processes are discussed. The relation between χ and χ Core is explained by means of a translation scheme. Finally, an example specification of a production system is given and conclusions are drawn.