Abstract
Event-Condition-Action (ECA) rules are a widely used language for the high level specification of controllers in adaptive systems, such as Cyber-Physical Systems and smart environments, where devices equipped with sensors and actuators are controlled according to a set of rules. The evaluation and execution of every ECA rule is considered to be independent from the others, but interactions of rule actions can cause the system behaviors to be unpredictable or unsafe. Typical problems are in redundancy of rules, inconsistencies, circularity, or application-dependent safety issues. Hence, there is a need for coordination of ECA rule-based systems in order to ensure safety objectives. We propose a tool-supported method for verifying and controlling the correct interactions of rules, relying on formal models related to reactive systems, and Discrete Controller Synthesis (DCS) to generate correct rule controllers.
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
Beauvais, J.-R., Rutten, E., Gautier, T., Houdebine, R., Le Guernic, P., Tang, Y.-M.: Modeling statecharts and activitycharts as signal equations. ACM Transactions on Software Engineering and MethodologyĀ 10(4), 397ā451 (2001)
Delaval, G., Rutten, Ć., Marchand, H.: Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic SystemsĀ 23(4), 385ā418 (2013)
Dittrich, K., Gatziu, S., Geppert, A.: The Active Database Management System Manifesto: A Rulebase of ADBMS Features. In: Sellis, T.K. (ed.) RIDS 1995. LNCS, vol.Ā 985, pp. 1ā17. Springer, Heidelberg (1995)
Ericsson, A.: Enabling Tool Support for Formal Analysis of ECA Rules. Phd thesis, University of Skƶvde (2009)
Fleurey, F., Solberg, A.: A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. In: SchĆ¼rr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.Ā 5795, pp. 606ā621. Springer, Heidelberg (2009)
Gueye, S.M.K., de Palma, N., Rutten, E.: Component-based autonomic managers for coordination control. In: De Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol.Ā 7890, pp. 75ā89. Springer, Heidelberg (2013)
Guillet, S., Bouchard, B., Bouzouane, A.: Correct by construction security approach to design fault tolerant smart homes for disabled people. Procedia Computer ScienceĀ 21, 257ā264 (2013)
GĆ¼rgen, L., Cherbal, A., Sharrock, R., Honiden, S.: Autonomic management of heterogeneous sensing devices with ECA rules. In: 2011 IEEE International Conference on Communications Workshops (ICC), pp. 1ā5 (2011)
Halbwachs, N.: Synchronous Programming of Reactive Systems. Springer (2010)
Keeney, J., Cahill, V.: Chisel: a policy-driven, context-aware, dynamic adaptation framework. In: Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks, pp. 3ā14 (2003)
Lee, W., Lee, S., Lee, K.: Conflict Detection and Resolution method in WS-ECA framework. In: The 9th International Conference on Advanced Communication Technology, pp. 786ā791 (February 2007)
Marchand, H., Bournai, P., Borgne, M., Guernic, P.: Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic System: Theory and Applications, 1ā26 (2000)
Paschke, A.: ECA-RuleML: An approach combining ECA rules with temporal interval-based KR event/action logics and transactional update logics. Computer Research Repository, abs/cs/061 (2006)
Turker, C., Gertz, M.: Semantic Integrity Support in SQL-99 and Commercial Object- Relational Database Management Systems. The International Journal on Very Large Data BasesĀ 10(4), 241ā269 (2001)
Yoon, J.P.: Techniques for data and rule validation in knowledge based systems. In: Proceedings of the Fourth Annual Conference on Computer Assurance, āSystems Integrity, Software Safety and Process Security, pp. 62ā70 (1989)
Zhang, J., Cheng, B.: Specifying adaptation semantics. ACM SIGSOFT Software Engineering Notes, 1ā7 (2005)
Zhang, J., Cheng, B.: Model-based development of dynamically adaptive software. In: Proc. of the 28th International Conference on Software Engineering (2006)
Zhang, J., Moyne, J., Tilbury, D.: Verification of ECA rule based management and control systems. In: IEEE Int. Conf. Automation Science and Engineering (2008)
Zhao, M., Privat, G., Rutten, E., Alla, H.: Discrete Control for the Internet of Things and Smart Environments. In: Int. Workshop on Feedback Computing (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2014 IFIP International Federation for Information Processing
About this paper
Cite this paper
Cano, J., Delaval, G., Rutten, E. (2014). Coordination of ECA Rules by Verification and Control. In: KĆ¼hn, E., Pugliese, R. (eds) Coordination Models and Languages. COORDINATION 2014. Lecture Notes in Computer Science(), vol 8459. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-43376-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-662-43376-8_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-43375-1
Online ISBN: 978-3-662-43376-8
eBook Packages: Computer ScienceComputer Science (R0)