short-paper

A DSL for requirements in the context of a seamless approach

Author:

Florian GalinierAuthors Info & Claims

ASE '18: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering

Pages 932 - 935

https://doi.org/10.1145/3238147.3241538

Published: 03 September 2018 Publication History

Abstract

Reducing the lack of consistency between requirements and the system that should satisfy these requirements is one of the major issue in Requirement Engineering (RE). The objective of my thesis work is to propose a seamless approach, allowing users to express requirements, specifications and the system itself in a unique language.

The purpose of formal approaches is to reduce inconsistency. However, most developers are not familiar with these approaches, and they are not often used outside the critical systems domain. Since we want that non-experts can also use our approach to validate systems in the early stage of their development, we propose a Domain Specific Language (DSL) that is: (i) close to natural language, and (ii) based on a formal semantics. Using Model-Driven Engineering (MDE), this language bridges the gap not only between the several stakeholders that can be involved in a project, considering their different backgrounds, but also between the requirements and the code.

References

[1]

INCOSE. SE Vision 2025. 2014. http://www.incose.org/docs/default-source/ aboutse/se-vision-2025.pdf.

[2]

Matt Lake. Epic failures: 11 infamous software bugs | Computerworld, 2010.

[3]

Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, and Bertrand Meyer. Seamless integration of multirequirements in complex systems. In 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), pages 21– 25. IEEE, 2017.

[4]

Jean-Raymond Abrial. Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York, NY, USA, 1st edition, 2010.

[5]

Dines Bjørner and Cliff B. Jones, editors. The Vienna Development Method: The Meta-Language, volume 61 of LNCS. Springer-Verlag, 1978.

Digital Library

[6]

IBM Rational Doors. https://www.ibm.com/us-en/marketplace/ requirements-management. Accessed: 2018-05-23.

[7]

Dassault Systems Catia Reqtify. https://www.3ds.com/products-services/catia/ products/reqtify. Accessed: 2018-05-23.

[8]

Object Management Group (OMG). OMG Systems Modeling Language (OMG SysML™), V1.0. 2007. OMG Document Number: formal/2007-09-01 Standard document

[9]

Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H. C. Cheng, and Jean-Michel Bruel. RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. In 2009 17th IEEE International Requirements Engineering Conference, pages 79–88, 2009.

Digital Library

[10]

Bertrand Jeannet and Fabien Gaucher. Debugging real-time systems requirements: simulate the “what” before the “how”. In Embedded World Conference, Nürnberg, Germany, 2015.

[11]

Seong-ick Moon, Kwang H. Lee, and Doheon Lee. Fuzzy branching temporal logic. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), 34(2):1045–1055, April 2004.

Digital Library

[12]

Jean-Louis Colaço, Bruno Pagano, and Marc Pouzet. A Conservative Extension of Synchronous Data-flow with State Machines. In Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT ’05, pages 173–182, New York, NY, USA, 2005. ACM.

Digital Library

[13]

Pascal Raymond, Yvan Roux, and Erwan Jahier. Specifying and Executing Reactive Scenarios With Lutin. Electronic Notes in Theoretical Computer Science, 203(4):19– 34, June 2008.

Digital Library

[14]

Richard Paige and Jonathan Ostroff. The Single Model Principle. In Proceedings of the Fifth IEEE International Symposium on Requirements Engineering, RE ’01, pages 292–, Washington, DC, USA, 2001. IEEE Computer Society.

Digital Library

[15]

Bertrand Meyer. Multirequirements. Modelling and Quality in Requirements Engineering (Martin Glinz Festscrhift), 2013.

[16]

Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, and Sophie Ebersold. Expressing and verifying embedded software requirements. arXiv preprint arXiv:1710.02801, 2017.

[17]

Bertrand Meyer. Applying ’design by contract’. Computer, 25(10):40–51, October 1992.

Digital Library

[18]

Alexandr Naumchev and Bertrand Meyer. Complete contracts through specification drivers. arXiv:1602.04007 {cs}, February 2016. arXiv: 1602.04007.

[19]

Gary T Leavens, Albert L Baker, and Clyde Ruby. Preliminary design of jml: A behavioral interface specification language for java. ACM SIGSOFT Software Engineering Notes, 31(3):1–38, 2006.

Digital Library

[20]

Julian Tschannen, Carlo A. Furia, Martin Nordio, and Nadia Polikarpova. AutoProof: Auto-Active Functional Verification of Object-Oriented Programs. In Christel Baier and Cesare Tinelli, editors, Tools and Algorithms for the Construction and Analysis of Systems, number 9035 in Lecture Notes in Computer Science, pages 566–580. Springer Berlin Heidelberg, April 2015.

Digital Library

[21]

Emmanuel Letier. Reasoning about agents in goal-oriented requirements engineering. PhD thesis, PhD thesis, Université catholique de Louvain, 2001.

[22]

Carlos Solis and Xiaofeng Wang. A study of the characteristics of behaviour driven development. In Software Engineering and Advanced Applications (SEAA), 2011 37th EUROMICRO Conference on, pages 383–387. IEEE, 2011.

Digital Library

[23]

Matt Wynne, Aslak Hellesoy, and Steve Tooke. The cucumber book: behaviourdriven development for testers and developers. Pragmatic Bookshelf, 2017.

Digital Library

[24]

Axel van Lamsweerde. Goal-oriented requirements engineering: a guided tour. In Proceedings Fifth IEEE International Symposium on Requirements Engineering, pages 249–262, 2001.

Digital Library

[25]

Frédéric Boniol and Virginie Wiels. The Landing Gear System Case Study. In Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, and Klaus-Dieter Schewe, editors, ABZ 2014: The Landing Gear Case Study, number 433 in Communications in Computer and Information Science, pages 1–18. Springer International Publishing, June 2014.

Cited By

Zafar MAfzal WEnoiu EYaman SPrada RKifetew FCardozo N(2021)Towards a workflow for model-based testing of embedded systemsProceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation10.1145/3472672.3473956(33-40)Online publication date: 23-Aug-2021
https://dl.acm.org/doi/10.1145/3472672.3473956
Cristaldo PDe Luise DLa Pietra LDe Battista A(2021)Adjustment Level Metrics for Requirements in Project Management2021 8th International Conference on Soft Computing & Machine Intelligence (ISCMI)10.1109/ISCMI53840.2021.9654823(145-154)Online publication date: 26-Nov-2021
https://doi.org/10.1109/ISCMI53840.2021.9654823

Index Terms

A DSL for requirements in the context of a seamless approach
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
    2. Software verification and validation
      1. Formal software verification

Recommendations

A requirements engineering approach for usability-driven DSL development
SLE 2017: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering

There is currently a lack of Requirements Engineering (RE) approaches applied to, or supporting, the development of a Domain-Specific Language (DSL) taking into account the environment in which it is to be used. We present a model-based RE approach to ...
A Metamodel for Tracing Non-functional Requirements
CSIE '09: Proceedings of the 2009 WRI World Congress on Computer Science and Information Engineering - Volume 07

The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs an the software project, leave typical existing software modeling methods ...
An Ontological Approach to Specify Conflicts among Non-Functional Requirements
ICGDA '19: Proceedings of the 2019 2nd International Conference on Geoinformatics and Data Analysis

It is a usual practice for a user to narrate the Non-Functional Requirements (NFRs) in natural language and the requirements engineers manually try to express the same, using semi-formal or formal language notations. However, inaccurate and the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ASE '18: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering

September 2018

955 pages

ISBN:9781450359375

DOI:10.1145/3238147

General Chair:
Marianne Huchard
University of Montpellier, France
,
Program Chairs:
Christian Kästner
Carnegie Mellon University, USA
,
Gordon Fraser
University of Passau, Germany

Copyright © 2018 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAI: ACM Special Interest Group on Artificial Intelligence
CNRS: Centre National De La Rechercue Scientifique
SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 September 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Conference

ASE '18

Sponsor:

SIGAI
CNRS
SIGSOFT
IEEE-CS

ASE '18: 33rd ACM/IEEE International Conference on Automated Software Engineering

September 3 - 7, 2018

Montpellier, France

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
170
Total Downloads

Downloads (Last 12 months)12
Downloads (Last 6 weeks)2

Reflects downloads up to 30 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Zafar MAfzal WEnoiu EYaman SPrada RKifetew FCardozo N(2021)Towards a workflow for model-based testing of embedded systemsProceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation10.1145/3472672.3473956(33-40)Online publication date: 23-Aug-2021
https://dl.acm.org/doi/10.1145/3472672.3473956
Cristaldo PDe Luise DLa Pietra LDe Battista A(2021)Adjustment Level Metrics for Requirements in Project Management2021 8th International Conference on Soft Computing & Machine Intelligence (ISCMI)10.1109/ISCMI53840.2021.9654823(145-154)Online publication date: 26-Nov-2021
https://doi.org/10.1109/ISCMI53840.2021.9654823

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten