Zobrazeno 1 - 10
of 93
pro vyhledávání: '"Wolf Zimmermann"'
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
This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022. The 6 full and 2 short papers presented in this volume were ca
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
This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2020, held in Heraklion, Crete, Greece, in September 2020. The 6 full and 8 short papers presented in this volum
Autor:
Maria Fazio, Wolf Zimmermann
This volume contains the technical papers presented in the workshops, which took place at the 7th European Conference on Service-Oriented and Cloud Computing, ESOCC 2018, held in Como, Italy, in September 2018:Joint Cloudways and OptiMoCS Workshop; 1
Publikováno v:
Service Oriented Computing and Applications. 8:299-322
Components or services must often be compliant to organizatorial or legal regulations. Furthermore, they should avoid unwanted behaviour such as abortion of the execution of a service without notification of the client. Violation of both might happen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::45f582dcdbc7bdc7358f772775ee9d4d
https://doi.org/10.1007/s11761-013-0146-2
https://doi.org/10.1007/s11761-013-0146-2
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
Publikováno v:
ITSLE@SPLASH
This paper discusses the design and implementation of a domain-specific language for modelling energy optimal pumping systems (realizing specific flows and pressures). The domain model is transformed into a corresponding mixed-integer linear program
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::56ce90051b81d2bcfb7de915ccfdcaf1
https://doi.org/10.1145/2998407.2998412
https://doi.org/10.1145/2998407.2998412
Publikováno v:
Electronic Notes in Theoretical Computer Science. 263:67-94
In past years, a number of works considered behavioral protocols of components and discussed approaches for automatically checking of compatibality of protocols (protocol conformance) in component-based systems. The approaches are usually model-check
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eba45aa3cade2af03ef96f65593b4364
This book constitutes the refereed proceedings of the Third European Conference on Service-Oriented and Cloud computing, ESOCC 2014, held in Manchester, UK, in September 2014. The 13 papers presented were carefully reviewed and selected from 38 submi