loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Johann Eder ; Marco Franceschetti and Josef Lubas

Affiliation: Department of Informatics-Systems, Universität Klagenfurt, Austria

Keyword(s): Requirements Engineering, Temporal Constraint, Controllability, Consistency, Process Model.

Abstract: Processes are ubiquitous for modeling dynamic phenomena in many areas like business, production, health care, robotics etc. Many of these applications require to adequately deal with temporal aspects. Nevertheless, temporal aspects are not yet prominently treated in requirements engineering. Models for representing requirements need to express temporal properties of the context resp. the environment, which have to be taken into account for designing systems. And they need to express temporal conditions, which have to be satisfied or which represent properties of goals that should be reached. Models, therefore, contain constructs for durations, temporal constraints like allowed time between events, and deadlines. Furthermore, these models need a notion of correctness and we discuss different notions like satisfiability and controllability, and techniques, which can be employed to check these properties of these models at design time.

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 18.97.9.172

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:
Eder, J. ; Franceschetti, M. and Lubas, J. (2021). Time and Processes: Towards Engineering Temporal Requirements. In Proceedings of the 16th International Conference on Software Technologies - ICSOFT; ISBN 978-989-758-523-4; ISSN 2184-2833, SciTePress, pages 9-16. DOI: 10.5220/0010625400090016

@conference{icsoft21,
author={Johann Eder and Marco Franceschetti and Josef Lubas},
title={Time and Processes: Towards Engineering Temporal Requirements},
booktitle={Proceedings of the 16th International Conference on Software Technologies - ICSOFT},
year={2021},
pages={9-16},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010625400090016},
isbn={978-989-758-523-4},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the 16th International Conference on Software Technologies - ICSOFT
TI - Time and Processes: Towards Engineering Temporal Requirements
SN - 978-989-758-523-4
IS - 2184-2833
AU - Eder, J.
AU - Franceschetti, M.
AU - Lubas, J.
PY - 2021
SP - 9
EP - 16
DO - 10.5220/0010625400090016
PB - SciTePress