ABSTRACT
Most communication subsystems support modular and reconfigurable communication protocols based on the Lego block model. In this model, complex protocols are built as collections of simpler protocols. However, protocol behavior is often expressed via informal descriptions and few work has been done to develop the underlying semantics that enables us to model and reason about protocol interactions. Without it, it is very difficult to identify critical properties that must be met for correct operation. In this paper we present a communication framework based on a semantic model of distributed object reflection and we illustrate how this model can be used to formalize and reason about interactions between communication protocols. We evaluate the overhead and feasibility of our approach by developing an abstract executable specification of the communication framework in Maude [3] and a Maude API to systematically translate Maude code into Java. This gives us two versions of our model to play with: an abstract one for analysis and a concrete one for real-world applications.
- J. Meseguer. Conditional Rewriting Logic as a Unified Model of Concurrency. In Theoretical Computer Science 96(1):73--155, 1992. Google ScholarDigital Library
- J. Meseguer and C. Talcott. Semantic Models for Distributed Object Reflection. In Proceeding of the European Conference on Object-Oriented Programming, 2002. Google ScholarDigital Library
- M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer and C. Talcott. The Maude 2.0 System. In Robert Nieuwenhuis, editor, Rewriting Techniques and Applications (RTA 2003), Lecture Notes in Computer Science, pages 76--87. Springer-Verlag, June 2003. Google ScholarDigital Library
- S. Gutierrez-Nolasco and N. Venkatasubramanian. A Reflective Middleware Framework for Communication in Dynamic Environments. In Proceedings of the International Symposium on Distributed Objects and Applications, 2002. Google ScholarDigital Library
Index Terms
- A semantic model for safe protocol interaction
Recommendations
A formal framework for interaction protocol engineering
CEEMAS'05: Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and ApplicationsThis paper presents a formal framework devised to support interaction protocol (IP) engineering. The proposed framework is organized into three views that consider all the stages of a protocol engineering process, i.e. the design, specification, ...
Model-driven protocol design based on component oriented modeling
ICFEM'10: Proceedings of the 12th international conference on Formal engineering methods and software engineeringDue to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and efficient protocol design and development. Systematic protocol designs using formal ...
Comments