Redesign of a Systems Engineering Language - Formalisation of Chi

V. Bos; J.J.T. Kleijn

doi:10.1007/s00165-003-0017-2

Redesign of a Systems Engineering Language - Formalisation of Chi

V. Bos
, J.J.T. Kleijn

Mathematics and Computer Science

Research output: Contribution to journal › Article › Academic › peer-review

8 Citations (Scopus)

Abstract

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

Original language	English
Pages (from-to)	370-389
Journal	Formal Aspects of Computing
Volume	15
Issue number	4
DOIs	https://doi.org/10.1007/s00165-003-0017-2
Publication status	Published - 2003

Access to Document

10.1007/s00165-003-0017-2

Cite this

@article{a01e0dd743d74cf884ca5569db469f52,

title = "Redesign of a Systems Engineering Language - Formalisation of Chi",

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

author = "V. Bos and J.J.T. Kleijn",

year = "2003",

doi = "10.1007/s00165-003-0017-2",

language = "English",

volume = "15",

pages = "370--389",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery, Inc.",

number = "4",

}

TY - JOUR

T1 - Redesign of a Systems Engineering Language - Formalisation of Chi

AU - Bos, V.

AU - Kleijn, J.J.T.

PY - 2003

Y1 - 2003

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

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

U2 - 10.1007/s00165-003-0017-2

DO - 10.1007/s00165-003-0017-2

M3 - Article

SN - 0934-5043

VL - 15

SP - 370

EP - 389

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 4

ER -

Redesign of a Systems Engineering Language - Formalisation of Chi

Abstract

Access to Document

Fingerprint

Cite this