Using Java Enums to Implement Concurrent-Hierarchical State Machines
نویسندگان
چکیده
منابع مشابه
Hierarchical Concurrent Finite State Machines in Ptolemy
tics. For example, the co-design finite state machines We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is successfully integrated with synchronous dataflow (SDF) and discrete-event (DE) concurrency domains in Ptolemy. In this heterogeneous combination, the semantics of FSM, c...
متن کاملTowards Verified Java Code Generation from Concurrent State Machines
We present work in progress on, verified, transformation of a modeling language based on communicating concurrent state machines, slco, to Java. Some concurrency related challenges, related to atomicity and non-standard fairness issues, are pointed out. We discuss solutions based on Java synchronization concepts.
متن کاملAn object-oriented implementation of concurrent and hierarchical state machines
Context: State machine diagrams are a powerful means to describe the behavior of reactive systems. Unfortunately, the implementation of state machines is difficult, because state machine concepts, like states, events and transitions, are not directly supported in commonly used programming languages. Most of the implementation approaches known so far have one or more serious drawbacks: they are ...
متن کاملInvestigating Java Concurrency Using Abstract State Machines
We present a mathematically precise, platform-independent model of Java concurrency using the Abstract State Machine method. We cover all aspects of Java threads and synchronization, gradually adding details to the model in a series of steps. We motivate and explain each concurrency feature, and point out subtleties, inconsistencies and ambiguities in the o cial, informal Java speci cation.
متن کاملTimed Concurrent State Machines
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidencebased (rather than interleaving) CSM modeling technique. TCSM support the idea of testing automata, allowing to specify time properties easier than temporal formulas. Also, calculation of a global state space in realtime domain is defined for TCSM, allowing to store a system in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software Engineering
سال: 2010
ISSN: 1819-4311
DOI: 10.3923/jse.2010.215.230