Title :
Support for representation of functional behaviour specifications in AP-233
Author :
Herzog, Erik ; Törne, Anders
Author_Institution :
Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
Abstract :
This paper discusses the topic of functional behaviour representations from a data exchange point of view. The motivation comes from our work with developing a standard information model for systems engineering data exchange-ISO 10303-233. In this setting it is not sufficient that the exchanged model displays the same behaviour as the original one. When possible, the structure of the original specification shall be maintained. The paper reviews behaviour formalisms identified as being relevant to systems engineering and discusses different options for supporting the behaviour formalisms in the IS010303-233 systems engineering data exchange information model. The structure of the functional behaviour part of the current version of the information model is also outlined
Keywords :
ISO standards; formal specification; systems engineering; AP-233; ISO 10303-233; behaviour formalisms; functional behaviour specifications; standard information model; systems engineering; systems engineering data exchange; Computer architecture; Electronic mail; Information science; Laboratories; Manufacturing; Object oriented modeling; Project management; Real time systems; Systems engineering and theory; Unified modeling language;
Conference_Titel :
Engineering of Computer Based Systems, 2000. (ECBS 2000) Proceedings. Seventh IEEE International Conference and Workshopon the
Conference_Location :
Edinburgh
Print_ISBN :
0-7695-0604-6
DOI :
10.1109/ECBS.2000.839895
