Formal description of distributed multimedia systems: an assessment of potential techniques

Bowman, Howard; Blair, Gordon S.; Blair, Lynne; Chetwynd, Amanda G.

doi:10.1016/0140-3664(96)81596-9

Cited by 5 publications

(2 citation statements)

References 46 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…8 EFSMs communicate with each other by message passing through a number of first-in-firstout ͑FIFO͒ unidirectional queues ͑channels͒, which associate with some buffers at the endpoints of the corresponding EFSMs respectively. …”

Section: Extended Finite State Modelmentioning

confidence: 99%

Jumpstart just-in-time signaling protocol: a formal description using extended finite state machines

Zaim¹

2003

Opt. Eng

View full text Add to dashboard Cite

We present a formal protocol description for a just-in-time (JIT) signaling scheme running over a core dense wavelength division multiplexing (DWDM) network that utilizes optical burst switches (OBSs). We apply an eight-tuple extended finite state machine (EFSM) model to formally specify the protocol. Using the EFSM model, we define the communication between a source client node and a destination client node through an ingress and one or multiple intermediate switches. We work on on-the-fly and persistent unicast connections. The communication between the EFSMs is handled through messages.

show abstract

Section: Extended Finite State Modelmentioning

confidence: 99%

Jumpstart just-in-time signaling protocol: a formal description using extended finite state machines

Zaim¹

2003

Opt. Eng

View full text Add to dashboard Cite

show abstract

“…However, pure finite state machine is not a rich enough modeling technique to be used as a general purpose FDT [7]. To make finite state machine based modeling viable, a number of extended finite state machine paradigms have been proposed, such as SDL, Estelle, Statecharts, X-machines, etc.…”

Section: Introductionmentioning

confidence: 99%

FSM4WSR: A Formal Model for Verifiable Web Service Runtime

Zhao

et al. 2011

2011 IEEE Asia-Pacific Services Computing Conference

View full text Add to dashboard Cite

Web service runtime is an important infrastructure middleware for service-based applications. It processes exchanged messages according to web service protocols. Correct implementation of web service protocols is critical for ensuring the reliability of web service runtime. In this paper, we first introduce a Service-Oriented Description Language (SODL) to precisely and concisely describe message processing logics for web service protocol implementations. Then, we propose a formal model for verifiable web service runtime, named FSM4WSR, based on Estelle (an ISO formal description standard). FSM4WSR uses module and channel to capture the essential components of the runtime architecture. Furthermore, the internal behaviors in each module are formally described by using a combination of the extended finite-state machine and SODL. Based on FSM4WSR, we automatically generate the web service protocol implementations and construct a verifiable web service runtime system, named XServices SODLRuntime.

show abstract

The specification and testing of conformance in ODP systems

Linington

Derrick

Bowman

1996

Testing of Communicating Systems

View full text Add to dashboard Cite

Open Distributed Processing (ODP) is a joint standardisation activity of the ISO and lTV. A reference model has been defined which describes an architecture for building open distributed systems. This paper introduces the key aspects of the reference model of open distributed processing, including the ODP conformance framework. We discuss how specific formal techniques are used in the ODP viewpoints, along with the implications for conformance assessment using such techniques. Particular attention is given to the role of consistency in the conformance assessment process. Finally, we review the current work on an ODP conformance testing methodology.Keywords: Open Distributed Processing; Conformance; Formal Description Techniques. THE OPEN DISTRIBUTED PROCESSING MODELOpen Distributed Processing (ODP) (29) is a joint standardisation activity of the ISO and ITU. A reference model has been defined which describes an architecture for building open distributed systems [36,33). Central to this architecture is a viewpoints model. This enables distributed systems to be described from a number of different perspectives. There are five viewpoints : enterprise, in/ormation, computational, engineering and technology. Requirements and specifications of an ODP system can be made from any of these viewpoints.The framework for the standardization of Open Distributed Processing is provided by the Reference Model for Open Distributed Processing (RM-ODP), the essential, normative parts of which were completed early in 1995. The RM-ODP gives a structure for a family of standards for common interfaces, reusable components and supporting notations needed for the establishment of a wide range of distributed systems.The reference model is published as ISO 10746, and is in four parts (

show abstract

Formal description of distributed multimedia systems: an assessment of potential techniques

Cited by 5 publications

References 46 publications

Jumpstart just-in-time signaling protocol: a formal description using extended finite state machines

Jumpstart just-in-time signaling protocol: a formal description using extended finite state machines

FSM4WSR: A Formal Model for Verifiable Web Service Runtime

The specification and testing of conformance in ODP systems

Contact Info

Product

Resources

About