Maintaining consistency in layered architectures of mobile Ad-Hoc networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4422 LNCS, Issue , 2007, Pages 383-397

  Padberg, Julia ^a   Hoffmann, Kathrin ^a   Ehrig, Hartmut ^a   Modica, Tony ^a   Biermann, Enrico ^a   Ermel, Claudia ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AD HOC NETWORKS; MAPPING; MATHEMATICAL MODELS; MOBILE DEVICES; TELECOMMUNICATION TRAFFIC;

MOBILE AD-HOC NETWORKS (MANET); MOBILITY LAYERS;

SOFTWARE ARCHITECTURE;

EID: 37149021182     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71289-3_29     Document Type: Conference Paper

References (15)

1. AGG Homepage, http://tfs.cs.tu-berlin.de/agg.
2. P. Baldan, A. Corradini, H. Ehrig, and R. Heckel. Compositional Semantics of Open Petri Nets Based on Deterministic Processes. MSCS, 15(1):1-35, 2005.
3. L. Baresi, A. Maurino, and S. Modafferi. Workflow partitioning in mobile information systems, volume 158 of IFIP International Federation for Information Processing, pages 93-106, 2005.
4. E. Biermann, T. Modica, and K. Hoffmann. Categorical Foundation for Layer Consistency in AHO-Net Models Supporting Workflow Management in MANETs. Technical Report 2006/13, TU Berlin, Fak. IV, 2006.
5. P. Bottoni, F. De Rosa, K. Hoffmann, and M. Mecella. Applying Algebraic Approaches for Modeling Workflows and their Transformations in Mobile Networks. MIS, 2(1):51-76, 2006.
6. F. De Rosa, A. Malizia, and M. Mecella. Disconnection Prediction in Mobile Ad hoc Networks for Supporting Cooperative Work. IEEE Pervasive Comp., 4(3):62-70, 2005.
7. H. Ehrig and J. Padberg. Graph Grammars and Petri Net Transformations. volume 3098 of LNCS, pages 496-536. Springer, 2004.
8. K. Hoffmann, T. Mossakowski, and H. Ehrig. High-Level Nets with Nets and Rules as Tokens. volume 3536 of LNCS, pages 268-288. Springer, 2005.
9. E. Kindler and M. Weber. The Petri Net Kernel - An Infrastructure for Building Petri Net Tools. Software Tools for Technology Transfer, 3(4):486-497, 2001.
10. A. Maurino and S. Modafferi. Partitioning Rules for Orchestrating Mobile Information Systems. Personal and Ubiquitous Computing, 9(5):291-300, 2005.
11. J. Padberg and M. Urbasek. Rule-Based Refinement of Petri Nets: A Survey. volume 2472 of LNCS, pages 161-196. Springer, 2003.
12. G. Rozenberg. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, 1997.
13. W. M. P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. TCS, 270(1-2): 125-203, 2002.
14. W. M. P. van der Aalst and K. van Hee. Workflow Management: Models, Methods, and Systems. MIT Press, 2002.
15. W. M. P. van der Aalst and M. Weske. The P2P Approach to Interorganizational Workflows, volume 2068 of LNCS, pages 140-156. Springer, 2001.