Formalisation of a production system modelling language : the operational semantics of Chi core

V. Bos, J.J.T. Kleijn

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
2 Downloads (Pure)

Abstract

The formal language c Core is derived from the systems engineering specification language c. 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 c simulator. c Core is a formalisation and simplification of the semantics of the c language. Our motivation to design c Core is the lack of a properly defined semantics of the c specification language itself and the need for improved opportunities for the analysis of production systems. The operational semantics of c Core is defined in a standard SOS-style. A bisimulation on c Core processes is defined and shown to be a congruence. Based on this bisimulation, properties and time aspects of c Core processes are discussed. The relation between c and c Core is explained by means of a translation scheme. Finally, an example specification of a production system is given and conclusions are drawn.
Original languageEnglish
Pages (from-to)367-392
Number of pages26
JournalFundamenta Informaticae
Volume41
Issue number4
Publication statusPublished - 2000

Fingerprint Dive into the research topics of 'Formalisation of a production system modelling language : the operational semantics of Chi core'. Together they form a unique fingerprint.

  • Cite this