loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: David Billington ; Vladimir Estivill-Castro ; Rene Hexel and Andrew Rock

Affiliation: Griffith University, Australia

Keyword(s): Automata and logic for system analysis and verification, Petri nets, Requirements engineering.

Related Ontology Subjects/Areas/Topics: Architectural Design and Meta Architectures ; Cross-Feeding between Data and Software Engineering ; Model-Driven Engineering ; Paradigm Trends ; Requirements Engineering Frameworks and Models ; Service-Oriented Software Engineering and Management ; Software and Systems Development Methodologies ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: We extend the state diagrams used for dynamic modelling in object-oriented analysis and design. We suggest that the events which label the state transitions be replaced with plausible logic expressions. The result is a very effective descriptive and declarative mechanism for specifying requirements that can be applied to requirements engineering of robotic and embedded systems. The declarative model can automatically be translated and requirements are traceable to implementation and validation, minimising faults from the perspective of software engineering. We compare our approach with Petri Nets and Behavior Trees using the well-known example of the one-minute microwave oven.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.90.236.179

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Billington, D.; Estivill-Castro, V.; Hexel, R. and Rock, A. (2010). NON-MONOTONIC REASONING FOR REQUIREMENTS ENGINEERING - State Diagrams Driven by Plausible Logic. In Proceedings of the Fifth International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-8425-21-8; ISSN 2184-4895, SciTePress, pages 68-77. DOI: 10.5220/0002998300680077

@conference{enase10,
author={David Billington. and Vladimir Estivill{-}Castro. and Rene Hexel. and Andrew Rock.},
title={NON-MONOTONIC REASONING FOR REQUIREMENTS ENGINEERING - State Diagrams Driven by Plausible Logic},
booktitle={Proceedings of the Fifth International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2010},
pages={68-77},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002998300680077},
isbn={978-989-8425-21-8},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the Fifth International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - NON-MONOTONIC REASONING FOR REQUIREMENTS ENGINEERING - State Diagrams Driven by Plausible Logic
SN - 978-989-8425-21-8
IS - 2184-4895
AU - Billington, D.
AU - Estivill-Castro, V.
AU - Hexel, R.
AU - Rock, A.
PY - 2010
SP - 68
EP - 77
DO - 10.5220/0002998300680077
PB - SciTePress