Abstract
Chemical-based coordination models have proven useful to engineer self-organising and self-adaptive systems. Formal assessment of emergent global behaviours in self-organising systems is still an issue, most of the time emergent properties are being analysed through extensive simulations. This paper aims at integrating logic programs into a chemical-based coordination model in order to engineer self-organising systems as well as assess their emergent properties. Our model is generic and accommodates various logics. By tuning the internal logic language we can tackle and solve coordination problems in a rigorous way, without renouncing to important engineering properties such as compactness, modularity and reusability of code. This paper discusses our logic-based coordination model and shows how to engineer and verify a simple pattern detection example and a gradient-chemotaxis example.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Apt, K.R., van Emden, M.H.: Contributions to the theory of logic programming. J. ACM 29(3), 841–862 (1982)
Banâtre, J.P., Le Métayer, D.: The gamma model and its discipline of programming. Sci. Comput. Program. 15(1), 55–77 (1990)
Berry, G., Boudol, G.: The chemical abstract machine. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1990, pp. 81–94. ACM (1990)
Castelli, G., Mamei, M., Rosi, A., Zambonelli, F.: Pervasive middleware goes social: The sapere approach. In: Proceedings of the 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2011, pp. 9–14 (2011)
Ciancarini, P., Franzè, F., Mascolo, C.: A coordination model to specify systems including mobile agents. In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, IEEE Computer Society, Washington, DC (1998)
De Angelis, F.L., Di Marzo Serugendo, G.: Towards a logic and chemical based coordination model (2015), https://archive-ouverte.unige.ch/
Denti, E., Natali, A., Omicini, A., Venuti, M.: Logic tuple spaces for the coordination of heterogeneous agents. In: Baader, F., Schulz, K.U. (eds.) Proceedings of 1st International Workshop (FroCoS 1996) Frontiers of Combining Systems, Applied Logic Series, Munich, Germany, March 26–29, vol. 3, pp. 147–160. Kluwer Academic Publishers (1996)
Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Commun. ACM 22(8) (1979)
Emden, M.H.V., Kowalski, R.A.: The semantics of predicate logic as a programming language. Journal of the ACM 23, 569–574 (1976)
Fernandez-Marquez, J.L., Di Marzo Serugendo, G., Montagna, S., Viroli, M., Arcos, J.L.: Description and composition of bio-inspired design patterns: a complete overview. Natural Computing 12(1), 43–67 (2013)
Fitting, M.: Fixpoint semantics for logic programming a survey. Theoretical Computer Science 278(1-2), 25–51 (2002), Mathematical Foundations of Programming Semantics 1996
Kowalski, R.: Algorithm = logic + control. Commun. ACM 22(7), 424–436 (1979)
Kowalski, R., Kuehner, D.: Linear Resolution with Selection Function. Artificial Intelligence 2(3-4), 227–260 (1971)
Nilsson, U., Maluszynski, J.: Logic, Programming, and PROLOG, 2nd edn. John Wiley & Sons, Inc., New York (1995)
Omicini, A., Denti, E.: From tuple spaces to tuple centres. Science of Computer Programming 41(3), 277–294 (2001)
Viroli, M., Casadei, M., Omicini, A.: A framework for modelling and implementing self-organising coordination. In: Shin, S.Y., Ossowski, S., Menezes, R., Viroli, M. (eds.) 24th Annual ACM Symposium on Applied Computing (SAC 2009), March 8-12, vol. III, pp. 1353–1360. ACM, Honolulu (2009)
Vitória, A., Maluszyński, J., Szałas, A.: Modeling and reasoning in paraconsistent rough sets. Fundamenta Informaticae 97(4), 405–438 (2009)
Zambonelli, F., Omicini, A., Anzengruber, B., Castelli, G., Angelis, F.L.D., Serugendo, G.D.M., Dobson, S., Fernandez-Marquez, J.L., Ferscha, A., Mamei, M., Mariani, S., Molesini, A., Montagna, S., Nieminen, J., Pianini, D., Risoldi, M., Rosi, A., Stevenson, G., Viroli, M., Ye, J.: Developing pervasive multi-agent systems with nature-inspired coordination. Pervasive and Mobile Computing 17, 236–252 (2015); Special Issue 10 years of Pervasive Computing In Honor of Chatschik Bisdikian
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 IFIP International Federation for Information Processing
About this paper
Cite this paper
De Angelis, F.L., Di Marzo Serugendo, G. (2015). Logic Fragments: A Coordination Model Based on Logic Inference. In: Holvoet, T., Viroli, M. (eds) Coordination Models and Languages. COORDINATION 2015. Lecture Notes in Computer Science(), vol 9037. Springer, Cham. https://doi.org/10.1007/978-3-319-19282-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-19282-6_3
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19281-9
Online ISBN: 978-3-319-19282-6
eBook Packages: Computer ScienceComputer Science (R0)