WoMaLaPaDiA: Workflow Management for Large Parallel and Distributed Applications

Samenvatting

Software systemen worden steeds complexer. Om deze complexiteit te beheersen worden systemen opgedeeld in grotendeels autonome componenten. Coördinatie van de werkverdeling over de componenten is één van de grootste uitdagingen in de software engineering die in verschillende en vaak geïsoleerde toepassingsgebieden voorkomt. Twee belangrijke toepassingsgebieden zijn grid computing en workflow management. Grid computing vindt zijn toepassing vooral in computational science. Workflow management is het gebied van de bedrijfstoepassingen waar bedrijfsmatige processen gestuurd worden door software systemen.
In dit onderzoeksproject wordt een brug geslagen tussen deze twee gebieden met de verwachting dat geleerde lessen uitgewisseld kunnen worden waardoor beide gebieden een stap voorwaarts maken. In het bijzonder zullen twee state of the art coördinatieformalismen, Reo en YAWL geïntegreerd worden. Reo is vooral bekend als coördinatietaal in gedistribueerde computing en YAWL in workflow management. Reo heeft een aantal unieke eigenschappen, die zeer welkom zijn in het tweede toepassingsveld. YAWL is een coördinatieformalisme gebaseerd op Petri netten en uitgebreid met veel features die in de industriële coördinatiesoftware bekend zijn.
De belangrijkste doelstellingen van het project zijn: de integratie van de twee coördinatieformalismen, de afbeelding op Petri netten ten behoeve van analyse en het uitvoeren van grootschalige case studies om te onderzoeken hoe de gekozen aanpak werkt. De case studies zullen uit het domein van grid computing komen; onder andere zal er gezocht worden naar coördinatiepatronen in het veld van grid computing.

Output

Proefschrift

  • C. Krause(2011): Reconfigurable Component Connectors , Leiden  21 juni 2011
  • C.C. Bratosin(2011): Grid Architecture for Distributed Process Mining , Eindhoven  29 maart 2011
  • C.T. Bratosin(2011): Grid architecture for distributed process mining , EINDHOVEN  29 maart 2011

Wetenschappelijk artikel

  • C. Koehler, A. Lazovik, F. Arbab(2007): ReoService: Coordination Modeling Tool Lecture Notes in Computer Science
  • N. Sidorova, W.M.P. van der Aalst, C.C. Bratosin(2007): Modeling a grid Proceedings of Concurrency, Specification and Programming pp. 63 - 74
  • C. Koehler, F. Arbab, A. Lazovik(2007): Connector Rewriting with High-Level Replacement Systems Proc. of FOCLASA 2007
  • W.M.P. van der Aalst, C.T. Bratosin(2007): Workflow management systems for grid computing ERCIM News pp. 21 - 22
  • C.C. Bratosin, N. Sidorova, W.M.P. van der Aalst(2007): Modeling grid workflows with colored Petri nets DAIMI pp. 67 - 86
  • K.M. van Hee, N. Sidorova, C.T. Bratosin(2007): Adaptive Workflow Nets for Grid Computing Lecture Notes in Computer Science pp. 15 - 21 ISSN: 0302-9743.
  • C.C. Bratosin, W.M.P. van der Aalst, N. Trcka, N. Sidorova(2008): A Reference Model For Grid Architectures and Its Analysis Lecture Notes in Computer Science, Grid computing, high-performAnce and Distributed Applications (GADA'08)
  • N. Sidorova, W.M.P. van der Aalst, N. Trcka(2008): Soundness and Niceness as Correctness Criteria for Grid Workflows Proc. of 4th IEEE International conference on e-Science
  • C Koehler, F. Arbab, E. de Vink(2008): Reconfiguring Distributed Reo Connectors Proceedings of the 19th International Workshop on Algebraic Development Techniques
  • N. Trcka, N. Sidorova, C.C. Bratosin, W.M.P. van der Aalst(2008): Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets Lecture Notes in Computer Science, Proc. of 12th International Conference On Principles Of DIstributed Systems, (OPODIS 2008)
  • F. Arbab, D. Costa, C Koehler, J. Proenca(2008): Reconfiguration of Reo Connectors Triggered by Dataflow Electronic Communication of the European Association of Software Science and Technology
  • J. Proenca, F. Arbab, C. Koehler, Z. Maraikar, Y.-J. Moon(2008): Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools Proceedings of FACS 2008
  • N. Trcka, W.M.P. van der Aalst, N. Sidorova(2009): Workflow Completion Patterns IEEE-CASE 2009, 5th Annual IEEE Conference on Automation Science and Engineering pp. 7 - 12
  • C Koeler, D Clarke(2009): Decomposing Port Automata Proceedings of the 2009 ACM Symposium on Applied Computing (SAC)
  • J Markovski, A. Sokolova, E.P. de Vink, N. Trcka(2009): Compositionality for Markov reward chains with fast and silent transitions Performance Evaluation pp. 435 - 452
  • N. Trcka, S.P. Luttik, R.J. van Glabbeek(2009): Branching Bisimilarity with Explicit Divergence Fundamenta Informatica pp. 371 - 392
  • C Krause(2009): Integrated Structure and Semantics for Reo Connectors and Petri Nets Electronic Proceedings in Theoretical Computer Science
  • W.M.P. van der Aalst, N. Trcka, N. Sidorova(2009): Data-Flow Anti-Patterns: Discovering Dataflow Errors in Workflows CAISE?09, 21st International Conference on. Advanced Information Systems, Lecture Notes in Computer Science pp. 425 - 439
  • W.M.P. van der Aalst, N. Trcka, C. Bratosin, N. Sidorova(2010): A Reference Model For Grid Architectures and Its Validation Concurrency and Computation: Practice and Experience pp. 1365 - 1385
  • W. van der Aalst, N. Sidorova, C. Bratosin(2010): Distributed Genetic Process Mining 2010 IEEE World Congress on Computational Intelligence
  • N. Sidorova, C. Stahl, N. Trcka(2010): Workfow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual Lecture Notes in Computer Science pp. 530 - 544
  • C. Bratosin, W.M.P. van der Aalst, N. Sidorova(2010): Discovering process models with genetic algorithms using sampling Lecture Notes in Computer Science pp. 41 - 50
  • S. Jurack, E. Bierman, C. Krause, T. Arendt, G. Taentzer(2010): Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations Lecture Notes in Computer Science pp. 121 - 135
  • N. Kokash, C. Krause (Köhler), E.P. de Vink(2010): Verification of Context-Dependent Channel-Based Service Models Lecture Notes in Computer Science pp. 21 - 40
  • W.M.P. van der Aalst, C.C. Bratosin, N. Sidorova(2011): Distributed Genetic Process Mining Using Sampling Lecture Notes in Computer Science pp. 224 - 237
  • S.-S. Jongmans, C. Krause, F. Arbab(2011): Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models Lecture Notes in Computer Science pp. 31 - 48
  • O. Kanters, C. Verhoef, Rob van der Mei, C. Krause(2011): Simulation-based Performance Analysis of Channel-based Coordination Models Lecture Notes in Computer Science pp. 187 - 201

Kenmerken

Projectnummer

643.000.603

Hoofdaanvrager

Dr. N. Sidorova

Verbonden aan

Foreign and Commonwealth Office

Uitvoerders

Dr. C.T. Bratosin, Dr. C. Krause, Dr. N. Trcka

Looptijd

01/01/2007 tot 22/11/2011