until further notice
SourceLecture Notes in Computer Science, 2222, Part I Soc, (2002), pp. 17-32
Article / Letter to editor
Display more detailsDisplay less details
SW OZ DCC AI
SW OZ NICI KI
Lecture Notes in Computer Science
iss. Part I Soc
SubjectCognitive artificial intelligence
The main question addressed in this paper is how requirements on the dynamics within an organization model can be specified and how the dy-namics within such an organization can be formally analysed. A specification language is proposed, and a number of different types of requirements for dy-namics at different levels in the organization are identified. Based on a logical analysis and a software environment to check requirements against traces of the dynamics, a diagnostic method is proposed to analyse the malfunctioning of an organization, and pinpoint causes of malfunctioning.
This item appears in the following Collection(s)
- Non RU Publications 
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.