Redesign of a Systems Engineering Language: Formalisation of χ-Reference-Cited by-同舟云学术

Redesign of a Systems Engineering Language: Formalisation of χ

Published:2003-12 Issue:4 Volume:15 Page:370-389
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Bos Victor¹,Kleijn Jeroen²

Affiliation:

1. Software Construction Laboratory, Turku Centre for Computer Science (TUCS), Lemminkäisenkatu 14 A, 20520, Turku, Finland

2. Heineken Technical Services, Research & Development, Zoeterwoude, The Netherlands

Abstract

Abstract. This paper describes the redesign of a systems engineering language called χ. This is an engineering language designed to specify and analyse industrial systems. The main objective of this redesign was to enable mathematical reasoning about χ specifications. We discuss the original χ language, the requirements and design decisions, and the resulting syntax and semantics of the new version of χ, called χ. In particular, we elaborate on semantical aspects of χ’s time model.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s00165-003-0017-2.pdf

Reference47 articles.

1. Global renaming operators in concrete process algebra;Ba;Information and Computation,1988

2. Recursive process definitions with the state operator;Ba;Theoretical Computer Science,1991

3. Discrete time process algebra;Ba;Formal Aspects of Computing,1996

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Type-Based Verification of Delegated Control in Hybrid Systems;Lecture Notes in Computer Science;2024

2. Revisiting sequential composition in process calculi;Journal of Logical and Algebraic Methods in Programming;2015-11

3. A ground-complete axiomatization of stateless bisimilarity over Linda;Information Processing Letters;2015-02

4. Repairing time-determinism in the process algebra for hybrid systems ACPhssrt;Theoretical Computer Science;2012-08

5. Notions of bisimulation and congruence formats for SOS with data;Information and Computation;2005-07