Skip to main content
SpringerLink
Log in

Towards an Agent-Oriented Framework for Specification of Information Systems

  • Conference paper
  • First Online:
Formal Models of Agents (ModelAge 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1760))

Included in the following conference series:

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.

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).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. L. Brodie. The Promise of Distributed Computing and the Challenges of Legacy Systems. In P. M. Gray and R. J. Lucas, editors, Advanced Database Systems, Proc. of the 10th British National Conf. on Databases, BNCOD 10, Aberdeen, Scotland, July 1992, Lecture Notes in Computer Science, Vol. 618, pages 1–28. Springer-Verlag, Berlin, 1992.

    Google Scholar 

  2. A. P. Buchmann. Modeling Heterogeneous Systems as an Active Object Space. In Implementing Persistent Object Bases, Principles and Practice, Proc. of the 4th Int. Workshop on Persistent Object Systems, Martha’s Vineyard, MA, USA, September 23–27, 1990, pages 279–290. Morgan Kaufmann Publishers, San Mateo, CA, 1991.

    Google Scholar 

  3. S. Conrad. A Basic Calculus for Verifying Properties of Interacting Objects. Data & Knowledge Engineering, 18(2):119–146, March 1996.

    Article  MATH  Google Scholar 

  4. S. Conrad, J. Ramos, G. Saake, and C. Sernadas. Evolving Logical Specification in Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 7, pages 199–228, Kluwer Academic Publishers, Boston, 1998.

    Google Scholar 

  5. S. Conrad and G. Saake. Extending Temporal Logic for Capturing Evolving Behaviour. In Z.W. Raś and A. Skowron, editors, Foundations of Intelligent Systems (Proceedings, 10th International Symposium, ISMIS’97, Charlotte, North Carolina, USA, October 1997), Lecture Notes in Artificial Intelligence, Vol. 1325, pages 60–71. Springer-Verlag, Berlin, 1997.

    Google Scholar 

  6. J. Fiadeiro and T. Maibaum. Towards Object Calculi. In G. Saake and A. Sernadas, editors, Information Systems–Correctness and Reusability, Informatik-Bericht No. 91-3, pages 129–178, Technische Universität Braunschweig, 1991.

    Google Scholar 

  7. R. B. Feenstra and R. J. Wieringa. LCM 3.0: A Language for Describing Conceptual Models. Technical Report, Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam, 1993.

    Google Scholar 

  8. M. R. Genesereth and S. P. Ketchpel. Software Agents. Communications of the ACM, 37(7):48–53, July 1994.

    Article  Google Scholar 

  9. M. Huhns, M. P. Papazoglou, and G. Schlageter, editors. Proc. of the Int. Conf. Intelligent and Cooperating Information Systems, Rotterdam, The Netherlands. IEEE Computer Society Press, May 1993.

    Google Scholar 

  10. HSJ+94._T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94-03, Technische Universität Braunschweig, 1994.

    Google Scholar 

  11. A. Jones and M. Sergot. On the Characterisation of Law and Computer Systems: The Normative System Perspective. In J.-J. Ch. Meyer and R. J. Wieringa, editors, Deontic Logic in Computer Science: Normative System Specification, chapter 12, John Wiley & Sons, Inc., 1993.

    Google Scholar 

  12. R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Troll — A Language for Object-Oriented Specification of Information Systems. ACM Transactions on Information Systems, 14(2):175–211, April 1996.

    Article  Google Scholar 

  13. R. Jungclaus. Modeling of Dynamic Object Systems — A Logic-Based Approach. Advanced Studies in Computer Science. Vieweg-Verlag, Wiesbaden, 1993.

    MATH  Google Scholar 

  14. J.-J. Ch. Meyer. Modal Logics for Knowledge Representation. In R. P. van de Riet and R. A. Meersman, editors, Linguistic Instruments in Knowledge Engineering, pages 251–275. North-Holland, Amsterdam, 1992.

    Google Scholar 

  15. R. Reiter. Towards a Logical Reconstruction of Relational Database Theory. In M. L. Brodie, J. Mylopoulos, and J. W. Schmidt, editors, On Conceptual Modeling, pages 191–239, Springer-Verlag, New York, NJ, 1984.

    Google Scholar 

  16. M. Ryan. Defaults in Specifications. In A. Finkelstein, editor, Proc. of the IEEE Int. Symposium on Requirements Engineering (RE’93), San Diego, CA, pages 142–149, IEEE Computer Society Press, 1993.

    Google Scholar 

  17. M. Ryan. Belief Revision and Ordered Theory Presentation. In A. Fuhrmann and H. Rott, editors, Logic, Action and Information, De Gruyter Publishers, 1994.

    Google Scholar 

  18. G. Saake, S. Conrad, and C. Türker. From Object Specification towards Agent Design. In M. Papazoglou, editor, OOER’95: Object-Oriented and Entity-Relationship Modeling, Proc. of the 14th Int. Conf., Gold Coast, Australia, December 1995, Lecture Notes in Computer Science, Vol. 1021, pages 329–340. Springer-Verlag, Berlin, 1995.

    Google Scholar 

  19. Y. Shoham. Agent-Oriented Programming. Artificial Intelligence, 60(1):51–92, March 1993.

    Article  MathSciNet  Google Scholar 

  20. G. Saake, R. Jungclaus, and T. Hartmann. Application Modelling in Heterogeneous Environments Using an Object Specification Language. Int. Journal of Intelligent and Cooperative Information Systems, 2(4):425–449, 1993.

    Article  Google Scholar 

  21. A. Sernadas, C. Sernadas, and J. Costa. Object Specification Logic. Journal of Logic and Computation, 5(5):603–630, 1995.

    Article  MATH  MathSciNet  Google Scholar 

  22. A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P. M. Stocker and W. Kent, editors, Proc. of the 13th Int. Conf. on Very Large Data Bases (VLDB’87), Brighton, England, pages 107–116. Morgan Kaufmann Publishers, Los Altos, CA, September 1987.

    Google Scholar 

  23. SSG+91._A. Sernadas, C. Sernadas, P. Gouveia, P. Resende, and J. Gouveia. OBLOG — Object-Oriented Logic: An Informal Introduction. Technical Report, INESC, Lisbon, 1991.

    Google Scholar 

  24. G. Saake, A. Sernadas, and C. Sernadas. Evolving Object Specifications. In R. Wieringa and R. Feenstra, editors, Information Systems — Correctness and Reusability. Selected Papers from the IS-CORE Workshop, pages 84–99, World Scientific Publishing, Singapore, 1995.

    Google Scholar 

  25. C. Türker, S. Conrad, and G. Saake. Dynamically Changing Behavior: An Agent-Oriented View to Modeling Intelligent Information Systems. In Z. W. Raś and M. Michalewicz, editors, Foundations of Intelligent Systems, Proc. of the 9th Int. Symposium on Methodologies for Intelligent Systems, ISMIS’96, Zakopane, Poland, Lecture Notes in Artificial Intelligence, Vol. 1079, pages 572–581. Springer-Verlag, Berlin, June 1996.

    Google Scholar 

  26. C. Türker, G. Saake, and S. Conrad. Modeling Database Federations in Terms of Evolving Agents. In F. Pin, Z. W. Ras, and A. Skowron, editors, ISMIS 1997 — Poster Proceedings of the 10th Int. Symposium on Methodologies for Intelligent Systems, Charlotte, North Carolina, October 15–18, 1997, pages 197–208, Oak Ridge National Laboratory, 1997.

    Google Scholar 

  27. C. Türker, G. Saake, and S. Conrad. Requirements for Agent-based Modeling of Federated Database Systems (Extended Abstract). In A. Cesta and P.-Y. Schobbens, editors, ModelAge 97, Proc. of the 4th ModelAge Workshop on Formal Models of Agents, Certosa di Pontignano, Italy, January 15–17, 1997, pages 335–343, National Research Council of Italy, Institute of Psychology, 1997.

    Google Scholar 

  28. M. J. Wooldridge and N. R. Jennings. Agents Theories, Architectures, and Languages: A Survey. In M. J.Wooldridge and N. R. Jennings, editors, Intelligent Agents, Proc. of the ECAI’94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 1994, Lecture Notes in Artificial Intelligence, Vol. 890, pages 1–39. Springer-Verlag, Berlin, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Technische und Betriebliche Informationssysteme, Otto-von-Guericke-Universität Magdeburg, Postfach 4120, D-39016, Magdeburg, Germany

    Stefan Conrad, Gunter Saake & Can Türker

Authors
  1. Stefan Conrad
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gunter Saake
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Can Türker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Utrecht University, Padualaan 14, De Uithof, 3508 TB, Utrecht, The Netherlands

    John-Jules Ch. Meyer

  2. Institut d’Informatique, Rue Grandgagnage 21, 5000, Namur, Belgium

    Pierre-Yves Schobbens

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Conrad, S., Saake, G., Türker, C. (1999). Towards an Agent-Oriented Framework for Specification of Information Systems. In: Meyer, JJ.C., Schobbens, PY. (eds) Formal Models of Agents. ModelAge 1997. Lecture Notes in Computer Science(), vol 1760. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46581-2_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-46581-2_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67027-8

  • Online ISBN: 978-3-540-46581-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation