PLC-statecharts: An approach to integrate umlstatecharts in open-loop control engineering
暂无分享,去创建一个
Birgit Vogel-Heuser | Daniel Witsch | Benjamin Kormann | Maria Ricken | B. Vogel‐Heuser | D. Witsch | Benjamin Kormann | Maria Ricken
[1] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[2] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .
[3] Henning Dierks. Comparing model checking and logical reasoning for real-time systems , 2004, Formal Aspects of Computing.
[4] Lionel C. Briand,et al. A Realistic Empirical Evaluation of the Costs and Benefits of UML in Software Maintenance , 2008, IEEE Transactions on Software Engineering.
[5] A. Srinivasan,et al. A Modeling Methodology for Empirically Studying User Behavior: The Case of UML Diagram Usage , 2008, EMMSAD.
[6] Krzysztof Sacha,et al. Translatable Finite State Time Machine , 2007, SDL Forum.
[7] Michael von der Beeck. A structured operational semantics for UML-statecharts , 2002, Software and Systems Modeling.
[8] Birgit Vogel-Heuser,et al. Close integration between UML and IEC 61131-3: New possibilities through object-oriented extensions , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.
[9] Georg Frey,et al. Design and formal analysis of Petri net based logic control algorithms = Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen , 2002 .
[10] Wang Yi,et al. Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.
[11] Henning Dierks,et al. Specification and verification of polling real time systems , 1999, Ausgezeichnete Informatikdissertationen.
[12] Wang Yi,et al. Timed vs. Time-Triggered Automata , 2004, CONCUR.
[13] Nancy A. Lynch,et al. The Theory of Timed I/o Automata , 2003 .