Structural models for specifying telephone systems

Faci, Mohammed; Logrippo, Luigi; Stepien, Bernard

doi:10.1016/s0169-7552(96)00110-9

Cited by 11 publications

(6 citation statements)

References 21 publications

(7 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We use the algebraic specification language LOTOS [BoBr87] [LoFH92] for feature specification [FaLS97]. LOTOS semantics are based on the concept of labeled transition systems (LTSs).…”

Section: Basic Concepts and Notationmentioning

confidence: 99%

“…Figure 2 (a) shows the POTS (Plain Old Telephone Service, denoting a basic featureless telephone system) model defined in [FaLS91] for the specification of basic call processing. The model is based on the concept of constraints which is used to structure the specification [FaLS91] [FaLS97]. A specification is expressed as a set of communicating processes representing three types of constraints: local constraints, end-to-end constraints, and global constraints: Local constraints are used to enforce the appropriate sequences of events at each user's interaction point; they are different according to whether the interaction point connects to a Caller telephone or a Called telephone.…”

Section: Specification Of Features In the Context Of A System (Step )mentioning

confidence: 99%

See 1 more Smart Citation

An Algebraic Framework for the Feature Interaction Problem

Faci¹,

Logrippo²

2007

AMAST Series in Computing

Self Cite

View full text Add to dashboard Cite

The problem of augmenting the functionality of a telephone system with new features, without causing unwanted interactions between the features, has received much attention during the last few years [BDCG89]. In industrial practice, detection is done not only by analyzing possible conflicts at the design stage, but also by running extensive libraries of test cases against the new system to see that it still behaves properly. Interestingly, the method we propose in this paper is similar to the one just described. However, being formal, our method allows precise reasoning, leading to precise criteria for choosing the set of test cases and analyzing the test results. Also, by relating the feature interaction problem to the well-known conformance testing problem, our approach makes available in this new area a wealth of well-established results.Because of space considerations, we consider only features that are defined independently and do not "build" on each other, meaning that these features make no assumptions about the behaviours of other features in the system. Also, we consider only single element features [CGLN94]. In this context, the main idea of our method is that in a system integrating features, the behavior of each feature (which is characterized as the sequences of observable actions generated by the feature) should be the same as its behavior in a system where all features are allowed to execute independently. The fact that this is not always the case is one of the main reasons of interactions in practice. In this framework, feature interactions can be detected at the specification stage by using test cases obtained 1

show abstract

“…We use the algebraic specification language LOTOS [BoBr87] [LoFH92] for feature specification [FaLS97]. LOTOS semantics are based on the concept of labeled transition systems (LTSs).…”

Section: Basic Concepts and Notationmentioning

confidence: 99%

Section: Specification Of Features In the Context Of A System (Step )mentioning

confidence: 99%

An Algebraic Framework for the Feature Interaction Problem

Faci¹,

Logrippo²

2007

AMAST Series in Computing

Self Cite

View full text Add to dashboard Cite

show abstract

“…The semantics of LOTOS is based on algebraic concepts and it can be used to describe systems at several levels of abstraction and in several ways, some of which may describe the constraints that determine the system behavior rather than the system architecture [30] [29] [11]. This is an advantage because of various reasons: the language can be used in several phases of the software development cycle (from requirements to implementation [29] [1]); it provides flexibility to address a variety of applications; and it lends itself to many design and validation techniques.…”

Section: Motivationmentioning

confidence: 99%

“…In papers that present LOTOS specifications, structural diagrams are often used [20] [11]. This is useful in order to describe the components of a system and their external interaction points (the gates) but is not useful during the specification validation phase, neither to understand traces, nor to help in the exploration of alternative behaviors in a step-bystep approach.…”

Section: Motivationmentioning

confidence: 99%

Graphic visualization and animation of LOTOS execution traces

Stepien

Logrippo

2002

Computer Networks

Self Cite

View full text Add to dashboard Cite

Abstract. Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to Message Sequence Charts and a graphic animator. These are made possible by enforcing specific LOTOS styles and by providing certain mappings between the elements of LOTOS actions and the elements of the graphic notation. The main application area considered is the visualization and animation of specifications of telephony systems. The use of these tools in software design is discussed briefly. MotivationThe LOTOS language [3][15] [21][29] is one of the standard Formal Description Techniques (FDTs) that have been used widely to specify many kinds of distributed systems, especially in the telecommunications area. The semantics of LOTOS is based on algebraic concepts and it can be used to describe systems at several levels of abstraction and in several ways, some of which may describe the constraints that determine the system behavior rather than the system architecture [30] [29][11]. This is an advantage because of various reasons: the language can be used in several phases of the software development cycle (from requirements to implementation [29] [1]); it provides flexibility to address a variety of applications; and it lends itself to many design and validation techniques. On the other hand this very quality has been an obstacle to industrial adoption, since the language has been perceived as difficult to learn and use, one of the reasons being the absence of generally valid correspondences between system concepts and specification concepts.In papers that present LOTOS specifications, structural diagrams are often used [20][11]. This is useful in order to describe the components of a system and their external interaction points (the gates) but is not useful during the specification validation phase, neither to understand traces, nor to help in the exploration of alternative behaviors in a step-bystep approach. A graphic syntax for LOTOS, called G-LOTOS, was defined [5]. Graphi-

show abstract

“…It provides simplicity and comprehensibility in specifying complicated communication among multiple concurrent processes such as mutual exclusion and dynamic job assignment, which are frequently used in recent communication protocols. In addition, multi-way synchronization enables the constraint oriented specification style [5,13] where each functional unit of a system is designed as an independent module and then appropriate constraints (described as processes) are specified among those modules so that they work cooperatively. This technique is useful, for example, when we frequently need to modify constraints among modules and/or modify internal structure of each functional unit.…”

Section: Introductionmentioning

confidence: 99%

Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization

Katagiri

Yasumoto

Kitajima

et al. 2000

Proceedings of the 37th Conference on Design Automation - DAC '00

View full text Add to dashboard Cite

In this paper, we propose a technique to implement communication protocols as hardware circuits using a model of concurrent EFSMs with multi-way synchronization. Since use of multi-way synchronization enables simple and comprehensible specifications of recent communication protocols which frequently use complicated mechanisms such as mutual exclusion and dynamic job assignment, the proposed model is expected to reduce development cost in designing/developing such protocols. We implement specifications described in the model so that EFSMs work synchronously with the same clock, and that the synchronization mechanism for checking executability of each tuple of synchronizing transitions is implemented as a combinational logic circuit. Through some experiments, we have confirmed that the proposed technique can synthesize hardware circuits with relatively good performances for practical use.

show abstract

Structural models for specifying telephone systems

Cited by 11 publications

References 21 publications

An Algebraic Framework for the Feature Interaction Problem

An Algebraic Framework for the Feature Interaction Problem

Graphic visualization and animation of LOTOS execution traces

Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization

Contact Info

Product

Resources

About