Using UML statecharts with knowledge logic guards

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5795 LNCS, Issue , 2009, Pages 586-590

  Drusinsky, Doron ^a   Shing, Man Tak ^a  

^a The Department of Electrical and Computer Engineering   (United States)

Author keywords

Adaptive behavior; Formal specification; K statechart; Knowledge logic; Runtime verification

Indexed keywords

ADAPTIVE BEHAVIOR; CODE GENERATORS; DISTRIBUTED MULTIAGENT SYSTEMS; FORMAL SPECIFICATION; LOGIC FORMULAS; MODAL LOGIC; PLUG-INS; RUN-TIME VERIFICATION; STATE CHARTS; SYSTEM BEHAVIORS; UML STATECHARTS;

LINGUISTICS; MODELS; MULTI AGENT SYSTEMS; SPECIFICATIONS;

MATHEMATICAL MODELS;

EID: 77249119415     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04425-0_45     Document Type: Conference Paper

References (3)

1. Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231-274 (1987)
2. Drusinsky, D.: Modeling and Verification Using UML Statecharts. Elsevier Publishing, Burlington (2006)
3. Rescher, N.: Epistemic Logic: A Survey of the Logic of Knowledge. University of Pittsburgh Press, Pittsburgh (2005)