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.
|
 |
Towards an Agent-Oriented Framework for Specification of Information Systems
| |
|
Towards an Agent-Oriented Framework for Specification of Information Systems
Stefan Conrad3 , Gunter Saake3 and Can Türker3 
| (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).
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|