Second Asia-Pacific Software Engineering Conference (APSEC'95)
Expressing Inter-Perspective Relationships: A Logical Approach
Brisbane, Australia
December 06-December 09
ISBN: 0-8186-7171-8
The requirement engineering activity (for composite systems) implies the existence of several viewpoints on the software to be designed. The specifications will be issued from those different perspectives which complement but also contradict each other. Notably each perspective may be specified using a particular language. Consequently the central problem is to express links between those perspectives, i.e. the specification fragments. This article outlines a multi-agent system for expressing the inter-perspective relationships. Each perspective is associated with an agent. The distributed artificial intelligence (DAI) framework allows to represent links between pers\-pectives and to represent the dynamics of those links. Notably, our multi-agent system can represent temporal constraints on the dynamics of the relations between the agents and then between the perspectives. To this end we characterize the inter-perspective relationships. A logical approach of these relationships based on temporal logic is then presented and discussed.
Index Terms:
Requirement Engineering, Viewpoints, Perspectives, Inter-perspective relationships, Distributed Artificial Intelligence, Temporal logic
Citation:
Laurent Perrussel, "Expressing Inter-Perspective Relationships: A Logical Approach," apsec, pp.58, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995