Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Towards an Agent-Oriented Framework for Specification of Information Systems

Stefan ConradContact Information, Gunter SaakeContact Information and Can TürkerContact Information

(3)  Institut für Technische und Betriebliche Informationssysteme, Otto-von-Guericke-Universität Magdeburg, Postfach 4120, D-39016 Magdeburg, Germany
Abstract
Objects in information systems usually have a very long lifespan. Therefore, it often happens that during the life of an object external requirements are changing, e.g. changes of laws. Such changes often require the object to adopt another behavior. In consequence, it is necessary to get a grasp of dynamically changing object behavior. Unfortunately, not all possible changes can in general be taken into account in advance at specification time. Hence, current object specification approaches cannot deal with this problem. Flexible extensions of object specification are needed to capture such situations.
The approach we present and discuss in this paper is an important step towards a specification framework based on the concept of agents by introducing a certain form of knowledge as part of the internal state of objects. Especially, we concentrate on the specification of evolving temporal behavior. For that, we propose an extension (called Evolving Temporal Logic) of classical temporal logic approaches to object specification.

Keywords  Modeling information systems - agent-oriented specification - dynamically changing behavior - evolving temporal logic

This research was partially supported by the CEC ESPRIT Basic Research Working Groups No. 8319 ModelAge and No. 22704 ASPIRE as well as by the Deutsche Forschungsgemeinschaft under Sa 465/19 (SAW).

Contact Information Stefan Conrad
Email: conrad@iti.cs.uni-magdeburg.de

Contact Information Gunter Saake
Email: saake@iti.cs.uni-magdeburg.de

Contact Information Can Türker
Email: tuerker@iti.cs.uni-magdeburg.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.107 • Server: mpweb05
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)