Title :
A multiformalism approach to formalize intelligent cooperative information systems
Author :
Bachatene, H. ; Seghrouchni, A. E Fallah
Author_Institution :
Lab. MASI, Inst. IBP, Paris, France
Abstract :
We present a multiformalism approach combining knowledge structure and intelligent cooperation, to formalize cooperative information systems. The underlying architecture encourages formalism and tool interoperability. The basic building block is the knowledge base society, specified by the modeling-unit model. Cooperation is managed by an intelligent control, by means of meta knowledge and specific problem solving strategies. Communication relies on service delimitation from internal structure. Dynamics is expressed with production rules in a constraint specification language. A translation method derives colored Petri nets describing system´s behavior
Keywords :
Petri nets; cooperative systems; distributed processing; graph colouring; information systems; knowledge based systems; open systems; problem solving; basic building block; colored Petri nets; constraint specification language; decomposition problem solving; distributed artificial intelligence; intelligent control; intelligent cooperative information systems; internal structure; knowledge base society; knowledge partitioning; knowledge structure; meta knowledge; modeling-unit model; multiformalism approach; problem solving strategies; production rules; service delimitation; system behavior; tool interoperability; translation method; underlying architecture; Artificial intelligence; Information systems; Intelligent structures; Intelligent systems; Management information systems; Object oriented modeling; Petri nets; Problem-solving; Production; Specification languages;
Conference_Titel :
Intelligent and Cooperative Information Systems, 1993., Proceedings of International Conference on
Conference_Location :
Rotterdam
Print_ISBN :
0-8186-3135-X
DOI :
10.1109/ICICIS.1993.291774
