Formal modeling and analysis of flexible processes in mobile ad-hoc networks

(duration 10/06 - 09/08)

Contents
People
Contact
Results
Literature

Results

Here we present the results of our research on the formal modeling and analysis of flexible processes in mobile ad-hoc networks.
  • A. Rein, U. Prange, L. Lambers, K. Hoffmann, J. Padberg.
    Negative Application Conditions for Reconfigurable Place/Transition Systems.
    Accepted for 7th International Workshop on Graph Transformation and Visual Modeling Techniques, preliminary version.
    download
  • H. Ehrig, K. Gabriel, J. Padberg, K. Hoffmann.
    Composition and Independence of High-Level Net Processes.
    Technical report, TU Berlin, Fak. IV (2008), preliminary version.
    download
  • H. Ehrig, K. Hoffmann, J. Padberg, U. Prange, C. Ermel.
    Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.
    In Proc. of the Int. Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets'07), accepted.
    download
  • E. Biermann, K. Hoffmann, and J. Padberg.
    Layered Architecture Consistency for MANETs: Introducing New Team Members.
    In Proc. Integrated Design and Process Technology (IDPT), 2007, accepted.
    download
  • K. Hoffmann, H. Ehrig, and J. Padberg.
    Flexible Modeling of Emergency Scenarios using Reconfigurable Systems.
    In Proc. Integrated Design and Process Technology (IDPT), 2007, accepted.
    download
  • J. Padberg, K. Hoffmann, H. Ehrig, T. Modica, E. Biermann, C. Ermel.
    Maintaining Consistency in Layered Architectures of Mobile Ad-hoc Networks.
    Proc. of the Int. Conference on Fundamental Approaches to Software Engineering (FASE'07).
    Lecture Notes in Computer Science 4422, pp. 383-397, Springer, 2007.
    download
  • J. Padberg, H. Ehrig, and K. Hoffmann.
    Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks.
    EATCS Bulletin, vol. 91, 2007.
    download
  • P. Bottoni, F. De Rosa, K. Hoffmann, and M. Mecella.
    Applying Algebraic Approaches for Modeling Workflows and their Transformations in Mobile Networks.
    Journal of Mobile Information Systems, 2(1):51-76, 2006. accepted.
    download
  • K. Hoffmann, H. Ehrig, and T. Mossakowski.
    High-Level Nets with Nets and Rules as Tokens.
    Proc. of the Int. Conference On Application and Theory of Petri Nets and Other Models of Concurrency (ATPN'05), Lecture Notes in Computer Science 3536 , pp. 268-288.
    Springer, 2005.
    download