Applying algebraic approaches for modeling workflows and their transformations in mobile networks

Mobile Information Systems

Volumn 2, Issue 1, 2006, Pages 51-76

  Bottoni, Paolo ^a   De Rosa, Fabio ^a   Hoffmann, Kathrin ^a,b   Mecella, Massimo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Adaptive workflow management; Algebraic approaches; Mobile ad hoc NETworks (MANETs)

Indexed keywords

EID: 85013595500     PISSN: 1574017X     EISSN: 1875905X     Source Type: Journal    
DOI: 10.1155/2006/704187     Document Type: Article

References (69)

1. A. Agostini and G. De Michelis, Improving flexibility of workflow management systems, in Proceeding of the BPM’00, LNCS, vol. 1806, 2000, 218-234.
2. A. Agostini and G. De Michelis, A light workflow management system using simple process models, in: Int. J. Collab. Comp., (Vol. 9(34)), (Special issue on adaptive workflow systems), M. Klein, C. Dellarocas and A. Bernstein, eds, 2000, pp. 346-356.
3. D.P. Agrawal and Q.A. Zeng, Introduction to Wireless and Mobile Systems, Thomson Brooks/Cole, 2003.
4. L. Baresi, R. Heckel, S. Thöne and D. Varro, Style-based refinement of dynamic software architectures, in WICSA 2004. Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture, 2004, 155-164.
5. P. Bottoni, U. Borghoff, P. Mussio and R. Pareschi, Reflective agents for adaptive workflows, in Proceedings of 2nd Int. Conf. on (PAAM-97), London, UK, 1997, 405-420.
6. R.H. Campbell and A.N. Habermann, The specification of process synchronization by path expressions, in: Operating Systems, volume 16 of LNCS, E. Gelenbe and C. Kaiser, eds, 1974, pp. 89-102.
7. F. Casati, S. Ceri, B. Pernici and G. Pozzi, Workflow evolution, Data and Knowledge Engineering 24(3) (1998), 211-238, Elsevier.
8. F. Casati and M.C. Shan, Dynamic and Adaptive Composition of e-Services, Information Systems 6(3) (2001).
9. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel and M. Löwe, Algebraic approaches to graph transformation; basic concepts and double pushout approach, in: Handbook of Graph Grammars and Computing by Graph Transformation, volume 1: Foundations, G. Rozenberg, ed., World Scientific, 1997.
10. G. De Michelis, E. Dubois, M. Jarke, F. Matthes, J. Mylopoulos, K. Pohl, J. Schmidt, C. Woo and E. Yu, Cooperative Information Systems: A Manifesto, Technical report, University of Hamburg, April 1996.
11. F. De Rosa, A. Malizia and M. Mecella, Disconnection Prediction in Mobile Ad hoc Networks for Supporting Cooperative Work, IEEE Pervasive Computing 4(3), 2005.
12. F. De Rosa, V. Di Martino, L. Paglione and M. Mecella, Mobile Adaptive Information Systems on MANET: What We Need as Basic Layer?, in Proc. WISE 2003 Workshop on Multichannel and Mobile Information Systems (MMIS’03), IEEE, 2003.
13. F. De Rosa, M. Mecella, P. Faraglia and F. Pascucci, Designing and Implementing a MANET Network Service Interface with Compact .NET on Pocket PC, in Proc. International Conference on .NET Technologies 2005.
14. M. Dumas and A.H.M. ter Hofstede, UML Activity Diagrams as a Workflow Specification Language, in Proc. UML 2001, LNCS 2185, 2001.
15. H. Ehrig, G. Engels, H.-J. Kreowski and G. Rozenberg, eds, Handbook of Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools, World Scientific, 1999.
16. H. Ehrig, A. Habel, H.-J. Kreowski and F. Parisi-Presicce, Parallelism and Concurrency in High-Level Replacement Systems, Math. Struct. in Comp. Science 1 (1991), 361-404.
17. H. Ehrig, M. Gajewsky and F. Parisi-Presicce, High-Level Replacement Systems Applied to Algebraic Specifications and Petri Nets, in: Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 3: Concurrency, Parallelism and Distribution, World Scientific, Singapore, 2000, pp. 341-400.
18. H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan and R. Heckel, High-Level Net Processes, Formal and Natural Computing, LNCS 2300, 2002, 191-219.
19. H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, Vol. 6 of EATCS Monographs on Theoretical Computer Science, 1985.
20. E. Ehrig and J. Padberg, Graph Grammars and Petri Net Transformations, Lectures on Concurrency and Petri Nets. Special Issue Advanced Course PNT LNCS 3098, Springer, 2004, 496-536.
21. H. Ehrig, M. Pfender and H.J. Schneider, Graph Grammars: an Algebraic Approach, in Proc. 14th Annual IEEE Symposium on Switching and Automata Theory, 1973.
22. C.A. Ellis, K. Keddara and G. Rozenberg, Dynamic Change Within Workflow Systems, in Proc. COOCS '95, ACM Press, 1995, 10-21.
23. C.A. Ellis and K. Keddara, A workflow change is a workflow, in Proc. BPM '00, LNCS, vol. 1806, 2000, 516-534.
24. R. Eshuis and R. Wieringa, Comparing petri net and activity diagram variants for workflow modelling - a quest for reactive petri nets, in: Petri Net Technology for Communication Based Systems, volume 2472 of Lecture Notes in Computer Science, H. Ehrig, W. Reisig, G. Rozenberg and H. Weber, eds, Springer, 2003, pp. 321-351.
25. M. Gajewsky, K. Hoffmann and J. Padberg, Place Preserving and Transition Gluing Morphisms in Rule-Based Refinement of Place/Transition Systems, Technical Report 99-14, Technical University Berlin, 1999.
26. M. Große-Rhode, F. Parisi Presicce and M. Simeoni, Spatial and temporal refinement of typed graph transformation systems, in Proc. Math. Foundations of Comp. Science 1998, volume 1450 of Lecture Notes in Computer Science, 1998, 553-561.
27. J. Grudin, Computer-Supported Cooperative Work: History and Focus, IEEE Computer 27(5) (1994), 19-26.
28. Y. Han, Software Infrastructure for Configurable Workflow System - A Model-Driven Approach Based on Higher-Order Nets and CORBA, PhD Thesis, Technische Universität Berlin, 1997.
29. R. Heckel and S. Thöne, Behavior-preserving refinement relations between dynamic software architectures, in Proc. of the 17th Int. Workshop on Algebraic Development Techniques (WADT 2004), volume 3423 of LNCS, 2004, 1-27.
30. C. Heinlein, Workflow and process synchronization with interaction expressions and graphs, in ICDE, Proceedings of the 17th International Conference on Data Engineering, April 2-6, 2001, Heidelberg, Germany, 2001, 243-252.
31. K. Hoffmann, Formal Approach and Applictions of Algebraic Higher Order Nets, PhD Thesis, Technische Universität Berlin, 2005.
32. K. Hoffmann, H. Ehrig and T. Mossakowski, High-Level Nets with Nets and Rules as Tokens, in Proc. 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency, 2005.
33. K. Hoffmann and T. Mossakowski, Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens, in: Proc. of 16th International Workshop of Algebraic Development Techniques, M. Wirsing, D. Pattinson and R. Henicker, eds, LNCS 2755, Springer, 2003, pp. 253-267.
34. K. Hoffmann and T. Mossakowski, Integration of Petri Nets and Rule-Based Transformations, Technical Report 04-57, Technical University Berlin, 2004.
35. K. Hoffmann, F. Parisi-Presicce and T. Mossakowski, Higher-Order Nets for Mobile Policies, in Proc. ICGT’04Workshop on Petri Nets and Graph Transformation (PNGT), 2005.
36. B. Kiepuszewski, A.H.M. ter Hofstede and C.J. Bussler, On structured workflow modelling, in CAiSE’00, LNCS, vol. 1789, 2000, 431-445.
37. M. Kradolfer and A. Geppert, Dynamic workflow schema evolution based on workflow type versioning and workflow migration, in CoopIS '99, Edinburgh, 1999, 104-114.
38. J. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, EATCS Monographs in Theoretical Computer Science 1 (1992), Springer-Verlag.
39. F. Leymann and D. Roller, Production Workflows. Concepts and Techniques, Prentice Hall, 2000.
40. D. Le Métayer, Software architecture styles as graph grammars, in Proc. 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Volume 216 of ACM Software Engineering Notes, ACM Press, 1996, 15-23.
41. M. Mecella, T. Catarci, M. Angelaccio, B. Buttarazzi, A. Krek, S. Dustdar and G. Vetere, WORKPAD: an Adaptive Peer-to-Peer Software Infrastructure for Supporting Collaborative Work of Human Operators in Emergency/Disaster Scenarios, to appear in Proc. CTS 2006 - Special Session on Mobile Collaborative Work, 2006.
42. J. Meseguer and U. Montanari, Petri Nets are Monoids, Information and Computation 80(2) (1990), 105-155.
43. R. Mohan, M.A. Cohen and J. Schiefer, A state machine based approach for a process driven development of webapplications, in CAiSE, volume 2348 of Lecture Notes in Computer Science, Springer, 2002, 52-66.
44. R. Müller, U. Greiner and E. Rahm, AGENTWORK: A Workflow-System Supporting Rule-Based Workflow Adaptation, Data and Knowledge Engineering, Elsevier, 2004.
45. P. Muth, D. Wodtke, J. Weißenfels, A.K. Dittrich and G. Weikum, From centralized workflow specification to distributed workflow execution, J. Intell. Inf. Syst. 10(2) (1998), 159-184.
46. D. Niculescu and B. Nath, Error Characteristics of Ad hoc Positioning Systems (APS), in Proc. ACM MobiHoc Conference, 2004.
47. J. Padberg, H. Ehrig and L. Ribeiro, Algebraic High-Level Net Transformation Systems, Journal of Mathematical Structures in Computer Science 5 (1995), 217-256.
48. A. Poigne, On Specifications, Theories, and Models with Higher Types, Inf. Control 68(1-3), (1986), 1-46.
49. N.B. Priyantha, A. Chakraborty and H. Balakrishnan, The Cricket Location-support System, in Proc. ACM MOBICOM Conference, 2000.
50. N.B. Priyantha, A. Miu, H. Balakrishnan and S. Teller, The Cricket Compass for Context-aware Mobile Applications, in Proc. ACM MOBICOM Conference, 2001.
51. M. Reichert and P. Dadam, ADEPTflex-supporting dynamic changes of workflows without losing control, JIIS 10(2) (1998), 93-129.
52. W. Reisig, "Petri Nets", volume 4 of EATCS Monographs on Theoretical Computer Science, 1985.
53. S. Rinderle, M. Reichert and P. Dadam, Correctness criteria for dynamic changes in workflow systems a survey, Data and Knowledge Engineering 50(2004), 9-14, Elsevier.
54. S. Rinderle, M. Reichert and P. Dadam, Flexible Support of Team Processes by AdaptiveWorkflow Systems, Distributed and Parallel Databases 16(1) (2004), 91-116.
55. G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation. Vol. I: Foundation. World Scientific Publishing, Co., Inc., 1997.
56. S. Sadiq, O. Marjanovic and M. Orlowska, Managing change and time in dynamic workflow processes, IJCIS 9(12) (2000), 93-116.
57. L. Schröder and T. Mossakowski, HASCASL: Towards integrated specification and development of Haskell programs, in: Algebraic Methodology and Software Technology, volume 2422 of Lecture Notes in Computer Science, H. Kirchner and C. Reingeissen, eds, Springer-Verlag, 2002, pp. 99-116.
58. L. Schröder, T. Mossakowski and C. Maeder, HASCASL - Integrated functional specification and programming. Language summary, available at http://www.informatik.uni-bremen.de/agbkb/forschung/formalmethods/CoFI/HasCASL, 2004.
59. J. Shih, Wireless LAN Location System, School of Information Technology and Electrical Engineering, The University of Queensland, Thesis for the Master of Telecommunications Engineering, November 2003.
60. G. Taentzer, I. Fischer, M. Koch and V. Volle, Visual Design of Distributed Systems by Graph Transformation, in: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency, Parallelism, and Distribution, H. Ehrig, H.J. Kreowski, U. Montanari and G. Rozenberg, eds, World Scientific, 1999, pp. 269-340.
61. G. Taentzer, M. Goedicke and T. Meyer, Dynamic change management by distributed graph transformation: Towards configurable distributed systems, in Proc. TAGT’98 - Theory and Application of Graph Transformations, volume 1764 of LNCS, 1998, 179-193.
62. W.M.P. van der Aalst, The Application of Petri Nets to Workflow Management, The Journal of Circuits, Systems and Computers 8(1) (1998), 21-66.
63. W.M.P. van der Aalst and T. Basten, Inheritance of Workflows: an approach to tackling problems related to change, Theoretical Computer Science 270(1-2) (2002), 125-203, Elsevier Science Publishers Ltd.
64. W.M.P. van der Aalst and K. van Hee, Workflow Management: Models, Methods, and Systems, MIT Press, 2001.
65. W.M.P. van der Aalst, M. Weske and G. Wirtz, Advanced topics in workflow management: Issues, requirements, and solutions, Int. J. Integrat. Design Process Sci. 7(3) (2003).
66. D. Wodtke and G. Weikum, A Formal Foundation for Distributed Workflow Execution Based on State Charts, ICDT 1997, 1998, 230-246.
67. M. Weske, Formal foundation and conceptual design of dynamic adaptations in a workflow management system, in Prod. of HICSS-34, 2001.
68. J. Widom and S. Ceri, Active Database Systems: Triggers and Rules for Advanced Database Processing, Morgan Kaufmann, 1996.
69. U. Wolter, Higher-Order Partial Algebras, University of Bergen (Norway), Technical Report 299, 2005.