A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
As a consequence, it becomes difficult to create precise specifications at high-levels of abstraction, potentially leading to severe project problems. ... As a consequence, it becomes difficult to create precise high-level specifications and make sure that the implemented services are those that correspond to the business needs, potentially leading to severe ... The authors of  plan to use formal methods for simulation of business transactions in the existing method and toolset "Efficient"  , which will enable ...doi:10.5075/epfl-thesis-6551 fatcat:wql7pkjzwvcwtdfk4syhqyxk2u
We also gratefully thank the members of the ICCGI 2015 organizing committee for their help in handling the logistics and for their work that made this professional meeting a success. ... We hope ICCGI 2015 was a successful international forum for the exchange of ideas and results between academia and industry and to promote further progress in the field of computing in the global information ... The authors want to thank Lars Ackermann and Stefan Schönig, both with University of Bayreuth. ACKNOWLEDGMENT This work was supported by KAKENHI 15H02686. ...fatcat:lf5jdtpy5fdqzl6gr43ou7hrbu