Redesign of a Systems Engineering Language: Formalisation of χ |
| |
Authors: | Email author" target="_blank">Victor?BosEmail author Jeroen?Kleijn |
| |
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: | 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. |
| |
Keywords: | Formal semantics Industrial systems Operational semantics System analysis Systems engineering Verification |
本文献已被 SpringerLink 等数据库收录! |
|