Process algebra for strongdynamic systemstrong modeling - TUe.pdfVIP

Process algebra for dynamic system modeling∗ 1 2 2 J.C.M. Baeten , D.A. van Beek , J.E. Rooda 1Department of Mathematics and Computer Science 2Department of Mechanical Engineering Eindhoven University of Technology, P.O.Box 513 5600 MB Eindhoven, The Netherlands {j.c.m.baeten,d.a.v.beek,j.e.rooda}@tue.nl Abstract Process algebra is the study of distributed or parallel systems by algebraic means. Originating in computer science, process algebra has been extended in recent years to encompass not just discrete event, reactive systems, but also continuously evolving phenomena, resulting in so-called hybrid process algebras. A hybrid process algebra can be used for the specification, simulation, control and verification of embedded systems in combination with their environment, and for any dynamic system in general. As the vehicle of our exposition, we use the hybrid process algebra χ (Chi). The syntax and semantics of χ are discussed, and it is explained how equational reasoning can simplify, among others, tool implementations for simulation and verification. Finally, a bottle filling line example is introduced to illustrate system analysis by means of equational reasoning. 1 Introduction 1.1 Definition Process algebra is the study of distributed or parallel systems by algebraic means. The word ‘process’ here refers to behavior of a system. A system is anything showing behavior, such as the execution of a software system, the actions of a machine or even the actions of a human being. Behavior is the total of events or actions that a system can perform, the ord