Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Marc Voorhoeve"'
Autor:
H. M. W. Verbeek, W.M.P. van der Aalst, Natalia Sidorova, K.M. van Hee, Moe Thandar Wynn, A.H.M. ter Hofstede, Marc Voorhoeve
Publikováno v:
Formal Aspects of Computing, 23(3), 333-363. Springer
Workflow nets , a particular class of Petri nets, have become one of the standard ways to model and analyze workflows. Typically, they are used as an abstraction of the workflow that is used to check the so-called soundness property . This property g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94ff0103532def67327cabc6e5cf0de6
https://doi.org/10.1007/s00165-010-0161-4
https://doi.org/10.1007/s00165-010-0161-4
Publikováno v:
Journal of Logic and Algebraic Programming, 79(3-5), 233-244. Elsevier
The accordance pre-order describes whether a service can safely be replaced by another service. That is, all partners for the original service should be partners for the new service. Partners for a service interact with the service in such a way that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d95364f49526defc1a3172f6d088553
https://doi.org/10.1016/j.jlap.2009.12.001
https://doi.org/10.1016/j.jlap.2009.12.001
Publikováno v:
Fundamenta Informaticae, 93(1-3), 171-184. IOS Press
Deleting a record from a database table without modifying other records or tables can easily lead to a violation of the database constraints. The same holds for other database operations. In this paper we generate descriptions of transactions trigger
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::97b326cb76b173b092035374df51aaec
https://doi.org/10.3233/fi-2009-0095
https://doi.org/10.3233/fi-2009-0095
Publikováno v:
Data & Knowledge Engineering, 64(1), 24-37. Elsevier
In this paper we study the use of case history for control structures in workflow processes. History-dependent control offers much more modeling power than classical control structures and it solves several semantical problems of industrial modeling
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9db150aba496f380189e4d6add96a07
https://doi.org/10.1016/j.datak.2007.06.005
https://doi.org/10.1016/j.datak.2007.06.005
Publikováno v:
Science of Computer Programming, 65(1), 30-40. Elsevier
Choices in business processes are often based on the process history saved as a log-file listing events and their time stamps. In this paper we introduce LogLogics, a finite-path variant of the Timed Propositional Temporal Logic with Past, which can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b904b65e10f7182da7d1b721d7725fa
Publikováno v:
Data & Knowledge Engineering, 56(1), 4-22. Elsevier
Business Process Management
Business Process Management
State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many models. We present an approach to the engineering of complex systems ba
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f11cefd870100221ddadcbd05dfd8894
https://research.tue.nl/en/publications/1f6a7a40-7e28-4e59-947b-564357c12609
https://research.tue.nl/en/publications/1f6a7a40-7e28-4e59-947b-564357c12609
Autor:
Marc Voorhoeve, Sjouke Mauw
Publikováno v:
Information Processing Letters, 80(1), 51-58. Elsevier
We present a class ⪯ n of process preorders related to contrasimulation equivalence and characterize the predicates they preserve. For the preorder ⪯ 2 (impossible futures) an axiomatization is given.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f323d15a48387cf3b8d052b4d45f88f2
https://research.tue.nl/en/publications/796bbf90-f08a-4550-bcd8-d965dbe2de58
https://research.tue.nl/en/publications/796bbf90-f08a-4550-bcd8-d965dbe2de58
Publikováno v:
IEEE Parallel and Distributed Technology : Systems and Applications, 3(3), 50-62. IEEE Computer Society
This study evaluates the ability of ExSpect, a toolkit for simulating and analyzing complex distributed systems using colored Petri nets, to analyze ISL specifications for railway interlockings.A railway interlocking--which is designed to guarantee t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9aa4700c0566588846dfa27ffac07141
https://doi.org/10.1109/M-PDT.1995.414843
https://doi.org/10.1109/M-PDT.1995.414843
Publikováno v:
ACSD
Model-driven Design-Space Exploration (DSE) for embedded systems has proven to speed up system design and improve quality. Parameterized Partial Orders (PPOs) are a simple yet powerful conservative extension of classical partial orders. They serve as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c7eb8ac3f48f5e88b961cce02e9c4dbc
https://doi.org/10.1109/acsd.2011.14
https://doi.org/10.1109/acsd.2011.14
Autor:
Marc Voorhoeve, Arjan J. Mooij
Publikováno v:
ACSD
Adapters are used to establish proper interaction betweensystems that have been developed independently. We study anapproach for generating behavioral adapters, and proposesome substantial improvements regarding the computationtime and the complexity
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ebd318f36ae0d9a37459d02ed533d82
https://doi.org/10.1109/acsd.2009.13
https://doi.org/10.1109/acsd.2009.13