Vortrag: MODELING TEMPORAL REQUIREMENTS OF PROCESSES
Stammdaten
Titel: | MODELING TEMPORAL REQUIREMENTS OF PROCESSES |
Beschreibung: | 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: durations, deadlines, temporal constraints and goals. Nevertheless, temporal aspects are not yet prominently treated in requirements engineering or business process management. Models for representing requirements need to express temporal properties of the context resp. the environment, which have to be considered 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 admissible time-span between events, and deadlines. Furthermore, these models need a notion of correctness and we discuss different notions like satisfiability and controllability. We also present techniques, which can be employed to check whether temporal requirements are conflicting and to derive temporal properties. |
Schlagworte: | Datenbanken: Design, Auswahl, Realisierung, Tuning - Evolution von Informationssystemen - Expertensysteme, regelbasierte Systeme, aktive und deduktive Datenbanken - Konzeptuelle Modellierung - Workflow-Management-Systeme - XML und semistrukturierte Daten |
Typ: | Angemeldeter Vortrag |
Homepage: | https://nemo.omilab.org/nemo/2022/docs/NEMO2022_Program_FINAL.pdf |
Veranstaltung: | NEMO 2022 - 8th Int. Summer School on Next Generation Modeling (Vienna) |
Datum: | 13.07.2022 |
Vortragsstatus: | stattgefunden (Präsenz) |
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster |
|
Vortragsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
TeilnehmerInnenkreis |
|
Publiziert? |
|
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 | Keine verknüpften Veranstaltung vorhanden |
Vorträge | Keine verknüpften Vorträge vorhanden |