Browsing Institut für Informatik by Author
Browsing Institut für Informatik by Author "Fahland, Dirk"
2011-08-17BuchBusiness Process Execution Language for Web services Semantik, Analyse und VisualisierungMartens, Axel; Stahl, Christian; Weinberg, Daniela; Fahland, Dirk; Heidinger, Thomas
2005-09-12BuchComplete Abstract Operational Semantics for the Web Service Business Process Execution Language Fahland, DirkIn this technical report we present an abstract operational semantics for the Business Process Execution Language for Web Services, or BPEL for short. In effect, the semantics defined herein are a variation and an extension ...
2008-05-11BuchOclets a formal approach to adaptive systems using scenario-based conceptsFahland, DirkUsually, a component in a distributed system has assumptions about the remaining components of the system. A change in one component might require to change other components as well. It may happen that the change has to ...