NDLI: Formal automated transformation of SDL specifications to Lotos specifications

Content Provider	IEEE Xplore Digital Library
Author	El-Gendy, H. El Kadhi, N. Debnath, N.
Copyright Year	2008
Description	Author affiliation: Minist. of Endowments, Cairo (El-Gendy, H.)
Abstract	In this paper, a formal method for automated transformation of an SDL specification into a corresponding Lotos specification is presented. The method is applicable to various SDL specifications and to various communications protocols for various ISO (International Standards Organization) OSI (Open Systems Interconnections) layers. This formal automated transformation facilitates immediate indirect applicability of future formal methods for derivation of testing sequences for Lotos specifications to SDL specifications. Firstly, the formal automated transformation method is applied to generate a Lotos version. Then, the Lotos-based derivation method is applied. This facilitates the best coverage of the testing sequences for SDL specifications as the formal test derivation method with the best coverage can be applied. This also facilitates comparison of various test derivation methods in terms of coverage. We develop an algorithm for constructing the Lotos specifications.
Starting Page	519
Ending Page	524
File Size	1326929
Page Count	6
File Format	PDF
ISBN	9781424427024
ISSN	15301346
DOI	10.1109/ISCC.2008.4625760
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-07-06
Publisher Place	Morocco
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Protocols Computers Testing Telecommunications ISO Standards Ad hoc networks Formal Description Techniques SDL Lotos Computer/Communications Protocols Specification Distributed Real Time Systems Formal Methods Common Semantic Model Verification
Content Type	Text
Resource Type	Article
Subject	Signal Processing Mathematics Computer Networks and Communications Computer Science Applications Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Developing a framework for simulation, verification and testing of sdl specifications (2000).

Verification of LOTOS Specifications using Term Rewriting Techniques (1994)

Synthesis of LOTOS specification of the IEEE-1394 firewire protocol

Testing Methodology Using SDL for an On-demand Routing Protocol in MANET

Verification of LOTOS Specifications using Term Rewriting Techniques (1994)

The formal specification of the fieldbus foundation link scheduler in E-LOTOS

Formal specification and verification of communication protocols using automated tools

Specification of an ISDN Q.931 protocol entity using the LOTOS formal description technique

Transformation of Lotos specifications to Estelle specifications

Formal automated transformation of SDL specifications to Lotos specifications

Similar Documents

Developing a framework for simulation, verification and testing of sdl specifications (2000).

Verification of LOTOS Specifications using Term Rewriting Techniques (1994)

Synthesis of LOTOS specification of the IEEE-1394 firewire protocol

Testing Methodology Using SDL for an On-demand Routing Protocol in MANET

Verification of LOTOS Specifications using Term Rewriting Techniques (1994)

The formal specification of the fieldbus foundation link scheduler in E-LOTOS

Formal specification and verification of communication protocols using automated tools

Specification of an ISDN Q.931 protocol entity using the LOTOS formal description technique

Transformation of Lotos specifications to Estelle specifications

Formal automated transformation of SDL specifications to Lotos specifications