Abstract
System designers are expected to use error-detecting and correcting techniques. Although, model checking approaches have been used for verification of errors in large complex systems, they can only detect the error. the task of correcting the system design (called model update) is completely left to the system designer. Recent works on model update can suggest changes in the system model which do not consider domain contingencies and constraints. In this paper, we present a model update approach that can be used to automatically suggest modifications in a system based on the actions that are behind state transitions and a set of domain constraints. We claim that with this approach we can develop more realistic system error-correcting tools.
Keywords
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
Buccafurri, F., Eiter, T., Gottlob, G., Leone, N.: Enhancing model checking in verification by AI techniques. J. Artif. Intell. 112, 57–104 (1999)
Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
Harris, H., Ryan, M.: Theoretical foundations of updating systems. In: 18th IEEE International Conference on Automated Software Engineering, pp. 291–294 (2003)
Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: 2nd International Conference on the Principles of Knowledge Representation and Reasoning, pp. 387–394 (1991)
Kripke, S.: Semantical Considerations on Modal Logic. J. Acta Philosophica Fennica 16, 83–94 (1963)
Müller-Olm, M., Schmidt, D., Steffen, B.: Model-Checking: A Tutorial Introduction. In: Cortesi, A., Filé, G. (eds.) SAS 1999. LNCS, vol. 1694, pp. 330–354. Springer, Heidelberg (1999)
Pereira, S.L., Barros, L.N.: A logic-based agent that plans for extended reachability goals. Journal Autonomous Agents and Multi-Agent Systems 16, 327–344 (2008)
Pnueli, A.: The temporal logic of programs. In: 18th Symposium Foundations of Computer Science, pp. 46–57 (1977)
Winslett, M.: Reasoning about action using a possible models approach. In: 7th American Association for Artificial Intelligence, pp. 89–93 (1988)
Zhang, Y., Ding, Y.: CTL Model Update for System Modifications. J. Artif. Int. Res. 31, 113–155 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Menezes, M.V., do Lago Pereira, S., de Barros, L.N. (2010). System Design Modification with Actions. In: da Rocha Costa, A.C., Vicari, R.M., Tonidandel, F. (eds) Advances in Artificial Intelligence – SBIA 2010. SBIA 2010. Lecture Notes in Computer Science(), vol 6404. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16138-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-16138-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16137-7
Online ISBN: 978-3-642-16138-4
eBook Packages: Computer ScienceComputer Science (R0)