A common compiler for LOTOS and SDL specifications. (Language of Temporal Ordering Specification; Specification and Description Language)(part of the Specification and Programming Environment for Communication Software project of the European Commision's Research and Development in Advanced Communications in Europe program) (Technical)

From: IBM Systems Journal | Date: December 1, 1992| Author: Binding, Carl; Bouma, Wiet; Dauphin, Michel; Karjoth, Gunter; Yan Yang | Copyright information

This paper describes a translation of LOTOS and SDL specification languages into executable code, as it was prototyped in the Specification and Programming Environment for Communication Software (SPECS) project under the Research and Development in Advanced Communications in Europe (RACE) program. Both languages are translated into a common intermediate representation in the form of a network of state machines with both synchronous and asynchronous communications. By a series of transformatio...

Read all of this article with a FREE trial to HighBeam Research

Related newspaper, magazine, and journal articles from HighBeam Research

A common compiler for LOTOS and SDL specifications. (Language of Temporal Ordering Specification; Specification and Description Language)(part of the Specification and Programming Environment for Communication Software project of the European Commision's Research and Development in Advanced Communications in Europe program) (Technical)
IBM Systems Journal ; This paper describes a translation of LOTOS end SDL specification languages into executable code, as it wes prototyped in the Specification and Programming Environment for Communication Software (SPECS) project under the Research and Development in Advanced Communications in Europa (RACE) program.
Bluetooth SIG set to launch 1.2 specification.(Business)
RCR Wireless News ; Byline: DAN MEYER The Bluetooth industry is set to welcome the latest standard for the short-range wireless networking technology as the Bluetooth Special Interest Group is expected to introduce the 1.2 specification this week at the third annual Bluetooth World Congress in the Netherlands. Unlike
UPA approves powerline specification for home networking.(POWERLINE COMMUNICATIONS)
Home Networks ; The Universal Powerline Association (UPA), an international association working to promote global standards and regulations in the rapidly developing powerline communications market, announced the completion of the first version of its Digital Home Standard (DHS) high-speed powerline networking
New Specification for Windows Applications.(Application Specification for Microsoft Windows 2000)(Product Development)
ENT ; Microsoft Corp. announced the release of the Application Specification for Microsoft Windows 2000, a technical guide to developing reliable and manageable applications for the Windows platform. It is now available on the MSDN Web site (msdn.microsoft.com/winlogo). Business customers today are
SyncML initiative releases specification v1.0.
RCR Wireless News ; The SyncML initiative publicly released version 1.0 of the SyncML specification, a protocol designed to support universal data synchronization of both remote and local data among various devices. The group also released the SyncML Reference Toolkit source code to enable companies to build
The ZigBee[TM] Alliance announces plans for the public availability of the Zigbee specification.(ISSUES AND EVENTS)
Engineered Systems ; The ZigBee[TM] Alliance, an association of companies working together to enable wirelessly networked monitoring and control products based on an open global standard, announced plans for the public availability of the ZigBee specification. Beginning in late June, universities, research
UML for executable specification.
EDN ; WHEN PROPERLY USED, UML IS AN EFFECTIVE TOOL FOR PREDICTING END-SYSTEM BEHAVIOR AND COMMUNICATING FUNCTIONAL REQUIREMENTS FROM SYSTEM ARCHITECTS TO HARDWARE- AND SOFTWARE-DESIGN ENGINEERS. UML (UNIFIED MODELING LANGUAGE) is by far today's most common modeling language. Software engineers routinely
OMAN: MINISTRY ISSUES OMANI STANDARD SPECIFICATION.(food safety)(Brief Article)
IPR Strategic Business Information Database ; According to oOman Observero, the Commerce and Industry Ministry has issued an Omani standard specification relating to analyzing pollution risks and the guidelines to ensure food safety. A'ydah bint Mohammed al Riyami, Director-General of Standards and Specifications at the ministry said this
MOMENTUM GROWS WITH DEBUT OF DFI SPECIFICATION VER. 2.
Electro Manufacturing ; Denali Software, Inc., Palo Alto, Calif., on behalf of all DDR PHY Interface (DFI) specification participating members, including representatives from industry-leading companies ARM, Denali, Intel, and Samsung, announced the release of the latest DFI specification version 2.0. The growing community
ITE LED specification Committee releases two traffic signal modules for user comment
Institute of Transportation Engineers. ITE Journal ; The joint Industry Council and Traffic Engineering Council LightEmitting Diode (LED) Specification Committee has completed a working group draft of the following new LED purchase specifications: Vehicle Traffic Control Signal Heads Part 3: Light-Emitting Diode (LED) Vehicle Arrow Traffic Signal