Hubert Garavel. On the Introduction of Gate Typing in E-LOTOS. In Piotr Dembinski and Marek Sredniawa, editors, Proceedings of PSTV'95 (Warsaw, Poland). IFIP, Chapman & Hall, June 1995.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Imperative features: to allow an imperative like programming style, write once variables as well as functions and processes with in out parameters have been introduced. These features try to align E Lotos notations with standard programming languages. Gate typing: gates must be explicitly typed [Gar95] This case study is based on a version of E Lotos proposed in [SG96] which is slightly di#erent from the Committee Draft one. The main di#erences are: a) instead of record subtyping and anonymous records, we use named records and overloading of functions and constructors; b) the shorthand ....

Hubert Garavel. On the Introduction of Gate Typing in E-LOTOS. In Piotr Dembinski and Marek Sredniawa, editors, Proceedings of PSTV'95 (Warsaw, Poland). IFIP, Chapman & Hall, June 1995.

....features: to allow an imperative like programming style, write once variables as well as functions and processes with in out parameters have been introduced. These features try to align E Lotos notations with standard programming languages. ffl Gate typing: gates must be explicitly typed [Gar95] This case study is based on a version of E Lotos proposed in [SG96] which is slightly different from the Committee Draft one. The main differences are: a) instead of record subtyping and anonymous records, we use named records and overloading of functions and constructors; b) the shorthand ....

Hubert Garavel. On the Introduction of Gate Typing in E-LOTOS. In Piotr Dembinski and Marek Sredniawa, editors, Proceedings of PSTV'95 (Warsaw, Poland). IFIP, Chapman & Hall, June 1995.

.... There have been numerous proposals for improving Lotos, some of which are anterior to the E Lotos project, e.g. Sco86, Bri88, Sto91, LL91] Many proposals suggest enhancements to the data part of Lotos [Pec93, BL95, RdMS95, JGL 95, Pec96] while other focus on the behaviour part [QA92, Gar95a, GS96] including the introduction of time in Lotos [Leo97, LL97, Her98] etc. This paper presents our current views about the enhancement of Lotos. Due to lack of space, it was not possible to give an exhaustive technical definition 1 . Instead, we preferred to highlight the major concepts, ....

Hubert Garavel. On the Introduction of Gate Typing in E-LOTOS. In Piotr Dembinski and Marek Sredniawa, editors, Proceedings of the 15th IFIP International Workshop on Protocol Specification, Testing and Verification (Warsaw, Poland). IFIP, Chapman & Hall, June 1995.

....conflicting identifiers would be needed. Reciprocally, any Lotos description with abbreviated gate parameter lists can be translated into standard Lotos by expanding the . symbols. Remark The proposed modification fits well with another proposal for the introduction of typed gates in Lotos [Gar94]. The syntactic notations and underlying semantics are similar in both proposals. 2 Remark An alternative approach for abbreviating gate parameter lists would be the possibility to define identifiers for (formal and actual) gate parameter lists. These identifiers could be used in place of the ....

....for (formal and actual) gate parameter lists. These identifiers could be used in place of the . notation. It is not clear, however, if this alternative approach is worth its complexity and if it can be extended to value parameter lists (see next section) and incomplete action denotations [Gar94]. 2 4 this is an exclusive or 12 6 Abbreviating value parameters lists Similarly, it is desirable to shorten the large list of value parameters. This can be achieved with the same mechanism as the one proposed for gate parameters. The only difference comes from the fact that formal ....

Hubert Garavel. On the Introduction of Gate Typing in E-LOTOS. Rapport SPECTRE 94-3, VERIMAG, Grenoble, February 1994. Annex D of ISO/IEC JTC1/SC21/WG1 N1314 Revised Draft on Enhancements to LOTOS and Annex C of ISO/IEC JTC1/SC21/WG1 N1349 Working Draft on Enhancements to LOTOS.

....to take into account the names of the variable declared with the out attribute. For instance, it should be allowed to write (possibly with a permutation) exit (V 0 0 : E 0 0 ; V 0 p : E 0 p ) Note: The treatment of exit is also closely linked to the problem of gate typing [Gar95] because of the dual nature of exit : it is both a way to return values and also a rendez vous on the ffi gate. 18 Abbreviating gate parameters lists In many Lotos descriptions, process definitions tend to have large lists of gate parameters. This situation has several drawbacks: ffl Large ....

Hubert Garavel. On the Introduction of Gate Typing in E-LOTOS. In Piotr Dembinski and Marek Sredniawa, editors, Proceedings of the 15th IFIP International Workshop on Protocol Specification, Testing and Verification (Warsaw, Poland), London, June 1995. IFIP, Chapman & Hall.

....conflicting identifiers would be needed. Reciprocally, any Lotos description with abbreviated gate parameter lists can be translated into standard Lotos by expanding the . symbols. Remark The proposed modification fits well with another proposal for the introduction of typed gates in Lotos [Gar94a] The syntactic notations and underlying semantics are similar in both proposals. 2 Remark An alternative approach for abbreviating gate parameter lists would be the possibility to define identifiers for (formal and actual) gate parameter lists. These identifiers could be used in place of the ....

....for (formal and actual) gate parameter lists. These identifiers could be used in place of the . notation. It is not clear, however, if this alternative approach is worth its complexity and if it can be extended to value parameter lists (see next section) and incomplete action denotations [Gar94a] 2 19 Abbreviating value parameters lists Similarly, it is desirable to shorten the large list of value parameters. This can be achieved with the same mechanism as the one proposed for gate parameters. The only difference comes from the fact that formal parameters are value identifiers whereas ....

Hubert Garavel. On the Introduction of Gate Typing in E-LOTOS. Rapport SPECTRE 94-3, VERIMAG, Grenoble, February 1994. Annex D of ISO/IEC JTC1/SC21/WG1 N1314 Revised Draft on Enhancements to LOTOS and Annex C of ISO/IEC JTC1/SC21/WG1 N1349 Working Draft on Enhancements to LOTOS.

....Annex F, Part 2] A wish list for the behaviour part of Lotos , version 2. 1) ffl The Full User Language (Section 4) supersedes the behaviour language of [Que96b, Annex F, Part 2] ffl The concept of gate typing has been introduced in the behaviour part with respect of the proposal made in [Gar95a] In particular, the declarations now include channel types. All gate declarations are typed with a channel. ffl Gates and exceptions (which formerly were identical objects and later distinct objects) are unified again. Process declarations, process instantiations, parallel composition ....

Hubert Garavel. On the Introduction of Gate Typing in E-LOTOS. In Piotr Dembinski and Marek Sredniawa, editors, Proceedings of the 15th IFIP International Workshop on Protocol Specification, Testing and Verification (Warsaw, Poland), London, June 1995. IFIP, Chapman & Hall.

....conflicting identifiers would be needed. Reciprocally, any Lotos description with abbreviated gate parameter lists can be translated into standard Lotos by expanding the . symbols. Remark The proposed modification fits well with another proposal for the introduction of typed gates in Lotos [Gar94a] The syntactic notations and underlying semantics are similar in both proposals. 2 Remark An alternative approach for abbreviating gate parameter lists would be the possibility to define identifiers for (formal and actual) gate parameter lists. These identifiers could be used in place of the ....

....for (formal and actual) gate parameter lists. These identifiers could be used in place of the . notation. It is not clear, however, if this alternative approach is worth its complexity and if it can be extended to value parameter lists (see next section) and incomplete action denotations [Gar94a] 2 3.19 Abbreviating value parameters lists Similarly, it is desirable to shorten the large list of value parameters. This can be achieved with the same mechanism as the one proposed for gate parameters. The only difference comes from the fact that formal parameters are value identifiers ....

Hubert Garavel. On the Introduction of Gate Typing in E-LOTOS. Rapport SPECTRE 94-3, VERIMAG, Grenoble, February 1994. Annex D of ISO/IEC JTC1/SC21/WG1 N1314 Revised Draft on Enhancements to LOTOS and Annex C of ISO/IEC JTC1/SC21/WG1 N1349 Working Draft on Enhancements to LOTOS.

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