Parallel program design: a foundation
Parallel program design: a foundation
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Relating architecture and specification
Computer Networks and ISDN Systems - Special issue: specification architecture
The Feature and Service Interaction Problem in Telecommunications Systems: A Survey
IEEE Transactions on Software Engineering
A Methodology for Feature Interaction Detection in the AIN 0.1 Framework
IEEE Transactions on Software Engineering
Service specifications: to B, or not to B
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
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 and Software Systems V
Feature Interactions in Telecommunications and Software Systems V
Program Development by Refinement: Case Studies Using the B Method
Program Development by Refinement: Case Studies Using the B Method
Feature Interactions in Telecommunications Systems
Feature Interactions in Telecommunications Systems
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Introducing Dynamic Constraints in B
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Integration Problems in Telephone Feature Requirements
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Incremental Specification of Telecommunication Services
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Feature interactions: a mixed semantic model approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Hi-index | 0.00 |
The feature interaction problem can be managed by the use of abstract models related by the refinement relationship. A service is incrementally built with respect to the requirement and the combination of services is defined as an instance of the refinement relationship. We use the B method and especially the eventbased approach and we show how features and services can be safely combined to obtain a sound model of combined services. Two refinements are defined following directions of refinement and the refinement-as-composition principle is developed with the B-event-based approach called B system. Although service composition is non monotonic, B system provides a framework for analysing services and services composition.