zbMATH — the first resource for mathematics

SHIP – a logic-based language and tool to program smart environments. (English) Zbl 06539461
Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-27435-5/pbk; 978-3-319-27436-2/ebook). Lecture Notes in Computer Science 9527, 313-328 (2015).
Summary: The increasing availability of smart objects demands for flexible mechanisms to orchestrate different types of these objects to smart environments. As smart objects are typically not aware of each other, an orchestrating platform has to manage common resources, to harmonize the individual behavior of the acting objects, and to combine their activities to an intelligent team work. This paper presents a corresponding framework to implement such an orchestrating platform. It provides a concurrent programming language representing states in Description Logics and state transitions as logical updates enabling deductive support to infer non-explicitly represented knowledge. It uses temporal logic to suspend execution of a process for a particular evolution of the global state that is specified by a LTL formula. Since a process can fork into subprocesses this provides a mechanism for runtime verification by splitting a process into a subprocess executing some critical program and another parallel subprocess monitoring the first one by waiting for the desired evolution of states specified in its LTL formula.
For the entire collection see [Zbl 1326.68017].
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Full Text: DOI
[1] Autexier, S., Hutter, D.: Constructive DL update and reasoning for modeling and executing the orchestration of heterogenous processes. In: 26th International Workshop on Description Logics (DL 2013). CEUR, vol. 1014 (2013)
[2] Autexier, S., Hutter, D., Stahl, C.: An implementation, execution and simulation platform for processes in heterogeneous smart environments. In: Augusto, J.C., Wichert, R., Collier, R., Keyson, D., Salah, A.A., Tan, A.-H. (eds.) AmI 2013. LNCS, vol. 8309, pp. 3–18. Springer, Heidelberg (2013) · Zbl 06396307 · doi:10.1007/978-3-319-03647-2_1
[3] Baader, F.: Ontology-based monitoring of dynamic systems. In: 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014). AAAI Press (2014)
[4] Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: first results. In: 20th National Conference on Artificial Intelligence, AAAI 2005. AAAI Press (2005)
[5] Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Ann. Math. Artif. Intell. 22, 5–27 (1998) · Zbl 1034.68549 · doi:10.1023/A:1018985923441
[6] Bauer, A., Falcone, Y.: Decentralised LTL monitoring. Arxiv preprint arXiv:1111.5133
[7] Doherty, P., Kvarnstr√∂m, J., Heintz, F.: A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems. Auton. Agents Multi-Agent Syst. 19(3), 332–377 (2009) · Zbl 05742575 · doi:10.1007/s10458-009-9079-8
[8] Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Knowledge Representation, KR 2006. AAAI Press (2006)
[9] Lamine, K.B., Kabanza, F.: History checking of temporal fuzzy logic formulas for monitoring behavioral-based mobile robots. In: IEEE International Conference on Tools with Artificial Intelligence (2000)
[10] Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: a logic programming language for dynamic domains. The Journal of Logic Programming 31(1–3), 59–83 (1997) · Zbl 0880.68008 · doi:10.1016/S0743-1066(96)00121-5
[11] Nakajima, T.: Case study of middleware infrastructure for ambient intelligence environments. In: Nakashima, H., Aghajan, H., Augusto, J.C. (eds.) Handbook of Ambient Intelligence and Smart Environments, pp. 229–256. Springer, Heidelberg (2010) · doi:10.1007/978-0-387-93808-0_9
[12] Pettersson, O.: Execution monitoring in robotics: a survey. Robot. Auton. Syst. 53, 73–88 (2005) · doi:10.1016/j.robot.2005.09.004
[13] Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: a practical owl-dl reasoner. J. Web Sem. 5(2), 51–53 (2007) · Zbl 05461213 · doi:10.1016/j.websem.2007.03.004
[14] Springer, T., Turhan, A.-Y.: Employing description logics in ambient intelligence for modeling and reasoning about complex situations. J. Ambient Intell. Smart Environ. 1(3), 235–259 (2009)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.