Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press (1980)
Clarke, E.M., Wing, J.M.: Formal methods: State of the art and future directions. ACM Computing Surveys 28(4), 626–643 (1996)
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)
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)
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)
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)
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)
Pender, T.: UML Bible. John Wiley & Sons (2003)
Wolter, F., Wooldridge, M.: Temporal and dynamic logic. Journal of Indian Council of Philosophical Research 27(1), 249–276 (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Klimek, R., Faber, Ł., Kisiel-Dorohinicki, M. (2014). Deduction-Based Modelling and Verification of Agent-Based Systems for Data Integration. In: Gruca, D., Czachórski, T., Kozielski, S. (eds) Man-Machine Interactions 3. Advances in Intelligent Systems and Computing, vol 242. Springer, Cham. https://doi.org/10.1007/978-3-319-02309-0_39
Download citation
DOI: https://doi.org/10.1007/978-3-319-02309-0_39
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-02308-3
Online ISBN: 978-3-319-02309-0
eBook Packages: EngineeringEngineering (R0)