Yunming Wang, Jean-Pierre Talpin, et al.  Home/Search
Context
Related
| irisa.fr/techreports/20...PI1336.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: irisa.fr/epatr/Publis/Compl...RR (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : The concept of synchronous programming has been proposed and widely accepted in the design of real-time systems, circuits, and embedded systems. Some recent researches have also proposed a mechanism to distribute a synchronous system over asynchronous networks. Meanwhile, Uml is also becoming a standard framework of object-oriented methodologies. Our research aims to take advantage of these rich backgrounds by integrating a synchronous pivot called Spots (synchronous pre-order transition... (Update)
Similar documents (at the sentence level):
25.8%: A semantics of UML state-machines using.. - Wang, Talpin.. (2000) (Correct)
Active bibliography (related documents): More All
0.4: Asynchronous Deployment of Synchronous Transition Systems - Talpin, al. (1999) (Correct)
0.2: Desynchronisation of Synchronous Programs: Summary of.. - Benveniste, Caillaud, .. (1999) (Correct)
0.2: Hierarchic Normal Forms for Desynchronization - Talpin, al. (1999) (Correct)
Similar documents based on text: More All
0.5: BDL: A Semantics Backbone for UML Dynamic Aspects - Caillaud, Talpin.. (2001) (Correct)
0.4: Real-Time Performance of Dynamic Memory Allocation Algorithms - Puaut (2002) (Correct)
0.3: From Synchrony to Asynchrony - Benveniste, al. (1999) (Correct)
BibTeX entry: (Update)
@misc{ wang-preorder,
author = "Yunming Wang and Jean-Pierre Talpin and et al.",
title = "Pre-Order Semantics of UML State-Machines",
url = "citeseer.ist.psu.edu/424009.html" }
Citations (may not include all citations):1174 Statecharts: a visual formalism for complex systems - Harel - 1987
372 The unified modeling language reference manual (context) - Rumbaugh, Jacobson et al. - 1999
92 Synchronous programming with events and relations: the Signa.. (context) - Benveniste, Le Guernic et al. - 1991
82 The Statemate semantics of Statecharts - Harel, Naamad - 1996
35 A compositional semantics for Statecharts using labeled tran.. - Uselton, Smolka - 1994
6 International Symposium on ObjectOriented Real-Time Distribu.. (context) - Talpin, Benveniste et al. - 1998
6 State refinement (context) - Uselton, Smolka - 1993
4 Asynchronous deployment of synchronous pre-order transition .. (context) - Talpin, Benveniste et al. - 1999
4 Synthesizing object systems from Lcs specifications (context) - Harel, Kugler - 1999
2 State siagrams in Uml: a formal semantics using graph transf.. (context) - Gogolla, Presicce - 1998
2 Towards a formal operational semantics of Uml state diagrams (context) - Lateela, Majzik et al. - 1999
Documents on the same site (http://www.irisa.fr/ep-atr/Publis/Complet/RR.html): More
A real-time hw/sw codesign approach based on the SIGNAL.. - Kountouris, Wolinski (1996) (Correct)
Optimal Control of Discrete Event Systems under Partial .. - Marchand, Boivineau.. (2001) (Correct)
BDL: A Semantics Backbone for UML Dynamic Diagrams - Caillaud, Talpin.. (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC