Software system integration methodology using formal specifications

This work proposes a methodology that can be used to integrate formal models representing software components. The integration ensures that the correctness of each input model is maintained while adding the desired functionality to the integrated model. Further, because of the inherent knowledge captured in the formal models, automated tool support can be developed to assist the application engineer in this process. This allows needed middleware for connecting the components to be synthesized from the formal specifications developed.

[1]  Don S. Batory,et al.  The design and implementation of hierarchical software systems with reusable components , 1992, TSEM.

[2]  T. C. Hartrum,et al.  The AFIT Wide Spectrum Object Modeling Environment: an awesome beginning , 2000, Proceedings of the IEEE 2000 National Aerospace and Electronics Conference. NAECON 2000. Engineering Tomorrow (Cat. No.00CH37093).

[3]  David Harel,et al.  Executable object modeling with statecharts , 1997, Computer.