G Leduc. An upward compatible timed extension to LOTOS. In K R Parker and G A Rose, editors, Formal Description Techniques IV, FORTE '91, Sydney. Elsevier, November 1991.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....they cannot represent the actual time between events, only the ordering in time of these events. Trying to build on their success, and to provide the basis for a formal method for real time systems, many timed process algebras have been developed, including extensions to existing algebras [5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16] for reviews see [17, 18] In section 2 we argue that, while useful, timed process algebras cannot as easily be used as broad spectrum languages (in the way that CCS and Z [19] can be) and that a different approach needs to be taken. The focus of the rest of the paper is then made clear in ....

G Leduc. An upward compatible timed extension to LOTOS. In K R Parker and G A Rose, editors, Formal Description Techniques IV, FORTE '91, Sydney. Elsevier, November 1991.

....ATP #.P can only o#er action # only within one time unit, whereas ours can perform action # at any time whenever #.P are executable. Baeten and Bergstra in [6, 5] extend ACP [4] with a special operator corresponding to our delay operator. There are several timed enhancements of LOTOS [10] Leduce [44] extends LOTOS with a timed operator which is similar to ATP s timeout operator. Bryans, Davis, and Schneider in [12] extend LOTOS with two timed operators: # d P and a d ; P , corresponding to our delay operator and time restriction operator respectively. Remarks We summarize comparisons ....

G. Leduc. An Upward Compatible Timed Extension to LOTOS. In Formal Description Techniques IV, pages 217--232. North-Holland, 1992.

....to perform an action. Even worse, trying to identify these moments only obscures the interpretation of timing constraints. It appears that this alternative interpretation of timing constraints has been originated from some work on the introduction of timing in process algebras, such as [2] [3], 4] 5] 6] 7] and [10] to name just a few. In most of these models, timing is defined in terms of the time span between actions, periods when behaviours are wishing to participate in actions, and time passage itself, which means that the time concept becomes actually implemented in the ....

G. Leduc. An upward compatible timed extension to LOTOS. In K. Parker and G. Rose, editors, Fourth International Conference on Formal Description Techniques, 1991.

....ff:P can only offer action ff only within one time unit, whereas ours can perform action ff at any time whenever ff:P are executable. Baeten and Bergstra in [6, 5] extend ACP [4] with a special operator corresponding to our delay operator. There are several timed enhancements of LOTOS [10] Leduce [44] extends LOTOS with a timed operator which is similar to ATP s timeout operator. Bryans, Davis, and Schneider in [12] extend LOTOS with two timed operators: 1 d P and afdg; P , corresponding to our delay operator and time restriction operator respectively. Remarks We summarize comparisons ....

G. Leduc. An Upward Compatible Timed Extension to LOTOS. In Formal Description Techniques IV, pages 217--232. North-Holland, 1992.

....techniques. Related work is examined in section 6 and concluding remarks presented in section 7. 2. TIMED EXTENSIONS TO LOTOS 2.1. General Approaches A large number of timed extensions to LOTOS have now been developed including CELOTOS [vanHulzen90] TIC [Quemada91] LOTOS T [Miguel92] TLOTOS [Leduc92], U LOTOS [Bolognesi92] ET LOTOS [L onard94] and Temporal LOTOS [Regan93] The majority of timed extensions introduce quantitative time into the language either through a new delay operator or through timestamps attached to events. It is now generally recognised however that this is not ....

....mechanisms are required to ensure priority of event occurence over the passage of time [Regan91] Without this, there is no way of forcing events to happen by a specific time. Such an effect can be achieved either through the maximum progress assumption [Reed88] or through action urgency [Bolognesi91, Leduc92]. The former approach ensures that internal events, that is those events that can no longer be influenced by the environment, occur as soon as possible thus ensuring that they take precedence over the passage of time. The latter approach, in contrast, allows a notion of urgency to be applied to ....

Leduc, G., "An Upward Compatible Timed Extension to LOTOS", Proceedings of the 4th International Conference on Formal Description Techniques (FORTE'91), K.R. Parker, G.A. Rose (editors), Elsevier Science Publishers B.V., North-Holland, IFIP, 1992.

.... [AuB 84] PADS (Process Algebra for Distributed Systems) Azc 90] SCCS [Mil 83] SDL [CCITT Z100] TCCS [MoT 90] TIC [QAF 90] TiCCS (Timed CCS) Wan 90, Wan 91] TiCSP (Timed CSP) ReR 88, Ree 90] Timed arc PN [Wal 83] Timed PN [MeF 76] TinLOTOS (TimedInteraction LOTOS) BLT 90] TLOTOS [Led 92] Timed LOTOS [LeL 92] ULOTOS T LOTOS [BoL 92] TPCCS [Haj 90, Han 91] TPL (Temporal Process Language) HeR 91] As we can see, there exist many proposals, and interesting novelties appear regularly. This situation reflects the diversity of the philosophies envisaged about the way time ....

G. Leduc, An upward compatible timed extension to LOTOS, in: K. Parker, G. Rose, eds, Formal Description Techniques IV (North Holland, Amsterdam, 1992), 217-232.

.... te [Gro 90a] ATP (Algebra of Timed Processes) NRS 90, NiS 91b, NSY 91] LOTOST [MFV 92] PADS (Process Algebra for Distributed Systems) Azc 90] TCCS (Temporal CCS) MoT 90] TIC [QAF 89] Timed CCS [Wan 90, Wan 91] Timed CSP [ReR 88, DaS 89, Ree 90] Timed interaction LOTOS [BLT 90] TLOTOS [Led 92] T LOTOS and ULOTOS [BoL 92] TPCCS (Timed Probabilistic CCS) HaJ 90, Han 91] TPL (Temporal Process Language) HeR 90] An overview and synthesis on Timed Process Algebras may be found in [NiS 91a] The time extended version of LOTOS that we propose in this paper for the modelling of ....

G. Leduc, An upward compatible timed extension to LOTOS, in: K. Parker, G. Rose, eds., Formal Description Techniques, IV (North-Holland, Amsterdam, 1992) 217-232.

No context found.

G Leduc. An upward compatible timed extension to LOTOS. In K R Parker and G A Rose, editors, Formal Description Techniques IV, FORTE '91, Sydney. Elsevier, November 1991.

No context found.

G Leduc. An upward compatible timed extension to LOTOS. In K R Parker and G A Rose, editors, Formal Description Techniques IV, FORTE '91. North Holland, November 1991.

No context found.

G. Leduc, "An Upward Compatible Timed Extension to LOTOS" in FORTE'91, K. Parker, G. Rose (Editors), North-Holland, 1992. - 138 -

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