A Hybrid State Machine Notation for Component Specification
نویسنده
چکیده
A wide range of software units can be classified as state machines. We extend conventional state machine notations by adding regular expressions of events and unions of source states to state machine transitions. Reusable software components are generated from these extended state machine specifications. Component specification and generation are illustrated in Java.
منابع مشابه
PREDICTION OF SLOPE STABILITY STATE FOR CIRCULAR FAILURE: A HYBRID SUPPORT VECTOR MACHINE WITH HARMONY SEARCH ALGORITHM
The slope stability analysis is routinely performed by engineers to estimate the stability of river training works, road embankments, embankment dams, excavations and retaining walls. This paper presents a new approach to build a model for the prediction of slope stability state. The support vector machine (SVM) is a new machine learning method based on statistical learning theory, which can so...
متن کاملAn Object-Oriented Testing Framework Specified in Z Notation
Many researches to testing object-oriented programs (OOPs) have been proposed for the past decade. However, most of these researches have centered only around the class-level testing instead of the whole profiles of OOP development. This paper presents a framework to test OOPs from em formal specification to em test data generation. The formal specification of object-oriented program is specifi...
متن کاملViability in Hybrid Systems
Hybrid systems are interacting systems of digital automata and continuous plants subject to disturbances. The digital automata are used to force the state trajectory of the continuous plant to obey a performance specification. For the basic concepts and notation for hybrid systems, see Kohn and Nerode (1993), and other papers in the same volume. Here we introduce tools for analyzing enforcing v...
متن کاملApplied Informatics by
After years of dominance, classic desktop-based WIMP (Windows, Icons, Menus, Pointer) systems are slowly being replaced by modern post-WIMP systems. Such systems do not stick to a certain user interface or interaction paradigm, but rather contain a heterogeneous set of characteristics that stem from multiple fields of research. These characteristics induce a variety of different challenges that...
متن کاملAn Overview of Formal Methods Tools and Techniques
State Machines Proposed by Gurevich [58], abstract state machines (ASM), also called evolving algebras, form a specification language in which the notions of state and state transformation are central. A system is described in this formalism by the definition of states and by a finite set of (possibly non-deterministic) state transition rules, which describe the conditions (also called guards) ...
متن کامل