Interacting Extended State Diagrams
نویسندگان
چکیده
Integrated formal description techniques are a promising approach for the specification of multi-aspect systems. In this context, we have proposed a formalism, called Extended State Diagrams (ESD), combining in an homogeneous framework state diagrams and formal data description languages. Our purpose is here to enhance the implicit ESD communication mechanisms with explicit descriptions of communications, which is achieved using synchronization vectors. The use of interaction diagrams is also discussed.
منابع مشابه
Extended Timing Diagrams as a Speci cation Language
Hardware designs increasingly evolve to distributed systems composed of multiple interacting components working in parallel. Extended Timing Diagrams presented in this paper are an intelligible graphical speci cation language especially suited for the description of such communicating systems. The formal semantics of extended timing diagrams is de ned in terms of a process calculus. This formal...
متن کاملNonlocal, noncommutative diagrammatics and the linked cluster Theorems
Recent developments in quantum chemistry, perturbative quantum field theory, statistical physics or stochastic differential equations require the introduction of new families of Feynman-type diagrams. These new families arise in various ways. In some generalizations of the classical diagrams, the notion of Feynman propagator is extended to generalized propagators connecting more than two vertic...
متن کاملAutomatic Layout of State Diagrams
Consider the problem of automatically generating layouts for state diagrams (statecharts). Such diagrams appear in automation engeneering and CASE tools. Automatic layout of these diagrams leads to better understanding and saves time spend on their development. State diagram layout problem seems to have some differences from general graph layout problem. In this article adaptation of two graph ...
متن کاملTest cases generation from UML state diagrams
The paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on control and data ow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control ow is identiied by transforming UML state diagrams into extended nite state machines (EFSMs). The hierarchical and conc...
متن کاملState-dependent Jastrow correlation functions for He nuclei
We calculate the ground-state energy for the nucleus 4He with V4 nucleon interactions, making use of a Jastrow description of the corresponding wavefunction with state-dependent correlation factors. The effect related to the state dependence of the correlation is quite important, lowering the upper bound for the ground-state energy by some 2 MeV. The physical problem of describing many interact...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 115 شماره
صفحات -
تاریخ انتشار 2005