Publikation: Time and Processes:Towards Engineering ...
Stammdaten
Titel: | Time and Processes:Towards Engineering Temporal Requirements |
Untertitel: | |
Kurzfassung: | 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. |
Schlagworte: | requirements engineering; temporal constraint; controllability; consistency; process model |
Publikationstyp: | Beitrag in Proceedings (Autorenschaft) |
Erscheinungsdatum: | 2021 (Online) |
Erschienen in: |
Proceedings of the 16th International Conference on Software Technologies (ICSOFT 2021)
Proceedings of the 16th International Conference on Software Technologies (ICSOFT 2021)
(
SciTePress - Science and Technology Publications;
H. Fill, M. van Sinderen, L. Maciaszek
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | - |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 09 - 16 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 2021 |
ISBN (e-book): |
|
eISSN: | 2184-2833 |
DOI: | http://dx.doi.org/10.5220/0010625400090016 |
Homepage: | https://www.scitepress.org/Link.aspx?doi=10.5220/0010625400090016 |
Open Access |
|
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: | Keine verknüpften Projekte vorhanden |
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: |
|
Vorträge: |
|