See this document in CiteSeerX!

Pre-Order Semantics of UML State-Machines  (Make Corrections)  
Yunming Wang, Jean-Pierre Talpin, et al.



  Home/Search   Context   Related

 
View or download:
irisa.fr/techreports/20...PI1336.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  irisa.fr/epatr/Publis/Compl...RR (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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