Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Mandy Weißbach"'
Autor:
Mandy Weißbach, Wolf Zimmermann
Publikováno v:
Logic, Computation and Rigorous Methods ISBN: 9783030760199
Logic, Computation and Rigorous Methods
Logic, Computation and Rigorous Methods
We present a framework for modeling the semantics of frequent concepts in the context of procedures and functions. In particular, we consider the concepts of recursive and non-recursive procedures, parameter passing mechanisms, return values, procedu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::848ef4f9db51e8656caeed2577ddf073
https://doi.org/10.1007/978-3-030-76020-5_18
https://doi.org/10.1007/978-3-030-76020-5_18
Autor:
Mandy Weißbach, Wolf Zimmermann
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030631604
ESOCC Workshops
ESOCC Workshops
Deadlock-analysis of concurrent service-oriented systems is often done by P/T-net-based approaches. We show that there is a concurrent service-oriented system with synchronous (stack behavior) and asynchronous procedure (concurrent behavior) calls wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::acce0d67bea4bd681797eff29dff64e3
https://doi.org/10.1007/978-3-030-63161-1_6
https://doi.org/10.1007/978-3-030-63161-1_6
Autor:
Mandy Weißbach
Publikováno v:
Communications in Computer and Information Science ISBN: 9783319721248
ESOCC Workshops
ESOCC Workshops
In this paper, we show an abstraction-based approach towards analysis of Service-Oriented Systems with the help of Process Rewrite Systems. On the one hand the approach takes into account recursion, i.e., internal recursion in service implementations
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1fe10570c91fbfa131a02f337888359f
https://doi.org/10.1007/978-3-319-72125-5_20
https://doi.org/10.1007/978-3-319-72125-5_20
Autor:
Mandy Weißbach, Wolf Zimmermann
Publikováno v:
Service-Oriented and Cloud Computing ISBN: 9783319672618
ESOCC
ESOCC
We examine deadlock analysis for service-oriented systems with unbound concurrency and unbound recursion. In particular, abstraction-based approaches are considered, i.e., abstract behavior models are derived from service implementations and composed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf91dcd561873e22039f88260f931d59
https://doi.org/10.1007/978-3-319-67262-5_13
https://doi.org/10.1007/978-3-319-67262-5_13
Autor:
Mandy Weißbach, Wolf Zimmermann
Publikováno v:
WEWST
For safety and deadlock analysis of workflows, Petri-Nets are frequently used. They provide a natural abstraction of workflows since they are able to describe parallel behavior. With a variety of model checking tools, it is possible to verify these w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::40f273c0b5147ecc65766ae7c324adaf
https://doi.org/10.1145/1883133.1883137
https://doi.org/10.1145/1883133.1883137
Autor:
Matthias Lange, Karl Spies, Joachim Bargsten, Gregor Haberhauer, Matthias Klapperstück, Michael Leps, Christian Weinel, Röbbe Wünschiers, Mandy Weißbach, Jens Stein, Uwe Scholz
Publikováno v:
Journal of Integrative Bioinformatics, Vol 7, Iss 2, Pp 1-11 (2010)
SummarySearch engines and retrieval systems are popular tools at a life science desktop. The manual inspection of hundreds of database entries, that reflect a life science concept or fact, is a time intensive daily work. Hereby, not the number of que
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0bf2e6343171689cb685226eb09b75fa
https://pubmed.ncbi.nlm.nih.gov/20134080
https://pubmed.ncbi.nlm.nih.gov/20134080