Title :
Process modelling in information systems by formal nets
Author :
Yim, Pascal ; Cadivel, Christian ; Lefort, Arnaud
Author_Institution :
Lab. d´´Autom. et Inf. Ind., Ecole Centrale de Lille, Vileneuve d´´Ascq, France
Abstract :
We propose formal nets as a new processing model for information systems, allowing process abstraction, dynamic behavior and graphic representation. The main concepts lead to Petri nets, formal languages (Z) and constraint programming. Constraints arise in three levels: on places, on markings, and on transitions. A pedagogical example, the jugs problem, first introduces the basic notions, that are further formally defined by Z schemes. A complete specification of the IFIP case with formal nets is finally described
Keywords :
Petri nets; database management systems; formal languages; formal specification; information systems; modelling; Petri nets; constraint programming; database management systems; dynamic behavior; formal languages; formal nets; graphic representation; information systems; jugs problem; process abstraction; process modelling; Distributed databases; Formal languages; Graphics; Information systems; Logic programming; Natural languages; Object oriented databases; Object oriented modeling; Petri nets; Power system modeling;
Conference_Titel :
Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on
Print_ISBN :
0-7803-2559-1
DOI :
10.1109/ICSMC.1995.538117
