<div class="csl-bib-body">
<div class="csl-entry">Hoch, R. (2019). <i>Connecting process models, object life cycles and context-dependent conditions through semantic specifications</i> [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2019.67744</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2019.67744
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/8609
-
dc.description.abstract
Conceptual models of process-centric software can be taskor artefact-centric. These approaches are mostly used in isolation and no formal connection exists. Tasks in (business) processes may be executed by services and operate on business objects (artefacts). In general, there is no formal definition of the actions a task performs and how this has effects on business objects. In essence, there is no connection between a task, its executing service(s) and business object(s). Moreover, business objects may not change their status arbitrarily but only in a well-defined order according to their object life cycle. Since there exists no defined connection between the models, they are often not consistent with each other, e.g., a process may perform an action that does not fit the object life cycle. Thus, formally verifying consistency of process models and object life cycles is desirable. This thesis presents an approach to formally connect tasks in process models and object life cycles through semantic specifications. We declaratively specify the actions that a task performs, via preand post-conditions, and relate them to attributes of object life cycles, i.e., we ground them in the object life cycle. This establishes a well-defined connection between the conceptual models of processes and business objects and enables checking their consistency. An additional complication is that in different contexts, defined by business rules, a task may have different conditions that have to be fulfilled for its execution, i.e., tasks are context-dependent. Thus, we propose semantically specified context-dependent conditions. The semantic specifications of tasks in processes are enriched with context information and their preand post-conditions are adapted accordingly. This allows checking the consistency of process models against object life cycles in a specific context. In order to guarantee that the same (software) services can be reused for implementing tasks in different contexts, the specifications of the former must be in subtyping relationships with the specifications of the latter. Even a recursive application of this approach on different levels of abstractions is possible. On a higher abstraction level, a composition of tasks may be viewed as a single step in the process as long as the subtyping relationship is enforced. In conclusion, the proposed approach enables to formally connect process models, object life cycles and context-dependent conditions and to verify if they are procedurally and logically consistent.
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Process models
en
dc.subject
object life cycles
en
dc.subject
semantic specification
en
dc.subject
semantic task specification
en
dc.subject
formal verification
en
dc.subject
model checking
en
dc.subject
fluent calculus
en
dc.title
Connecting process models, object life cycles and context-dependent conditions through semantic specifications
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.identifier.doi
10.34726/hss.2019.67744
-
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Ralph Hoch
-
dc.publisher.place
Wien
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
dc.contributor.assistant
Popp, Roman
-
tuw.publication.orgunit
E384 - Institut für Computertechnik
-
dc.type.qualificationlevel
Doctoral
-
dc.identifier.libraryid
AC15406101
-
dc.description.numberOfPages
116
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:1-126811
-
dc.thesistype
Dissertation
de
dc.thesistype
Dissertation
en
tuw.author.orcid
0000-0002-8131-1091
-
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.advisor.staffStatus
staff
-
tuw.assistant.staffStatus
staff
-
item.languageiso639-1
en
-
item.fulltext
with Fulltext
-
item.openaccessfulltext
Open Access
-
item.mimetype
application/pdf
-
item.openairetype
doctoral thesis
-
item.grantfulltext
open
-
item.openairecristype
http://purl.org/coar/resource_type/c_db06
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E384-01 - Forschungsbereich Software-intensive Systems