A Requirements Modeling Language and Its Logic

1986 ◽  
pp. 471-502 ◽  
Author(s):  
Sol J. Greenspan ◽  
Alexander Borgida ◽  
John Mylopoulos
Keyword(s):  
Modeling Language ◽  
Requirements Modeling

PASER: A Pattern-Based Approach to Service Requirements Analysis

2019 ◽  
Vol 29 (04) ◽  
pp. 547-576 ◽  
Author(s):  
Ye Wang ◽  
Ting Wang ◽  
Jie Sun
Keyword(s):  
Natural Language Processing ◽  
Language Processing ◽  
Intermediate Product ◽  
Process Model ◽  
Requirements Analysis ◽  
Modeling Language ◽  
Engineering Process ◽  
Workflow Patterns ◽  
Requirements Modeling

Inconsistent specification are an inevitable intermediate product of a service requirements engineering process. In order to reduce requirements inconsistencies, we propose PASER, a Pattern-based Approach to Service Requirements analysis. The PASER approach first extracts the process information from service documents via natural language processing (NLP) techniques, then uses a requirements modeling language – Workflow-Patterns-based Process Language (WPPL) — to build the process model. Finally, through matching with workflow patterns, the inconsistencies in service requirements are identified and resolved by checking against a set of checking rules. We have conducted a preliminary experiment to evaluate it. An ATM service case study is presented as a running example to illustrate our approach.

scholarly journals A modeling language to support early lifecycle requirements modeling for systems engineering

2012 ◽  
Vol 8 ◽  
pp. 201-206 ◽  
Author(s):  
Florian Schneider ◽  
Helmut Naughton ◽  
Brian Berenbach
Keyword(s):  
Systems Engineering ◽  
Modeling Language ◽  
Requirements Modeling

Towards a unified Requirements Modeling Language

2010 ◽  
Author(s):  
Jonas Helming ◽  
Maximilian Koegel ◽  
Florian Schneider ◽  
Michael Haeger ◽  
Christine Kaminski ◽  
...  
Keyword(s):  
Modeling Language ◽  
Requirements Modeling

Requirements Modeling for System Engineering Using SysML, the Systems Modeling Language

2004 ◽  
Author(s):  
Laurent Balmelli ◽  
Alan Moore
Keyword(s):  
System Modeling ◽  
Unified Modeling Language ◽  
System Engineering ◽  
Modeling Language ◽  
Systems Modeling ◽  
Object Modeling ◽  
Unified Modeling ◽  
Requirements Modeling ◽  
Modeling Group ◽  
Request For Proposal

In this paper we present the model supporting the Requirement diagram in the emerging standard SysML, the System Modeling Language. SysML is the extension to System Engineering of the Unified Modeling Language (UML) proposed by the SysML and recently accepted as a answer to the Request for Proposal from the Object Modeling Group (OMG). We explain the rationale behind the construct of the model and give several examples to illustrate its features.

Requirements Modeling Language and Automated Testing for CubeSats

2019 ◽  
Author(s):  
Abdulaziz Alanazi ◽  
Andrew B. Jones ◽  
Jeremy Straub
Keyword(s):  
Automated Testing ◽  
Modeling Language ◽  
Requirements Modeling

scholarly journals Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica

2021 ◽  
Author(s):  
Daniel Bouskela ◽  
Alberto Falcone ◽  
Alfredo Garro ◽  
Audrey Jardin ◽  
Martin Otter ◽  
...  
Keyword(s):  
Systems Engineering ◽  
Cyber Physical Systems ◽  
Modeling Language ◽  
Design Development ◽  
High Lift ◽  
Air Conditioning System ◽  
Physical Systems ◽  
Requirements Modeling ◽  
System Requirements ◽  
Formal Requirements

AbstractThe increasing complexity of cyber-physical systems (CPSs) makes their design, development and operation extremely challenging. Due to the nature of CPS that involves many heterogeneous components, which are often designed and developed by organizations belonging to different engineering domains, it is difficult to manage, trace and verify their properties, requirements and constraints throughout their lifecycle by using classical techniques. In this context, the paper presents an integrated solution to formally define system requirements and automate their verification through simulation. The solution is based on the FOrmal Requirements Modeling Language and the Modelica language. The solution is exemplified through two case studies concerning a Trailing-Edge High-Lift system and a Heating, Ventilation and Air Conditioning system.

Sign in / Sign up

Export Citation Format

Share Document