Formal Method to Derive Interoperability Requirements and Guarantees
نویسندگان
چکیده
Interoperability among telecommunications systems, possibly by different vendors, is essential for both the development of many telecommunications networks, and today's civilization development. Interoperability testing is very costly, as it has a complexity of (n**2) for n systems, and somewhat informal. In this paper, we develop a 'Conformance Testing (CT)'-based formal technique to determine interoperability requirements/guarantees. It allows automated derivation of the interoperability' requirements of various networks as well as the interoperability guarantees among different telecommunications systems. This is achieved using static analysis of the conformance classes of the standard and knowledge of the implementation's degree of conformance (DoC) of the telecommunications systems. Consequently, it results in a lot of cost saving in addition to being a formal technique. Keywords—Computer/Communications Protocols and Standards; Conformance Requirements and Classe; Interoperability; Protocol Data Units (PDUs); Capabilities.
منابع مشابه
Formal Specification of Web Service Contracts for Automated Negotiations and Compliance Checking
Service-oriented computing as a concept for providing interoperability and flexibility within heterogeneous environments has gained much attention within last years. Dynamically integrating external Web services into enterprise applications requires automatic contracting between service requestors and providers and automatic contract monitoring. This paper suggests semi-automatic approach since...
متن کاملGSLHA: Group-based Secure Lightweight Handover Authentication Protocol for M2M Communication
Machine to machine (M2M) communication, which is also known as machine type communication (MTC), is one of the most fascinating parts of mobile communication technology and also an important practical application of the Internet of Things. The main objective of this type of communication, is handling massive heterogeneous devices with low network overheads and high security guarantees. Hence, v...
متن کاملToward a Formal Common Information Model Ontology
Self-managing systems will be highly dependent upon information acquired from disparate applications, devices, components and subsystems. To be effectively managed, such information will need to conform to a common model. One standard that provides a common model for describing disparate computer and network information is the Common Information Model (CIM). Although CIM defines the models nece...
متن کاملAn Ontological Pivot Model to Interoperate Heterogeneous User Requirements
With the globalisation, the development of advanced applications and complex systems requires the implication of a large number of designers that may come from different fields, departments, research laboratories, etc. Usually, they are free to use their favourite vocabularies and formalisms to express the requirements related to their assigned parts of a given project. Various formalisms exist...
متن کاملBridging the gap between KAOS requirements models and B specifications
Employing formal methods for complex systems specification is steadily growing from year to year. Whereas the formal specification process from abstraction to implementation via refinement is well understood, the traceability between initial user requirements (requirements analysis) and the corresponding formal specification is still unsatisfying and ambiguous. In fact, there is little research...
متن کامل