2,683 Hits in 4.2 sec

Statecharts: a visual formalism for complex systems

David Harel
1987 Science of Computer Programming  
We also discuss some practical experience that was gained over the last three years in applying the statechart formalism to the specification of a particularly complex system. ' This rather mundane name  ...  We present a broad extension of the conventional formalism of state machines and state diagrams, that is relevant to the specification and design of complex discrete-event systems, such as multi-computer  ...  Statecharts constitute a visual formalism for describing states and transitions in a modular fashion, enabling clustering, orthogonality (i.e., concurrency) and refinement, and encouraging 'zoom' capabilities  ... 
doi:10.1016/0167-6423(87)90035-9 fatcat:o6gnog35wrdozao3j242aa3stq

Biocharts: a visual formalism for complex biological systems

H. Kugler, A. Larjo, D. Harel
2009 Journal of the Royal Society Interface  
of a system increases.  ...  We propose a two-tier compound visual language, which we call Biocharts, that is geared towards building fully executable models of biological systems.  ...  We thank the anonymous reviewers for valuable comments on the manuscript. Part of this work was carried out during A.L.'s internship at Microsoft Research, Cambridge, UK.  ... 
doi:10.1098/rsif.2009.0457 pmid:20022895 pmcid:PMC2880074 fatcat:s4kwu5547jhb5p43rcorstqyoq

Statechart Development Beyond WYSIWYG [chapter]

Steffen Prochnow, Reinhard von Hanxleden
2007 Lecture Notes in Computer Science  
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices.  ...  Statecharts are often more intuitively understandable than equivalent textual descriptions, and their animated simulation can help to visualize complex behaviors.  ...  We also thank Ken Bell and the anonymous reviewers for helpful comments on this paper. Finally, we thank the students participating in the experimental study for their support and interest.  ... 
doi:10.1007/978-3-540-75209-7_43 fatcat:njigz32tbvf45mfhi4zni7dm4q

Repast Simphony Statecharts

Jonathan Ozik, Nicholson Collier, Todd Combs, Charles M. Macal, Michael North
2015 Journal of Artificial Societies and Social Simulation  
In addition to agent state and behavioral logic representation, visual statecharts can also be useful for monitoring agent status during a simulation, quickly conveying the underlying dynamics of complex  ...  Statecharts are a software engineering design methodology and an explicit visual and logical representation of the states of system components and the transitions between those states.  ...  and other, in order to capture the essential elements of a complex system.  ... 
doi:10.18564/jasss.2840 fatcat:seftwxeyfrbh3bsjjnyb4sd2ae

Extending the statechart formalism

Arthur Allen, Dennis de Champeaux
1995 Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications - OOPSLA '95  
Harel, "Statecharts: A Visual Formalism for Complex Systems", sci. Comuut. Prog. , 231-274, 1987. [Hare194+] D. Harel, E. Gery, M.  ...  Introduction Having to specify only what a software system is supposed to do and avoiding the details of how a system works has been for many years, and still is, an elusive goal. 00 has made progress  ... 
doi:10.1145/217838.217840 dblp:conf/oopsla/AllenC95 fatcat:xsd5j7edbjh7zlinnaogojebny

Statecharts in the making

David Harel
2007 Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III  
The main novelty of the language is in being a fully executable visual formalism intended for capturing the behavior of complex real-world systems, and an interesting aspect of its history is that it illustrates  ...  The story is told in a way that puts statecharts into perspective and discusses the role of the language in the emergence of broader concepts, such as visual formalisms in general, reactive systems, model-driven  ...  The process of writing of this paper was supported in part by the John von Neumann Center for the Development of Reactive Systems at the Weizmann Institute, and by grants from Minerva and the Israel Science  ... 
doi:10.1145/1238844.1238849 dblp:conf/hopl/Harel07 fatcat:2qolzqsh4bcmnebspuh3mdjwea

Reconciling statechart semantics

Rik Eshuis
2009 Science of Computer Programming  
Statecharts are a visual technique for modelling reactive behaviour. Over the years, a plethora of statechart semantics have been proposed.  ...  Moreover, we show that for a subset of these constraints, a slight variation of the Statemate semantics coincides for linear stuttering-closed properties with the UML semantics.  ...  Acknowledgments I would like to thank the referees for their constructive comments.  ... 
doi:10.1016/j.scico.2008.09.001 fatcat:lgmx7t6az5depnwdtsdmafq7we

Model Checking for Timed Statecharts [chapter]

Junyan Qian, Baowen Xu
2005 Lecture Notes in Computer Science  
Timed automata corresponding to timed Statecharts was also discussed. Introduction Statecharts [1] is a visual language for specifying the behavior of complex reactive system.  ...  The translation rules are shown by a compositional approach for formalizing the timed Statecharts semantics directly on sequences of micro steps.  ...  AND, OR and BASIC states form a tree structure and this hierarchy allows for stepwise refinement of the behavior of complex systems.  ... 
doi:10.1007/11562436_20 fatcat:rt6356ldnje7xhsdlnfgkqzum4

Verifying Statecharts with State Invariants

Emil Sekerinski
2008 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008)  
Statecharts are an executable visual language for specifying the reactive behavior of systems.  ...  We propose to statically verify the design expressed by a statechart by allowing individual states to be annotated with invariants and checking the consistency of the invariants with the transitions.  ...  Statecharts are such a "visual language" for specifying the reactive behavior of systems [11] .  ... 
doi:10.1109/iceccs.2008.40 dblp:conf/iceccs/Sekerinski08 fatcat:egimzb34qrdmfdelqcodxegh7q

Statecharts via Process Algebra [chapter]

Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
1999 Lecture Notes in Computer Science  
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority.  ...  Despite its popularity a s a design notation for embedded systems, precisely de ning its semantics has proved extremely challenging.  ...  Conclusions and Future Work This paper presented a process-algebraic approach to de ning a compositional semantics for Statecharts.  ... 
doi:10.1007/3-540-48320-9_28 fatcat:2iuqtti25jhdzfutamh4dwiz5y

The Gamma statechart composition framework

Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró
2018 Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18  
The behavior of each component is captured by a statechart, while assembling the system from components is driven by a domain-specific composition language.  ...  The Gamma Statechart Composition Framework is an integrated tool to support the design, verification and validation as well as code generation for component-based reactive systems.  ...  Special thanks to Tamás Tóth for his initial contributions to the Gamma Statechart Language and István Ráth and Ákos Hajdu for their valuable advice.  ... 
doi:10.1145/3183440.3183489 dblp:conf/icse/MolnarGVMV18 fatcat:ajonndsqavhjra46e4ibq3s2dq

Extending statecharts with temporal logic

A. Sowmya, S. Ramesh
1998 IEEE Transactions on Software Engineering  
An existing specification language, statecharts, is used to specify the behavior of real-time reactive systems, while a new logic-based language called FNLOG (based on first-order predicate calculus and  ...  It is shown that both types of system properties are expressible in FNLOG and may be verified by logical deduction, and also hold for the corresponding behavior specification.  ...  Isaac, formerly of the Department of Computer Science and Engineering, Indian Institute of Technology, Bombay, for acting as a sounding board for many ideas in this paper.  ... 
doi:10.1109/32.667880 fatcat:l2xjpjo3l5fmnlmmavdyd4z6oa

Integrating Statechart Components in Polyglot [chapter]

Daniel Balasubramanian, Corina S. Păsăreanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael Lowry, Michael W. Whalen
2012 Lecture Notes in Computer Science  
Statecharts is a model-based formalism for simulating and analyzing reactive systems.  ...  However, for systems containing communicating, asynchronous components deployed on a distributed platform, additional features not inherent to the basic Statecharts paradigm are needed.  ...  These extensions are a connector framework for modeling communication, a scheduling framework for sequencing component execution and a method for specifying properties spanning multiple, asynchronous components  ... 
doi:10.1007/978-3-642-28891-3_26 fatcat:3fzykdm7ojeshdmu2dxp62uini

Statechartable Petri nets

Rik Eshuis
2011 Formal Aspects of Computing  
Petri nets and statecharts can model concurrent systems in a succinct way.  ...  The translation is proven sound and complete for statechartable Petri nets.  ...  Petri nets and statecharts are two visual formalisms that extend finite state machines with constructs for modelling concurrency in a succinct way.  ... 
doi:10.1007/s00165-011-0204-5 fatcat:q2xhpfcy4vhifnsljuscszswtm

iState: A Statechart Translator [chapter]

Emil Sekerinski, Rafik Zurob
2001 Lecture Notes in Computer Science  
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages.  ...  The notions of representable, normalized, and legal statecharts are introduced, where normalized statecharts appear as an intermediate representation and code is generated only for legal statecharts.  ...  We are grateful to the reviewers for their careful comments. References  ... 
doi:10.1007/3-540-45441-1_28 fatcat:w3dl5sdhejhuxdowoxzqnfqpna
« Previous Showing results 1 — 15 out of 2,683 results