Autor der Publikation

Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance.

, , und . SPIN, Volume 6349 von Lecture Notes in Computer Science, Seite 146-161. Springer, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

DECLARE: Full Support for Loosely-Structured Processes., , und . EDOC, Seite 287-300. IEEE Computer Society, (2007)Specifying and Monitoring Service Flows: Making Web Services Process-Aware., und . Test and Analysis of Web Services, Springer, (2007)Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance., , und . SPIN, Volume 6349 von Lecture Notes in Computer Science, Seite 146-161. Springer, (2010)DecSerFlow: Towards a Truly Declarative Service Flow Language., und . The Role of Business Processes in Service Oriented Architectures, Volume 06291 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Flexibility as a Service., , , , und . DASFAA Workshops, Volume 5667 von Lecture Notes in Computer Science, Seite 319-333. Springer, (2009)A Declarative Approach for Flexible Business Processes Management., und . Business Process Management Workshops, Volume 4103 von Lecture Notes in Computer Science, Seite 169-180. Springer, (2006)Constraint-Based Workflow Models: Change Made Easy., , , und . OTM Conferences (1), Volume 4803 von Lecture Notes in Computer Science, Seite 77-94. Springer, (2007)Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues., , , und . Business Process Management Workshops, Volume 4928 von Lecture Notes in Computer Science, Seite 335-346. Springer, (2007)Declarative workflows: Balancing between flexibility and support., , und . Comput. Sci. Res. Dev., 23 (2): 99-113 (2009)Modelling work distribution mechanisms using Colored Petri Nets., und . Int. J. Softw. Tools Technol. Transf., 9 (3-4): 327-352 (2007)