Requirement Modeling Language Research Articles

Requirement Modeling Language for the Dynamic Node Integration Problem of Telecommunication Network

Efficiently locating nodes and allocating demand has been a significant problem for telecommunication network carriers. Most of location models focused on where to locate nodes and how to assign increasing demand with optical access networks. However, the population in industrialized countries will decline over the coming decades. Recent advance in the optical amplifier technology has enabled node integration; an excess telecommunication node is closed and integrated to another node. Node integration in low-demand areas will improve the efficiency of access networks in this approaching age of depopulation. A dynamic node integration problem (DNIP) has been developed to organize the optimal plan for node integration. The problem of the DNIP was that it cannot consider the requirements of network carriers. In actual situations, network carriers often want to specify the way each node is managed, regardless of the mathematical optimality of the solution. This paper proposes a requirement modeling language (RML) for the DNIP, with which the requirements of network carriers can be described. The described statements are used to solve the DNIP, and consequently the calculated optimal solution always satisfies the requirements. The validity of the proposed method was evaluated with computer simulations in a case study.

A comprehensive framework for modeling requirements of CSCW systems

AbstractAs in any other system, an accurate requirements specification is essential to developing a collaborative system, which has special kinds of requirements that are hard to specify by means of current Requirements Engineering techniques. The Collaborative Systems Requirement Modeling Framework (CSRMF) was developed to address this problem; the original Collaborative Systems Requirement Modeling Language was extended and modeled to properly deal with collaboration and awareness requirements. The developed CSRMF framework consists of 3 components: an Requirements Engineering modeling language able to represent collaboration among users as well as awareness needs, a set of design guidelines that drive Computer Supported Cooperative Work system specification by means of 5 different types of diagrams, and a supporting computer‐aided software engineering tool to specify and validate Computer Supported Cooperative Work system requirements. CSRMF provides Requirements Engineers with a complete solution to the specification of awareness‐demanding collaborative systems, as they can now take advantage of a language and a set of guidelines supported by a tool to guide them in specifying system requirements.

Managing OAM&P requirement conflicts

Specifying consistent services at early project stages is a telecommunication service engineering challenge. Service logic inconsistencies, also known as feature interactions (FIs), can affect various types of services ranging from signaling protocol features to value-added end user services. This problem has been investigated for all those types of services. However, inconsistencies of Operation, Administration, Management and Provisioning (OAM&P) services have not been sufficiently addressed. The present paper studies the detection of OAM&P service inconsistencies at the software requirement specification stage. The aim is at the resolution of the problem before reaching the implementation step. The basic idea of the here reported approach is to consider service inconsistencies as software requirement conflicts. The contribution of the present paper consists of an OAM&P requirement modeling language and a requirement conflict detection method. A validation with a case study is reported.

Event-B interpretation for space aircraft description language model

A requirement modeling language called SPARDL was proposed for modeling and analyzing such periodic control systems consisting of periodic behaviors together with the mode transition mechanism.The Event-B interpretation was specified for the SPARDL model.The semantics of SPARDL were presented by Event-B and a refinement framework was introduced to develop the Event-B models based on the features of the SPARDL model.Finally,a case study was analyzed to show the effectiveness of our proposed approach to modeling and validation of the SPARDL model by Event-B.