scholarly journals A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems

2002 ◽  
pp. 61-69 ◽  
Author(s):  
Nihal Kececi ◽  
Wolfgang A. Halang ◽  
Alain Abran
Keyword(s):  
Complex Systems ◽  
Formal Method ◽  
Functional Requirements ◽  
Requirements Specifications

scholarly journals On systematically building a controlled natural language for functional requirements

2021 ◽  
Vol 26 (4) ◽  
Author(s):  
Alvaro Veizaga ◽  
Mauricio Alferez ◽  
Damiano Torre ◽  
Mehrdad Sabetzadeh ◽  
Lionel Briand
Keyword(s):  
Information System ◽  
Natural Language ◽  
Qualitative Methodology ◽  
Case Study Research ◽  
Empirical Evaluation ◽  
Functional Requirements ◽  
Industrial Case Study ◽  
Requirements Specifications ◽  
Financial Domain

AbstractNatural language (NL) is pervasive in software requirements specifications (SRSs). However, despite its popularity and widespread use, NL is highly prone to quality issues such as vagueness, ambiguity, and incompleteness. Controlled natural languages (CNLs) have been proposed as a way to prevent quality problems in requirements documents, while maintaining the flexibility to write and communicate requirements in an intuitive and universally understood manner. In collaboration with an industrial partner from the financial domain, we systematically develop and evaluate a CNL, named Rimay, intended at helping analysts write functional requirements. We rely on Grounded Theory for building Rimay and follow well-known guidelines for conducting and reporting industrial case study research. Our main contributions are: (1) a qualitative methodology to systematically define a CNL for functional requirements; this methodology is intended to be general for use across information-system domains, (2) a CNL grammar to represent functional requirements; this grammar is derived from our experience in the financial domain, but should be applicable, possibly with adaptations, to other information-system domains, and (3) an empirical evaluation of our CNL (Rimay) through an industrial case study. Our contributions draw on 15 representative SRSs, collectively containing 3215 NL requirements statements from the financial domain. Our evaluation shows that Rimay is expressive enough to capture, on average, 88% (405 out of 460) of the NL requirements statements in four previously unseen SRSs from the financial domain.

A New Formal Method of Anticorrosion Design

2010 ◽  
Vol 44-47 ◽  
pp. 1449-1454 ◽  
Author(s):  
Peng Fei Zhao ◽  
Yi Zhang ◽  
Zong Bin Li ◽  
Xiao Yang Yuan
Keyword(s):  
Conceptual Design ◽  
Formal Method ◽  
Formal Model ◽  
Early Stage ◽  
Formal Description ◽  
Functional Requirements ◽  
Formal Reasoning ◽  
Sets Theory ◽  
Polychromatic Sets Theory ◽  
Selection Of

To solve the problem of anticorrosion design in early stage of manufacture, a formal method of anticorrosion design was proposed, and a formal model of conceptual design of anticorrosive materials was established by using hierarchical structure, individual color sets and unified color sets. Basing on the reasoning matrices which were established by using polychromatic sets theory, a formal reasoning method was proposed to realize the formal reasoning from the functional requirements to the selection of final scheme. This formal method of conceptual design for anticorrosion based on the polychromatic sets can make the design process of anticorrosion standardized, and facilitate the formal description of the reasoning process and its expression and operation in computer. The method made some useful explorationfor the CAPP integration design of anticorrosion.

A Formal Method of Obligation Policy for Agent Interaction

2014 ◽  
Vol 571-572 ◽  
pp. 481-489
Author(s):  
Tao Zhang ◽  
Hong Xie ◽  
Shao Bin Huang
Keyword(s):  
Formal Method ◽  
Operational Semantics ◽  
Social Commitment ◽  
Requirements Specifications ◽  
Formal Framework ◽  
Agent Interaction ◽  
State Transition System ◽  
State Models ◽  
Dynamic Execution ◽  
High Level

In Multi-Agent System, obligations are actions that agents are required to take or some states of affairs which should be maintained, formal modeling and verifying obligation policy which is high-level requirements specifications or communication protocol for constraining agent interaction can enhance the correctness of the system design. Therefore, in this paper a formal framework language for modeling obligation policy is introduced. In this method, the obligations are defined as a special social commitment, the state models of obligation are defined by classifying the obligation. Then we use the policy context and state model to formal the dynamic execution of obligation policy, finally the operational semantics of the framework language is defined as a state transition system which has Kripke semantic structure and it can be as formal foundation for model checking.

scholarly journals Information Technologies in Complex Socio-Technical Systems Based on Functional Variability: A Case Study on HVAC Maintenance Work Orders

2021 ◽  
Vol 11 (3) ◽  
pp. 1049
Author(s):  
Ivenio T. de Souza ◽  
Ana Carolina Rosa ◽  
Mario C. R Vidal ◽  
Mohammad K. Najjar ◽  
Ahmed W A Hammad ◽  
...  
Keyword(s):  
Information Technologies ◽  
Requirements Elicitation ◽  
Functional Requirements ◽  
Resilience Engineering ◽  
Building Maintenance ◽  
Requirements Specifications ◽  
It Systems ◽  
Maintenance Work ◽  
Technical Systems

Information technology (IT) systems are known to promote improvements in quality and productivity of the work environments of complex and adaptive socio-technical systems that span hardware, community and software aspects. Systems development lies in eliciting and specifying requirements. However, current requirements of elicitation techniques are limited to correctly understanding the complexity involved in socio-technical systems. Therefore, approaches based on Resilience Engineering can provide concepts and methods for a better understanding of socio-technical systems’ functioning. This study aims to increase the application of the Functional Resonance Analysis Method (FRAM) in the requirements elicitation process. Specifically, understanding variability and its role in enhancing the requirements elicitation and specification process for the design/redesign of IT systems in complex socio-technical systems deployed in building maintenance is the main goal. This study proposes the merging of human factors and ergonomics (HFE) and Resilience Engineering concepts with Software Engineering. A case study was performed with workers to produce requirements specifications for work order issuing activity. This case study indicates the usefulness of the proposed approach for the specification of functional requirements to redesign the IT system examined. FRAM enables inferences to be made from hidden or fuzzy situations that are often not expressed by system users or are not detected by the system designer.

An IBIS Based Approach for the Analysis of Non-Functional Requirements

2012 ◽  
Author(s):  
Weili Dai ◽  
Marco Aurisicchio ◽  
Gareth Armstrong
Keyword(s):  
Complex Systems ◽  
Current System ◽  
Software Tool ◽  
Requirement Analysis ◽  
Functional Requirements ◽  
System Specification ◽  
Multiple Stakeholders ◽  
System Requirements

The design of complex systems is based on the needs and expectations of multiple stakeholders. Analysing such elements and transforming them into a rigorous system specification is a long and demanding task. This research is interested in supporting engineers and other stakeholders in the specification of system requirements with a focus on requirement analysis. The paper presents an approach to conduct analysis of non-functional requirements in a way that benefits both the engineers involved in the development of the current system, and those who will need to make improvements to it. The approach includes suggestions towards a tool, a representation, and a method. The tool is a software tool that specialises in capturing decision rationale known as Decision Rationale editor (DRed); the representation is adopted from the IBIS notation; the method is based on a model synthesised from literature on requirement analysis.

Functional Requirements - Digital Office Documents

2003 ◽  
pp. 305-329
Author(s):  
Len Asprey ◽  
Michael Middleton
Keyword(s):  
Requirements Analysis ◽  
User Profiles ◽  
Functional Requirements ◽  
Web Content ◽  
Text Indexing ◽  
Office Environment ◽  
Requirements Specifications ◽  
Indexing And Retrieval ◽  
System Requirements

This chapter is the first in a series that reviews the requirements analysis and definition for IDCM functional requirements. We noted in Chapter 10 that functional statements are an integral part of the development of system requirements specifications for IDCM systems, as distinct from the user requirements that we covered in Chapter 11. In this chapter, we focus on the functional requirements analysis of digital documents within the office environment of business and government enterprises. We consider requirements that are applicable to most types of these documents. Some characteristics that are specific to email, digital drawings, imaging, workflow, and Web content, are discussed in separate chapters. We also provide a series of functionality checklists that practitioners should find useful when defining the functional requirements for IDCM. Our objectives are to explain the attributes and how these may be expressed in requirements analysis for: • Document authoring; • User profiles; • Document volumes; • Document capture; • Metadata utilization; • Storage handling; • Version control; • Renditions; • Compound documents; • Association through hyperlinks; • Full-text indexing and retrieval; • Document viewing; • Printing; • Security and audit; and • Scheduling for archives or disposal.

Sign in / Sign up

Export Citation Format

Share Document