Deduction-Based Modelling and Verification of Agent-Based Systems for Data Integration

  • Radosław KlimekEmail author
  • Łukasz Faber
  • Marek Kisiel-Dorohinicki
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 242)


The work concerns the application of multi-agent systems to heterogeneous data integration, and shows how agent approach can be subjected to formal verification using a deductive approach. Since logical specifications are difficult to specify manually, a method for an automatic extraction of logical specifications, considered as a set of temporal logic formulae, is proposed. A simple example is provided.


multi-agent systems formal verification deductive reasoning activity diagrams workflows patterns temporal logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Agarwal, S., Haase, P.: Process-based integration of heterogeneous information sources. In: Dadam, P., Reichert, M. (eds.) INFORMATIK 2004 - Informatik verbindet (Band 2): Proceedings der 34. Jahrestagung der Gesellschaft für Informatik (GI). Lecture Notes in Informatics, pp. 164–169 (2004)Google Scholar
  2. 2.
    Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press (1980)Google Scholar
  3. 3.
    Clarke, E.M., Wing, J.M.: Formal methods: State of the art and future directions. ACM Computing Surveys 28(4), 626–643 (1996)CrossRefGoogle Scholar
  4. 4.
    Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 995–1072. Elsevier, MIT Press (1990)Google Scholar
  5. 5.
    Hergula, K., Härder, T.: A middleware approach for combining heterogeneous data sources - integration of generic query and predefined function access. In: Proceedings of the 1st International Conference on Web Information Systems Engineering (WISE 2000), vol. 1, pp. 26–33. IEEE Computer Society (2000)Google Scholar
  6. 6.
    Klimek, R.: A deduction-based system for formal verification of agent-ready web services. In: Barbucha, D., Thanh Le, M., Howlett, R.J., Jain, L.C. (eds.) Advanced Methods and Technologies for Agent and Multi-Agent Systems. Frontiers in Artificial Intelligence and Applications, vol. 252, pp. 203–212. IOS Press (2013)Google Scholar
  7. 7.
    Li, S., Zhang, D.H., Zhou, J.T., Ma, G.H., Yang, H.: An xml-based middleware for information integration of enterprise heterogeneous systems. Materials Science Forum 532-533, 516–519 (2006)CrossRefGoogle Scholar
  8. 8.
    Nawarecki, E., Dobrowolski, G., Byrski, A., Kisiel-Dorohinicki, M.: Agent-based integration of data acquired from heterogeneous sources. In: International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2011), pp. 473–477. IEEE Computer Society (2011)Google Scholar
  9. 9.
    Pender, T.: UML Bible. John Wiley & Sons (2003)Google Scholar
  10. 10.
    Wolter, F., Wooldridge, M.: Temporal and dynamic logic. Journal of Indian Council of Philosophical Research 27(1), 249–276 (2011)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Radosław Klimek
    • 1
    Email author
  • Łukasz Faber
    • 1
  • Marek Kisiel-Dorohinicki
    • 1
  1. 1.AGH University of Science and TechnologyKrakowPoland

Personalised recommendations