A multiformalism approach to formalize intelligent cooperative information systems

Author

Bachatene, H. ; Seghrouchni, A. E Fallah

Author_Institution

Lab. MASI, Inst. IBP, Paris, France

fYear

1993

fDate

12-14 May 1993

Firstpage

13

Lastpage

22

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent and Cooperative Information Systems, 1993., Proceedings of International Conference on

Conference_Location

Rotterdam

Print_ISBN

0-8186-3135-X

Type

conf

DOI

10.1109/ICICIS.1993.291774

Filename

291774