Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem

Authors:
J. Paul Gibson;Dominique Méry
Affiliations:
-;-
Venue:
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Year:
1999

Citing 19
Cited 3

Communicating sequential processes

Communicating sequential processes
Object oriented design with applications

Object oriented design with applications
Formal specification of telephone systems in LOTOS: The constraint-oriented style approach

Computer Networks and ISDN Systems
Object-oriented design

Object-oriented design
The temporal logic of actions

ACM Transactions on Programming Languages and Systems (TOPLAS)
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
The operational versus the conventional approach to software development

Communications of the ACM
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL

Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Feature Interactions in Telecommunications III

Feature Interactions in Telecommunications III
Feature Interactions in Telecommunications Networks IV

Feature Interactions in Telecommunications Networks IV
Feature Interactions in Telecommunications Systems

Feature Interactions in Telecommunications Systems
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
Feature Interactions and Formal Specifications in Telecommunications

Computer
Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems

IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Programming with abstract data types

Proceedings of the ACM SIGPLAN symposium on Very high level languages
Incremental Specification of Telecommunication Services

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Structured Analysis (SA): A Language for Communicating Ideas

IEEE Transactions on Software Engineering
Feature interactions: a mixed semantic model approach

IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods

Playing with Abstraction and Refinement for Managing Features Interactions

ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Multifunctional software systems: Structured modeling and specification of functional requirements

Science of Computer Programming
Modeling crosscutting services with UML sequence diagrams

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We report results of a joint project with France Telecom on the modelling of telephone services (features) using formal methodologies such as OO ACT ONE, B and TLA+. We show how we formalise the feature interaction problem in a multi-view model, and we examine issues such as animation, validation, proof and verification.