Abstract
This paper describes an extension of UML statecharts, called K-statechart, suitable for the formal specification, modeling, and runtime verification of system behavior that depends on knowledge and belief in distributed multi-agent systems. With K-statecharts, statechart transition guards allow the use of knowledge-logic formulae, a form of modal logic used for reasoning about multi-agent systems. We demonstrate the proposed formalism using an example of a multi-agent system that consists of three traffic-light controllers. We also describe a newly developed K-statechart code generator that is part of the StateRover Eclipse-IDE plug-in for statechart-based modeling and formal specification.
The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of the U.S. Government. The U.S. Government is authorized to reproduce and distribute reprints for Government purposes notwithstanding any copyright annotations thereon.
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
Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231–274 (1987)
Drusinsky, D.: Modeling and Verification Using UML Statecharts. Elsevier Publishing, Burlington (2006)
Rescher, N.: Epistemic Logic: A Survey Of the Logic Of Knowledge. University of Pittsburgh Press, Pittsburgh (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Drusinsky, D., Shing, MT. (2009). Using UML Statecharts with Knowledge Logic Guards . In: Schürr, A., Selic, B. (eds) Model Driven Engineering Languages and Systems. MODELS 2009. Lecture Notes in Computer Science, vol 5795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04425-0_45
Download citation
DOI: https://doi.org/10.1007/978-3-642-04425-0_45
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04424-3
Online ISBN: 978-3-642-04425-0
eBook Packages: Computer ScienceComputer Science (R0)