Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Intelligent Agents for Telecommunication Applications

IATA 1998: Intelligent Agents for Telecommunication Applications pp 156–170Cite as

Agent metaphors for analysing telematic services

  • Conference paper
  • First Online:

  • 96 Accesses

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

Abstract

Using as little mathematical detail as possible, we present the use of transformations between process related languages and dynamic entity-relationship models. The work incorporates our earlier research in schema integration and the integration of multi-agent architecture designs to handle problematic cases of global inconsistency in distributed information systems. The verification methods in first order logic (FOL) presented here are generally applicable to the analysis of conflicts in process based systems. Agents are a useful metaphor for handling asynchronous processes in contexts such as telecommunications. Although the application here is one of telephonic services, the general framework when applied to agent architectures is equally suitable for extended services such as decision making agents as the basis for intelligent home services. Telia Research AB (previously Swedish Telecom) commissioned this work, the implementation of which was used to detect interferences to Telia's public telematic services.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S. & Vianu, V. “Equivalence and Optimization of Relational Transactions”, Journal of ACM, 35(1), pp. 130–145, 1988.

    Article  MathSciNet  Google Scholar 

  2. Aho, A. V. & Ullman, J. D. The Theory of Parsing, Translation, and Compiling, Prentice-Hall 1972.

    Google Scholar 

  3. Batini, C., Lenzerini, M. & Navathe, S. B. “A Comparative Analysis of Methodologies for Database Schema Integration”, ACM Computing Surveys, vol. 18, no. 4, pp. 323–364, 1986.

    Article  Google Scholar 

  4. Beiina, F., Hogrefe, D. & Amardeo, S. SDL with Applications from Protocol Specification, Carl Hanser Verlag and Prentice Hall International (UK), 1991.

    Google Scholar 

  5. Biskup, J. & Convent, B. “A Formal View Integration Method”, in International Conference on the Management of Data, Washington, ACM, 1986.

    Google Scholar 

  6. Boman, M., Bubenko, J., Johannesson, P. Conceptual Modelling. Prentice Hall. 1997

    Google Scholar 

  7. CCITT Recommendation Z.100: Specification and Description Language SDL (Blue Book, Volume X.1-X.5, 1988, ITU General Secretariat-Sales Section, Places des Nations, CH-1211 Geneva 20).

    Google Scholar 

  8. Dayal, U. & Hwang, H.-Y. “View Definition and Generalisation for Database Integration in a Multidatabase System”, IEEE Transactions on Software Engineering, vol. SE-10, no. 6, pp. 628–644, 1984.

    Article  Google Scholar 

  9. M. Danielson and Ekenberg L., “A Framework for Analysing Decisions under Risk,” to appear in European Journal of Operations Research, 1998.

    Google Scholar 

  10. Davies, G, R. “A Pilot Study of a Translation from SDL-88 to a Language for Conceptual Modelling”, technical report, Telia Research AB. Stockholm 1996.

    Google Scholar 

  11. Dreben, B. & Goldfarb, W. D. “The Decision Problem: Solvable Classes of Quantification Formulas”, Reading, Mass, Addison-Wesley, 1979.

    Google Scholar 

  12. Ekenberg L. and Johannesson, P. “A Formal Basis for Dynamic Schema Integration,” Proceedings of 15th International Conference on Conceptual Modelling ER'96, pp.211–226, LNCS, 1996.

    Google Scholar 

  13. Ekenberg L., M. Danielson, and M. Boman, “From Local Assessments to Global Rationality,” International Journal of Intelligent and Co-operative Information Systems, vol. 5, Nos. 2 & 3, pp.315–331, 1996.

    Google Scholar 

  14. SDeLphi: Detection of service interference through the use of formal methods, Ed. Ekenberg, L., technical report NP-K-LE-OO5, Telia Research AB, Logikkonsult NP AB, 1996.

    Google Scholar 

  15. SDeLphi: Detection of service interference through the use of formal methods, Ed. Ekenberg, L., technical report NP-K-LE-OO5, Telia Research AB, Logikkonsult NP AB, 1996.

    Google Scholar 

  16. Ekenberg L., M. Danielson, and M. Boman, “Imposing Security Constraints on Agent-Based Decision Support,” Decision Support Systems International Journal, vol.20, No.1, pp.3–15, 1997.

    Article  Google Scholar 

  17. Ekenberg L., “Goal-Conflicts between Decision Making Agents,” to appear in Journal of Logic and Computation, 1998.

    Google Scholar 

  18. Ekenberg L. and Johannesson, P. “Detecting Temporal Agent Conflicts” submitted

    Google Scholar 

  19. Heinrich, R., Pospiech, F. “Control Flow Analysis — A New Approach for Avoiding the State Space Explosion Problem”, Journal: Informatik, Informationen Reporte No. 10, pp 115–123, 1990.

    Google Scholar 

  20. Holzmann, G.J. “Practical Methods for the Formal Validation of SDL Specifications”, Computer Communications., Vol. 15 No 2, pp. 129–134, 1992.

    Article  Google Scholar 

  21. Johannesson, P. “A Logic Based Approach to Schema Integration”, in 10th International Conference on Entity-Relationship Approach, Ed. T. Teorey, San Francisco, North-Holland, 1991.

    Google Scholar 

  22. Johannesson, P. “A Logical Basis for Schema Integration”, in Third International Workshop on Research Issues in Data Engineering — Interoperability in Multidatabase Systems, Ed. H. Schek, Vienna, IEEE Press, 1993.

    Google Scholar 

  23. Kraus, S., Ephrati, E., Lehmann, D. “Negotiation in a non-cooperative environment. Journal of Experimental and Theoretical Artificial Intelligence, 3(4):255–282, 1991

    Google Scholar 

  24. Larson, J. A., Navathe, S. & ElMasri., R. “A Theory of Attribute Equivalence in Databases with Applications to Schema Integration”, IEEE Transactions on Software Engineering, vol. 15, no. 4, pp. 449–463, 1989.

    Article  MATH  Google Scholar 

  25. Kuwabara K., Lesser, V.R, “Extended Protocol for Multistage Negotiation” Proceedings of the Ninth Workshop on Distributed Artificial Intelligence, pp 129–161, Rosario, Washington, 1989.

    Google Scholar 

  26. Stålmarck, G., Widebäck, F. “Definition av Delphi” Logikkonsult NP AB, 1991

    Google Scholar 

  27. Rao, A. S, Georgeff M. P, “BDI Agents: From Theory to Practice” Proceedings: First International Conference on Multi-Agent Systems, pp. 313–319, 1995.

    Google Scholar 

  28. Rosenschein, J.S, Zlotkin, G, “Rules of Encounter”, The MIT Press, 1994

    Google Scholar 

  29. Moses, Y, Tennenholtz, M. Artificial social systems part1: Basic principles. Technical Report CS90-12, Weizmann Institute, 1990.

    Google Scholar 

  30. Shoham, Y. “Agent-Oriented Programming”, Artificial Intelligence, vol. 60, pp. 51–92, 1993.

    Article  MathSciNet  Google Scholar 

  31. Shoham, Y, Tennenholtz, M. On social laws for artificial agent societies: Off-line design. Artificial Intelligence, 1993.

    Google Scholar 

  32. Stålmarck, G., Ekenberg, L., Berg, S., Olsson, I. & Nordberg, F. Pilot study of formal analysis of service interaction, validation and verification, Telia Research AB, 1996.

    Google Scholar 

  33. Sycara, K.P. “Resolving Goal Conflicts via Negotiations” Proceedings of the Seventh National conference on artificial Intelligence, pp 245–250, St. Paul Minnesota, 1988.

    Google Scholar 

  34. Widebäck, F. “The Graphical Notation of Delphi”, Logikkonsult NP AB, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Technology (ITE), Mid-Sweden University, S-85170, Sundsvall, Sweden

    Guy Davies & Love Ekenberg

Authors
  1. Guy Davies
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Love Ekenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Sahin Albayrak Francisco J. Garijo

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Davies, G., Ekenberg, L. (1998). Agent metaphors for analysing telematic services. In: Albayrak, S., Garijo, F.J. (eds) Intelligent Agents for Telecommunication Applications. IATA 1998. Lecture Notes in Computer Science, vol 1437. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053951

Download citation

  • DOI: https://doi.org/10.1007/BFb0053951

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64720-1

  • Online ISBN: 978-3-540-69102-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation