Formalising Middleware Systems: A Design Pattern-Based Approach

@article{Rosa2013FormalisingMS,
  title={Formalising Middleware Systems: A Design Pattern-Based Approach},
  author={Nelson Souto Rosa},
  journal={2013 IEEE 37th Annual Computer Software and Applications Conference},
  year={2013},
  pages={658-667}
}
Middleware systems are widely recognized as complex software systems. The origin of this complexity is mainly related to the need of providing distribution transparencies (e.g., location, access, mobility) and services (e.g., naming, security, concurrency control) to distributed application developers. This complexity suggests the use of formal methods that can help in both understanding of the middleware's behavior and checking of desired middleware properties. Due to the aforementioned… CONTINUE READING

Citations

Publications citing this paper.

Middleware Reconfiguration Relying on Formal Methods

  • 2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing
  • 2015
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 33 REFERENCES

Structural Formalization of Design-Pattern Based Software Design

  • 2009 Third International Conference on Digital Society
  • 2009
VIEW 1 EXCERPT

A formal model of pattern-based design

B. Singh
  • Master's thesis, Motilal Nehru National Institute of Technology
  • 2008
VIEW 1 EXCERPT

Formal Specification and Representation of Design Patterns Using RTPA

  • 2006 5th IEEE International Conference on Cognitive Informatics
  • 2006
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…