Bolognesi, T. and E. Brinksma, Introduction to the ISO Specification Language LOTOS, in: P. H. J. van Eijk, C. A. Vissers and M. Diaz, editors, The Formal Description Technique LOTOS, Elsevier Science Publishers North-Holland, 1989 pp. 23--73. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Taming Heterogeneity - the Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2002) (9 citations) (Correct)
....systems (CCS) 40] use an atomic message exchange mechanism to model communications among processes. They clearly specify communication events among processes, but not the interleaving of events inside parallel processes. Examples of languages that support this model of computation are Lotos [12], and Occam [48] Asynchronous message passing models of computation, such as Kahn s process networks [25] and dataflow models [35] use FIFO queues to model the communication among processes. Only events within the same communication channel are strictly ordered, while the ordering among events ....
Ed Brinksma and Tommaso Bolognesi. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1), 1987.
Proof of Correctness of a Transparent Design Abstraction - Laura Dillon Kurt (Correct)
....2.4) 2.1 Operational semantics An operational semantics formalizes the notion of a step in an execution of a system. Amalia currently supports a restricted form of operational semantics suitable for notations that describe synchronization of actions in behaviors of a system, such as LOTOS [2], Esterel [1] or propositional linear time temporal logic [12] For specificity, we illustrate concepts in this paper using a subset of the LOTOS notation. A brief description of this subset is provided in Appendix A. If P denotes a LOTOS process, then a step of P is a pair (a; P ) where a ....
T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Comp. Netw. ISDN Sys., 14(1), 1987.
Unknown - (Correct)
....describe all kinds of temporal ordering between components. 2)For an interface with multiple input devices and parallel path structures, it appears too elaborate. 3)The temporal ordering among tasks isn t represented explicitly. 2)LOTOS LOTOS(Language of Temporal Ordering Specification) BB 87] is a specification language developed by ISO(International Organization for Standardization) for the specification of network and communication protocols. However, its features make it useful to specify a class of systems where concurrency, interaction, feedback and nondeterminism are of most ....
T. Bolognesi, H. Brinskma, Introduction to the ISO Specification Language LOTOS, Computer Networks and ISDN Systems, Vol. 14, pp25-59, 1987.
Validation of the Link Layer Protocol of the IEEE-1394 Serial.. - Sighireanu (1997) (8 citations) (Correct)
....description of data types used in the protocol. 2 The ISO language LOTOS and the E LOTOS language Lotos [ISO88] is a standardized Formal Description Technique intended for the specification of communication protocols and distributed systems. Several tutorials for Lotos are available, e.g. BB88, Tur93] The design of Lotos was motivated by the need for a language with a high abstraction level and a strong mathematical basis, which could be used for the description and analysis of complex systems. As a design choice, Lotos consists of two orthogonal sub languages: The data part of ....
Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25--59, January 1988.
Feature Interaction Detection in Building Control Systems by.. - Metzger, Webel (2003) (Correct)
....the building control context, but could also prove to be valuable in the domain of telecommunication systems. Several feature interaction detection approaches have been presented in the literature. In [5] an approach that detects undesirable interactions by employing Use Case Maps [6] and LOTOS [7] is introduced. After features have been semi formally described with Use Case Maps, these features are formally defined with LOTOS, which then can be used for verification. Other authors also propose using formal description techniques for the purpose of interaction detection. In [8] and [9] ....
T. Bolognesi, E. Brinksma. "Introduction to the ISO Specification Language LOTOS" in Computer Networks and ISDN Systems, 14. 1986. pp. 25--59
A formal definition of time in LOTOS - Léonard, Leduc (1998) (Correct)
....of LOTOS for guarded processes, and is the basis of the timed extension of LOTOS currently developed by ISO [ISO98] To our knowledge, this is the first in depth study of a language that combines data types and real time behaviours. 1. Introduction The formal description technique LOTOS [BoB87, ISO8807] is an expressive specification language for concurrent and distributed systems. The flexibility of its operators generally allows clear and intuitive descriptions in various specification styles. However, the use of LOTOS has also revealed, or confirmed, some weak points of the ....
Bolognesi, T., Brinksma, E. : Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14 (1) 25--59, 1987.
A formal definition of time in LOTOS (Short version) - Léonard, Leduc (1998) (Correct)
....of LOTOS for guarded processes, and is the basis of the timed extension of LOTOS currently developed by ISO [ISO98] To our knowledge, this is the first in depth study of a language that combines data types and real time behaviours. 1. Introduction The formal description technique LOTOS [BoB87, ISO89] is an expressive specification language for concurrent and distributed systems. The flexibility of its operators generally allows clear and intuitive descriptions in various specification styles. However, the use of LOTOS has also revealed, or confirmed, some weak points of the language, ....
Bolognesi, T. and Brinksma, E. : Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14 (1) 25--59 (1987).
Taming Heterogeneity - The Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2003) (9 citations) (Correct)
....systems (CCS) 37] use an atomic message exchange mechanism to model communications among processes. They clearly specify communication events among processes, but not the interleaving of events inside parallel processes. Examples of languages that support this model of computation are Lotos [11], and Occam [47] Asynchronous message passing models of computation, such as Kahn s process networks [24] and dataflow models [31] use FIFO queues to model the communication among processes. Only events within the same communication channel are strictly ordered, while the ordering among events ....
Ed Brinksma and Tommaso Bolognesi. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1), 1987.
A Simple, Expressive Real-Time CCS - Fidge, Zic (1994) (Correct)
....in unfortunate ways. If such a delay is used as the second operand to the LOTOS disabling operator then the combined behaviour no longer enjoys the simple recursive definition normally possible by unwinding the disabling operator as a choice between the initial actions of its two operands [2], because the remaining delay period must change each time an uninterrupted action occurs. In effect, the delay operator changes the semantics of surrounding operators 6 Conclusion We have defined, and demonstrated the application of, a new real time process algebra, based on CCS. It offers ....
T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1):25--59, 1987.
Model-Based Verification of a Security Protocol.. - Leduc.. (1999) (Correct)
....which all use different conditional access protocols and thus oblige users to implement almost as many protocols as there are different service providers, which is a severe limitation. After a brief description of the Equicrypt protocol and its modelling in the formal language LOTOS [ISO 8807, BoB87] at an appropriate abstraction level, we will describe the verification process. We state some desired safety properties and formalize them. Then we describe a generic intruder process and its modelling, and show that some properties are falsified in the presence of this intruder. The ....
T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14 (1) 25-59 (1987).
User Interface Declarative Models and Development Environments: A.. - Silva (2000) (7 citations) (Correct)
....application. A comprehensive explanation of the semantics of these notations is outside of the scope of this survey. The references required to find out more about these notations are also provided in Table 6 . MB UIDE Notation Models ADEPT task knowledge structures (TKS) 20] TDM LOTOS [7] TDM Communicating Sequential Process (CSP) 19] TDM, APM AME OOA OOD [10] AM OMT [36] AM FUSE algebraic specification [53] AM HTA [22] TDM, UM Hierarchic Interaction graph Template (HTI) APM, CPM HUMANOID uses a single notation which was not specified all models JANUS JANUS Definition ....
T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Network ISDN Systems, 14(1), 1987.
Specification Styles in Distributed Systems Design.. - Vissers, Scollo.. (1991) (60 citations) Self-citation (Brinksma) (Correct)
....section we identify four specification styles and assess their relation to the design objectives and principles that characterize distinct phases of the system design trajectory. We also address the relationship between specification style and formal description in the specification language LOTOS [17, 3]. We illustrate this with simple examples in LOTOS. The interested reader may find more complex examples of these styles, based on the application of LOTOS for large scale specifications, in [29, 32, 20] Some considerations concerning styles of specification of abstract data types in LOTOS can be ....
T. Bolognesi and E. Brinksma, Introduction to the ISO Specification Language LOTOS, Computer Networks and ISDN Systems 14 (1) (1987) 25-59.
SFEDL'04 Preliminary Version - Interacting Extended State (Correct)
No context found.
Bolognesi, T. and E. Brinksma, Introduction to the ISO Specification Language LOTOS, in: P. H. J. van Eijk, C. A. Vissers and M. Diaz, editors, The Formal Description Technique LOTOS, Elsevier Science Publishers North-Holland, 1989 pp. 23--73.
A Global Semantics for Views - Long Version Last (Correct)
No context found.
Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25--29, January 1988.
Gnie Logiciel, Mthodes et Spcifications Formelles --- - Research Report September (Correct)
No context found.
Tommaso BOLOGNESI et Ed. BRINKSMA. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25--29, 1988.
The Korrigan Environment - Christine Choppy Lipn (Correct)
No context found.
Tommaso Bolognesi and Ed. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25-- 29, 1988.
Metric Semantics for True Concurrent Real Time - Christel Baier Joost-Pieter (1998) (1 citation) (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Comp. Netw. & ISDN Syst., 14:25--59, 1987.
JACK: A process algebra implementation in Java - Freitas (2002) (Correct)
No context found.
T. Bolognesi and Ed Brinksman. Introduction to the iso specification language lotos. Computer Networks and ISDN systems, 14(1):January, 1987.
A Better Way to Design - Communication Protocols Friedger (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Comput. Networks and ISDN Syst., 14(1):25--59, 1987.
Simulation-Based Performance Modeling of UML Software Architectures - Marzolla (2004) (3 citations) (Correct)
No context found.
T. Bolognese and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1):25--59, 1987.
Interacting Extended State Diagrams - Salaün, Poizat (2004) (Correct)
No context found.
Bolognesi, T. and E. Brinksma, Introduction to the ISO Specification Language LOTOS, in: P. H. J. van Eijk, C. A. Vissers and M. Diaz, editors, The Formal Description Technique LOTOS, Elsevier Science Publishers North-Holland, 1989 pp. 23--73.
Communicating Concurrent Objects in HiddenCCS - Ciobanu, Lucanu (2004) (Correct)
No context found.
T. Bolognesi, and E. Brinksma. Introduction to the ISO Specification Language LOTOS. In P.H.J.van Eijk, C.A.Vissers, and M.Diaz (Eds.), The Formal Description Technique LOTOS, pp. 23-73, Elsevier, 1989. 18
A Global Semantics for Views - Choppy, Poizat, Royer (2000) (1 citation) (Correct)
No context found.
Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25--29, January 1988.
A Framework for Translating Models and - Specifications Shmuel Katz (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25--59, 1987.
Unknown - Atom Splitting In (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25--59, 1987.
An Object-Oriented Approach to Formal Specification - Smith (1992) (13 citations) (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25--59, 1987.
On the use of MTBDDs for performability analysis.. - Hermanns.. (2002) (2 citations) (Correct)
No context found.
T. Bolognesi, E. Brinksma, Introduction to the ISO specification language LOTOS, in: P. van Eijk, C. Vissers, M. Diaz (Eds.), The Formal Description Technique LOTOS, North-Holland, Amsterdam, 1989, pp. 23--73.
Model Checking Large Network Protocol Implementations - Musuvathi, Engler (2004) (5 citations) (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the iso specification language lotos. In Computer Networks and ISDN Systems, pages 14:25--59, 1986.
A Logical Approach to Quality of Service Specification in Video.. - Bertino (2004) (Correct)
No context found.
T. Bolognesi and E. Brinksma, "Introduction to the ISO specification language LOTOS," Computer Networks and ISDN Systems, North-Holland, Vol. 14, No. 1, 1988.
A Method to Combine any Process Algebra with an.. - Salaün, Allemand.. (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. In P. H. J. van Eijk, C. A. Vissers, and M. Diaz, editors, The Formal Description Technique LOTOS, pages 23--73. Elsevier Science Publishers North-Holland, 1989.
Specification of an Access Control System with a.. - Salaün, Allemand.. (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. In P. H. J. van Eijk, C. A. Vissers, and M. Diaz, editors, The Formal Description Technique LOTOS, pages 23--73. Elsevier Science Publishers North-Holland, 1989.
Taming Heterogeneity - The Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2003) (9 citations) (Correct)
No context found.
E. Brinksma and T. Bolognesi, "Introduction to the ISO specification language LOTOS," Computer Netw. ISDN Syst., vol. 14, no. 1, 1987.
Behaviour Specifications: Equivalence And Refinement - von der Beeck (2000) (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25--59, 1987.
Software Verification for Programmable Logic Controllers - Huuck (2003) (Correct)
No context found.
Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks, 14:25--59, 1987. 175
Error!Marcador no definido. THE SPECIFICATION OF A.. - Lotos Gallud And (Correct)
No context found.
T.Bolognesi and E.Brinksma. "Introduction to the ISO Specification Language LOTOS". The Formal Description Technique LOTOS, results of the ESPRIT/SEDOS project, pp. 2371. North-Holland, 1989.
Formal Framework for a Generic Combination of a Process .. - Salaün, Allemand.. (2001) (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. In P. H. J. van Eijk, C. A. Vissers, and M. Diaz, editors, The Formal Description Technique LOTOS, pages 23--73. Elsevier Science Publishers NorthHolland, 1989.
Specification, Refinement and Verification of Concurrent - Systems An Integration (2001) (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1):25--59, 1988.
Quality of Service Specification in Video Databases - Elisa Bertino Tiziana (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, North-Holland, 14(1), 1988.
A Formal View of Multicomputers - Gallud, García, Quiles (Correct)
No context found.
T. Bolognesi and E. Brinskma. Introduction to the iso specification language lotos. In The Formal Description Technique Lotos, pages 23--73. Elsevier Science Publishers B.V., 1989.
The KORRIGAN Environment - Choppy, Poizat, Royer (Correct)
No context found.
Tommaso Bolognesi and Ed. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25-- 29, 1988.
Comprehensive Handling of Temporal Issues in - Tasks Models What (2004) (Correct)
No context found.
Bolognesi T., Ed Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, v.14 n.1, p.25-59, March, 1987
Specification and verification of a TTP protocol.. - Leduc.. (1996) (4 citations) (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14 (1) 25-59 (1987).
Compositional performance modelling with the TIPPtool - Hermanns, Herzog.. (2000) (9 citations) (Correct)
No context found.
T. Bolognesi, E. Brinksma, Introduction to the ISO specification language LOTOS, in: P.H.J. van Eijk, C.A. Vissers, M. Diaz (Eds.), The Formal Description Technique LOTOS, North-Holland, Amsterdam, 1989, pp. 23--73.
Construction and Verification of Performance and Reliability Models - Hermanns (2001) (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14:25-59, 1987.
Behaviour Analysis of Communication Systems: Compositional.. - Siegle (2002) (1 citation) (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. In P.H.J. van Eijk, C.A. Vissers, and M. Diaz, editors, The Formal Description Technique LOTOS, pages 23--73. North-Holland, Amsterdam, 1989.
Eddie Kohler - Technology Square Room (Correct)
No context found.
Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO specification language LOTOS. In Peter H. J. van Eijk, Chris A. Vissers, and Michel Diaz, editors, The formal description technique LOTOS, pages 23--73. North-Holland, 1989.
Formal Description and Analysis of a Bounded . . . - Mateescu (Correct)
No context found.
Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25--59, January 1988.
Using PROTEAN for Verifying a Complex Protocol - A Case Study - Lai (1995) (Correct)
No context found.
T. Bolognesi and E. Brinksma, `Introduction to the ISO specification language LOTOS', Computer Networks and ISDN Systems 14, 25--59 (1987).
An introduction to ET-LOTOS for the description of.. - Léonard, Leduc (1997) (Correct)
No context found.
T. Bolognesi and E. Bfinksma, Introduction to the ISO Specification Language LOTOS, Computer Networks ISDN Systems 14 (l) (1987) 25-59.
Verification of two versions of the Challenge Handshake.. - Leduc (2000) (Correct)
No context found.
T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14 (1) 25-59 (1987). 17
First 50 documents Next 50
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