Winfried Felser

  • Citations Per Year
Learn More
The upcoming ISO standard EXPRESS has been dened as a data speci cation language for the use within STEP. EXPRESS supports the modeling of static structural relationships and consistency constraints whereas the applicability of EXPRESS for the modeling of behavior is very limited. Thus, at present there is an ongoing discussion by which means EXPRESS should(More)
In this paper we present EXPRESS{P, an extension of EXPRESS for process modeling and monitoring. Our extension inherits concepts of the formal languages SDL (CCITT Standard), Estelle (ISO Standard), and GRAPES{86. EXPRESS{P comes with a graphical representation which covers the process modeling. The language is presented in syntactical detail. A nal example(More)
The upcoming ISO standard EXPRESS has been de-ned as a data speciication language for the use within STEP. EXPRESS supports the modeling of static structural relationships and consistency constraints whereas the applicability of EXPRESS for the modeling of behavior is very limited. Thus, at present there is an ongoing discussion by which means EXPRESS(More)
  • 1