A Basis for Integration within Enterprise Modelling

ion level of primitives of semantic models [HuKi87], [PeMa88], [RBPEL91] or some knowledge representation methods [Brach79] is much more higher compared to traditional logic formalisms. They have been developed to capture some meaning as well as structure of data. Characteristic feature of rules defined in business modelling level[Gust94a] is that they abstract from any particular logical data representation aspect, while concentrating on epistemological [Brach79]aspects which are common to all logical representations [Dietz91]. Although business modelling level rules are much more readable and understandable for human beings, there is no complete understanding of rationales behind goals. Business rules are of interest because they capture semantics of goals. Goals are important [DLF93] in several aspects: 1) goals may motivate completeness of specified changes of requirements, or may provide some help in detection overspecifications, i.e. to discover requirements which have no motivat..