GRAPHICAL SPECIFICATION OF DYNAMIC NETWORK STRUCTURE

Fredrik Seehusen, Ketil Stølen

2005

Abstract

We present a language, MEADOW, for specifying dynamic networks from a structural viewpoint. We demonstrate MEADOW in three examples addressing dynamic reconfiguration in the setting of object-oriented networks, ad hoc networks and mobile code networks. MEADOW is more expressive than any language of this kind (e.g. SDL-2000 agent diagrams, composite structures in UML 2.0) that we are aware of, but maintains, in our opinion, the simplicity and elegance of these languages.

References

  1. Bae, S. H., Lee, S.-J., Su, W., and Gerla, M. (2000). The design, implementaion, and performance evaluation of the on-demand multicast rounting protocol in multihop wireless networks. IEEE Network, 14(1):70-77.
  2. Basagni, S. (1999). A mobility-transparent deterministic broadcast mechanism for ad hoc networks. IEEE/ACM Transactions on Networking, 7(6):799- 807.
  3. Broy, M. and Stølen, K. (2001). Specification and development of interactive systems. FOCUS on streams, interface, and refinement. Springer-Verlag.
  4. Clements, P., Kazman, R., and Klein, M. (2001). Evaluation software architectures: methods and case studies. Addison-Wesley.
  5. Frankel, D. S. (2003). Model Driven Architecture - Applying MDA to Enterprise Computing. Wiley Publishing, Inc., Indianapolis, Indiana.
  6. Fuggetta, A., Picco, G. P., and Vigna, G. (1998). Understanding code mobility. IEEE Transactions on software engineering, 24(5):342-361.
  7. Grosu, R. and Stølen, K. (2001). Stream-based specification of mobile systems. Formal Aspects of Computing, 13:1-31.
  8. ITU-T (2000). Specification and description language (SDL), ITU-T Recommendation Z.100.
  9. Korson, T. D. and McGregor, J. D. (1990). Understanding object-oriented: A unifying paradigm. Communications of the ACM, 33(9):40-60.
  10. Lee, S.-J., Gerla, M., and Toh, C.-K. (1999). A simulation study of table-driven and on-demand routing protocols for mobile ad hoc networks. IEEE Network, 13(4):48- 54.
  11. OMG (2003). UML 2.0 Superstructure Specification. OMG Adopted Sepcification ptc/03-08-02. Object Management Group.
  12. Satoh, I. (2000). Mobilespaces: A framework for building adaptive distributed applications using a hierarchical mobile agentsystem. In Proceedings of International Conference on Distributed Computing Systems (ICDCS'2000), pages 161-168. IEEE Computer Society.
  13. Satoh, I. (2002). Physical mobility and logical mobility in ubiquitous computing environments. In Suri, N., editor, Proceedings of Mobile Agents: 6th International Conference (MA 2002), number 2535 in Lecture Notes in Computer Science, pages 186-201. Springer-Verlag.
  14. Selic, B., Gullekson, G., and Ward, P. T. (1994). Real-time object-oriented modeling. Wiley.
  15. Wieringa, R. (1998). A survey of structured and objectoriented software specification methods and techniques. ACM Computing Surveys, 30(4):459-527.
Download


Paper Citation


in Harvard Style

Seehusen F. and Stølen K. (2005). GRAPHICAL SPECIFICATION OF DYNAMIC NETWORK STRUCTURE . In Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 972-8865-19-8, pages 203-210. DOI: 10.5220/0002535902030210


in Bibtex Style

@conference{iceis05,
author={Fredrik Seehusen and Ketil Stølen},
title={GRAPHICAL SPECIFICATION OF DYNAMIC NETWORK STRUCTURE},
booktitle={Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2005},
pages={203-210},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002535902030210},
isbn={972-8865-19-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - GRAPHICAL SPECIFICATION OF DYNAMIC NETWORK STRUCTURE
SN - 972-8865-19-8
AU - Seehusen F.
AU - Stølen K.
PY - 2005
SP - 203
EP - 210
DO - 10.5220/0002535902030210