An introduction to LOTOS: learning by examples

Logrippo, Luigi; Faci, Mohammed; Haj-Hussein, Mazen

doi:10.1016/0169-7552(92)90011-e

Cited by 71 publications

(22 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Listing 1 shows the LOTOS code for RTS architectural modules, where language keyword are noted in bold. In line 1, specification RTS_Client_Server synchronizes with environment through the two formal gates Req_Temp and Prov_Temp [15]. For instance, when a client requests temperature reading of specific furnace at particular frequency, there is an internal interaction between furnaces and the server, which should be hidden from client side.…”

Section: A Rts Architecture Specification In Lotosmentioning

confidence: 99%

ATAM-based Architecture Evaluation Using LOTOS Formal Method

Ashraf¹,

Aljedaibi²

2017

IJITCS

View full text Add to dashboard Cite

Abstract-System Architecture evaluation and formal specification are the significant processes and practical endeavors in all domains. Many methods and formal descriptive techniques have been proposed to make a comprehensive analysis and formal representation of a system architecture. This paper consists of two main parts, in first we evaluated system performance, quality attribute in Remote Temperature Sensor clients-Server architecture by implementing an ATAM model, which provides a comprehensive support for evaluation of architecture designs by considering design quality attributes and how they can be represented in the architecture. In the second part, we computed the selected system architecture in ISO standards formal description technique LOTOS with which a system can be specified by the temporal relation between interactions and behavior of the system. Our proposed approach improves on factors such as ambiguity, inconsistency and incompleteness in current system architecture.

show abstract

Section: A Rts Architecture Specification In Lotosmentioning

confidence: 99%

ATAM-based Architecture Evaluation Using LOTOS Formal Method

Ashraf¹,

Aljedaibi²

2017

IJITCS

View full text Add to dashboard Cite

show abstract

“…E-LOTOS has many of the features of LOTOS such as events, processes and operators for sequencing and choice; we assume the reader is familiar with these concepts. A more in-depth introduction to LOTOS notation may be found in [14].…”

Section: Introduction To E-lotosmentioning

confidence: 99%

A case study in abstraction using E-LOTOS and the FireWire

Shankland

Verdejo

2001

Computer Networks

View full text Add to dashboard Cite

The proposed ISO standard Enhancements to LOTOS (E-LOTOS) is used to describe the leader election protocol of the IEEE 1394 serial multimedia bus (``FireWire''). The E-LOTOS language facilitates descriptions at several levels of abstraction, therefore a broad understanding of the protocol at an abstract level can be gained before adding more complexity and concrete detail. A secondary aim is to illustrate some of the novel features of E-LOTOS, particularly those for describing real time and parallelism. The speci®cation process is described in some detail, paying particular attention to the general applicability of E-LOTOS to protocol description. Veri®cation techniques and tools for E-LOTOS are considered, and comparisons are drawn between E-LOTOS and other similar formal methods. Ó

show abstract

“…It is high-level and object-based. One of its important characteristics is that its semantics are defined in terms of the formal language LOTOS[BoBr87] [LoFH92]. In fact, the definition is constructive and a prototype compiler from ODP-DLcomp into LOTOS is available.…”

mentioning

confidence: 99%

An experience modelling telecommunications systems using ODP-DLcomp

Stepien

Farooqui

Logrippo

1997

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

Abstract. The ODP-DLcomp language is intended to describe systems in the ODP computational model. It is object-oriented, implementation-independent and its formal semantics are based on LOTOS, thus it is a Formal Description Technique. It supports specification of interface and object templates, with appropriate creation and binding operations. An application of the language is demonstrated using the Plain Old Telephone System example.Keywords: Open Distributed Processing, OO Languages, Specification, Telephony IntroductionODP-DLcomp was designed and implemented at GMD-FOKUS by Frank Koch [Koch94]. The first author participated in the group at the time.The motivation behind this new language was to offer a more readable and compact alternative to the LOTOS description of the ODP computational model [Vog93] but also to offer a bridge between Formal Description Techniques and Object Oriented implementation languages.In this paper, we show that ODP-DLcomp includes all the essential concepts for system definition in the ODP computational model. It is high-level and object-based. One of its important characteristics is that its semantics are defined in terms of the formal language LOTOS[BoBr87] [LoFH92]. In fact, the definition is constructive and a prototype compiler from ODP-DLcomp into LOTOS is available. Thus, the language has all the essential characteristics required of a Formal Description Technique for ODP. Because of their capability of being compiled into a language that is at least partially executable, specifications written in ODP-DLcomp constitute a prototype of the system being specified. Activities such as validation and test case generation, possible from LOTOS specifications, therefore are also possible from ODP-DLcomp specifications.This language is somewhat comparable to TINA ODL [TINAC94], however the latter is not formal, and does not offer the capability of behavior specification.A brief introduction to the language is given, followed by an example of its use for the description of a Plain Old Telephone System. Basic concepts of ODP computational modelThe ODP computational viewpoint provides the concepts needed to explain how services can be programmed in a form suitable for distribution [FLM95]. This viewpoint focuses on the organization of applications in architecturally conformant ways rather than on the mechanisms used to distribute or support the applications in the system. The ODP com-2 putational model is the abstract model to express the concepts of the computational viewpoint. It is a framework for describing the structure, specification and execution of the (components of the) distributed application on the distributed computing platform. It describes the coarse-grained structure of an application, i.e., the application components and their interaction at an abstract, system independent level. Each coarse-grained entity of a distributed application is represented by an object, called computational object, with a (set of) well defined interface(s), called computational interface(s). Th...

show abstract

An introduction to LOTOS: learning by examples

Cited by 71 publications

References 6 publications

ATAM-based Architecture Evaluation Using LOTOS Formal Method

ATAM-based Architecture Evaluation Using LOTOS Formal Method

A case study in abstraction using E-LOTOS and the FireWire

An experience modelling telecommunications systems using ODP-DLcomp

Contact Info

Product

Resources

About