Skip to main content
SpringerLink
Log in

Redesign of a Systems Engineering Language: Formalisation of χ

  • Published:
Formal Aspects of Computing

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

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

    Victor Bos

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

    Jeroen Kleijn

Authors
  1. Victor Bos
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jeroen Kleijn
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Victor Bos.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bos, V., Kleijn, J. Redesign of a Systems Engineering Language: Formalisation of χ. Formal Aspects of Computing 15, 370–389 (2003). https://doi.org/10.1007/s00165-003-0017-2

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00165-003-0017-2

Keywords

Search

Navigation