• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Redesign of a Systems Engineering Language - Formalisation of Chi

Victor Bos, Jeroen Klein, Redesign of a Systems Engineering Language - Formalisation of Chi. Formal Aspects of Computing 15(4), 370–389, 2003.

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-sigma. In particular, we elaborate on semantical aspects of chi's
time model.

BibTeX entry:

@ARTICLE{jBoKl03a,
  title = {Redesign of a Systems  Engineering Language - Formalisation of Chi},
  author = {Bos, Victor and Klein, Jeroen},
  journal = {Formal Aspects of Computing},
  volume = {15},
  number = {4},
  pages = {370–389},
  year = {2003},
  keywords = {Formal semantics - Industrial systems - Operational semantics - System analysis - Systems engineering - Verification},
}

Belongs to TUCS Research Unit(s): Software Construction Laboratorium

Publication Forum rating of this publication: level 2

Edit publication