UML Modeling of Finite State Machines and Molecular Machines
نویسنده
چکیده
Biological systems at the molecular level are composed of hierarchically structured objects that continuously interact and influence each other by directly altering each others' composition. The software in many technology systems is hierarchically constructed using objects that pass messages to each other which then trigger transitions in finite state machines. On the surface these appear to be quite different interaction mechanisms. This paper takes a detailed look at these two mechanisms, and, using concepts from UML with models executed using the Xholon framework, argues that these are just points on a continuum. A progression of UML models are developed, as a starting point for a future more comprehensive exploration of this space that encompasses both finite state machines and biological machinery at the molecular level.
منابع مشابه
UML 2.0 State Machines: Complete Formal Semantics Via core state machine
UML has become the standard modeling language for object-oriented systems. The informal description of UML and its continuous extension cause many ambiguities. Therefore, a formal semantics for UML is necessary, especially for formal reasoning and tool development. We present a formal semantics of UML 2.0 state machines, which are used for modeling the reactive behavior of objects, by (i) deriv...
متن کاملRestricted cascade and wreath products of fuzzy finite switchboard state machines
A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...
متن کامل29 New Unclarities in the Semantics of UML 2.0 State Machines
UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state machines, which are widely used for modeling the reactive behavior of objects. In this paper, a list of 29 newly detected trouble spots consisting of ambiguities, inconsistencies, and unnecessarily strong restrictions of UML 2.0 st...
متن کاملIntegrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines
In this paper we address the problem of integrating UML static and dynamic views, and different behavioral views. We tackle these problems by providing (a) a mapping of UML metamodel static and behavioral elements into ASMs and (b) a precise compositional semantics for state machines. Structural model elements are translated into an ASM vocabulary as collections of domains and functions. The dy...
متن کاملTEAGER - Test Automation for UML State Machines
TEAGER is a tool suite supporting test automation based on UML state machines, conforming to the UML semantics definition. For testing, the various sources of non-determinism in state machines pose major challenges. This article discusses those challenges and the approach for their solution taken in TEAGER. This includes probabilistic batch generation of test cases, which include expected obser...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006