![KFU Logo](/ScientificJournal/Content/UserStyle/imgs/logo-ar-dark.png)
Scientific Journal Of King Faisal University
Basic and Applied Sciences
Scientific Journal of King Faisal University / Humanities and Management Sciences
INFORMATION SYSTEM DESIGN W
(Belkacem Koninav)Abstract
Different semantic models that take into account the dynamic aspect of information systems, have been suggested until now. Such models make it possible to improve the conceptual schemas by representing, in addition to the structure, the behavior of the system. Among the methods that suggest a dynamic model, we can mention ACM/PCM , REMORA, DADES , IDA ,... Unfortunately, there exist only few tools able to completely support the task of design while taking into account the dynamic aspect. This paper presents a software tool which is a conceptual help to the design process, that combines the NIAM and JSD methods in order to cover not only the static aspect (data) but also the dynamic aspect (processing+behavior) of the system. The validation of the specification in a rigourous way (automatically) is done in the formalism of Rewrite Logic.
PDF
References