Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
IEEE Transactions on Software Engineering
SIP: a key component for Internet telephony
Computer Telephony
Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
End-to-end arguments in system design
ACM Transactions on Computer Systems (TOCS)
Software agents as next generation software components
Component-based software engineering
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
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
Feature Interactions in Telecommunications and Software Systems VI
Feature Interactions in Telecommunications and Software Systems VI
Feature Interactions in Telecommunications Systems
Feature Interactions in Telecommunications Systems
Policies for Feature Interaction Resolution
MMNS '00 Proceedings of the EEE/IFIP TC6 - WG6.4 & WG6.6 Third International Conference on Management of Multimedia Networks and Services: Managing QoS in Multimedia Networks and Services
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
An open architecture for next-generation telecommunication services
ACM Transactions on Internet Technology (TOIT)
Component coordination: a telecommunication case study
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
A survey of active network research
IEEE Communications Magazine
An open architecture for next-generation telecommunication services
ACM Transactions on Internet Technology (TOIT)
Application of Graph Transformation in Verification of Dynamic Systems
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Unified telecom and web services composition: problem definition and future directions
Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications
Reusable features for VoIP service realization
Principles, Systems and Applications of IP Telecommunications
Mid-call, multi-party, and multi-device telecommunication features and their interactions
IPTcomm '11 Proceedings of the 5th International Conference on Principles, Systems and Applications of IP Telecommunications
A formal model of addressing for interoperating networks
FM'05 Proceedings of the 2005 international conference on Formal Methods
Experience with component-based development of a telecommunication service
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Compositional binding in network domains
FM'06 Proceedings of the 14th international conference on Formal Methods
Journal of Systems and Software
| Hi-index | 0.00 |
Address translation causes a wide variety of interactions among telecommunication features. This article begins with a formal model of address translation and its effects, and with principles for understanding how features should interact in the presence of address translation. There is a simple and intuitive set of constraints on feature behavior so that features will interact according to the principles. This scheme (called "ideal address translation") has provable properties, is modular (explicit cooperation among features is not required), and supports extensibility (adding new features does not require changing old features). The article also covers reasoning in the presence of exceptions to the constraints, limitations of the theory, relation to real networks and protocols, and relation to other research.