M. Broy, R. Grosu, C. Klein  Home/Search
Context Related
| www4.in.tum.de/pub...rosuKleinFME97.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: www4.in.tum.de/publ/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Atfi rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In this paper, weshowhow to reconcile real-time with asynchronous message passing, by using an assumption whichissupportedbyevery mailing system throughout the world, namely that messages are time-stamped with their sending and arrival time. This assumption allows us to develop a formalism whichis adequate to... (Update)
Context of citations to this paper: More
.... kind of state transition diagrams we propose are well founded and provided with a formal semantics in a concurrent setting of objects [6, 4]. The notion of methods we conceive is more general than to be an equivalent to procedures in a programming language. In our intuition,...
...Joyal, Milner, Stark, Street, Verity etc. The combination of data flow networks with statetransition diagrams was also studied e.g. in [7, 9]. However, the way we combine the additive and the multiplicative interpretations in this paper to obtain a state based description...
Cited by: More
Scheduling with Message Deadlines for Hard Real-Time SDL Systems - Kolloch (2002) (Correct)
Modeling the Dynamic Behavior of Objects On Events, Messages.. - Breu, Grosu (Correct)
Visual Formalisms Revisited - Grosu, Stefanescu, Broy (1998) (Correct)
Active bibliography (related documents): More All
2.0: Reconciling Real-Time with Asynchronous Message Passing - Broy, Grosu, Klein (1997) (Correct)
0.4: Feature Specification and Refinement with State Transition.. - Klein, Prehofer, Rumpe (1997) (Correct)
0.1: Towards a Formalization of the Unified Modeling Language - Breu, Hinkel, Hofmann.. (1997) (Correct)
Similar documents based on text: More All
0.3: Towards a Calculus for UML-RT Specifications - Grosu, Broy, Selic, Stefanescu (1998) (Correct)
0.3: State Transition Diagrams - Grosu, Klein, Rumpe, Broy (1996) (Correct)
0.3: A Denotational Model for Mobile Point-to-Point Data-flow.. - Grosu, Stølen, al. (1997) (Correct)
Related documents from co-citation: More All
3: Statecharts: A visual formalism for complex systems - Harel - 1987
2: The unified modeling language for object-oriented development (context) - Booch, Rumbaugh et al. - 1996
2: Systems Engineering Using SDL (context) - Olsen, Faergemand et al. - 1994
BibTeX entry: (Update)
M. Broy, R. Grosu, and C. Klein. Reconciling real-time with asynchronous message passing. Will appear in FME'97 Proceedings, September 1997. http://citeseer.ist.psu.edu/broy97reconciling.html More
@inproceedings{ broy97reconciling,
author = "M. Broy and R. Grosu and C. Klein",
title = "Reconciling Real-Time with Asynchronous Message Passing",
booktitle = "{FME}'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997)",
volume = "1313",
publisher = "Springer-Verlag",
editor = "John Fitzgerald and Cliff B. Jones and Peter Lucas",
pages = "182--200",
year = "1997",
url = "citeseer.ist.psu.edu/broy97reconciling.html" }
Citations (may not include all citations):1174 Statecharts: A visual formalism for complex systems - Harel - 1987
666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
404 Symbolic model checking for real-time systems - Henzinger, Nicollin et al. - 1992
175 Logics and models of real time: a survey - Alur, Henzinger - 1992
115 The Design of Distributed Systems - An Introduction to FOCUS (context) - Broy, Dederichs et al. - 1993
103 Prentice-Hall International series in computer science (context) - Hoare, processes - 1985
44 Message Sequence Chart (context) - -- - 1996
24 Technische Universitat Munchen (context) - Grosu, Klein et al. - 1996
21 Protocol analysis using a timed version of SDL - Bause, Buchholz - 1991
20 A Model for Mobile Point-to-Point DataflowNetworks without C.. - Grosu, Stoelen - 1996
19 Enhancing the syslab system model with state - Grosu, Klein et al. - 1996
3 Interactive System Design (context) - Broy, Stlen - 1997
2 submitted to SDL Forum (context) - Hinkel - 1996
2 Also appeared in: Hybrid Systems III (context) - Lynch, Segala et al. - 1995
2 Forward and backward simulations -- part II: Timed systems (context) - Lynch, Vaandrager - 1996
1 Specifi: ation and Description Language (context) - Recommendation - 1993
1 Specifying Real-Time Requirements for SDL Specifi& - A Tempo.. (context) - Leue - 1995
Documents on the same site (http://www4.in.tum.de/publ/papers/): More
The Amsterdam Manifesto on OCL - Cook, Kleppe, Mitchell, Rumpe.. (1999) (Correct)
Structured Specifications and Implementation of.. - Walicki, Broy (1995) (Correct)
Modeling Dynamic Component Interfaces - Huber, Rausch, Rumpe (1998) (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