Support for representation of functional behaviour specifications in AP-233

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.

[1]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[2]  Jfe Johnson.  4.3.1 The SEDRES Project (Systems Engineering Data Representation And Exchange Standardisation); Producing A Data Exchange Standard Supporting Integrated Systems Engineering , 1998 .

[3]  James E. Long.  7.4.2 RELATIONSHIPS BETWEEN COMMON GRAPHICAL REPRESENTATIONS USED IN SYSTEM ENGINEERING , 1995 .

[4]  Erik Herzog,et al.  1 Towards a Standardised Systems Engineering Information Model , 1999 .

[5]  Wolter J. Fabrycky,et al.  Systems engineering and analysis , 1981 .

[6]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[7]  James L. Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[8]  Michael D. Rice,et al.  A Formal Model for Module Interconnection Languages , 1994, IEEE Trans. Software Eng..

[9]  Richard Stevens,et al.  Systems engineering : coping with complexity , 1998 .

[10]  Timothy P. Kelliher,et al.  Engineering Complex Systems With Models and Objects , 1997 .

[11]  David Harel,et al.  On visual formalisms , 1988, CACM.

[12]  Luciano Lavagno,et al.  Deriving Petri Nets for Finite Transition Systems , 1998, IEEE Trans. Computers.

[13]  Mack W. Alford.  A Requirements Engineering Methodology for Real-Time Processing Requirements , 1977, IEEE Transactions on Software Engineering.

[14]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[15]  Erik Herzog,et al.  A seed for a STEP application protocol for systems engineering , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[16]  Ian Sommerville,et al.  Requirements Engineering: Processes and Techniques , 1998 .