Formalisms For Reuse And Systems Integration (advances In Intelligent Systems And Computing)
by Thouraya Bouabana-Tebibel /
2015 / English / PDF
8.9 MB Download
Reuse and integration are defined as synergistic concepts, where
reuse addresses how to minimize redundancy in the creation of
components; while, integration focuses on component composition.
Integration supports reuse and vice versa. These related concepts
support the design of software and systems for maximizing
performance while minimizing cost. Knowledge, like data, is
subject to reuse; and, each can be interpreted as the other. This
means that inherent complexity, a measure of the potential
utility of a system, is directly proportional to the extent to
which it maximizes reuse and integration. Formal methods can
provide an appropriate context for the rigorous handling of these
synergistic concepts. Furthermore, formal languages allow for non
ambiguous model specification; and, formal verification
techniques provide support for insuring the validity of reuse and
integration mechanisms.
Reuse and integration are defined as synergistic concepts, where
reuse addresses how to minimize redundancy in the creation of
components; while, integration focuses on component composition.
Integration supports reuse and vice versa. These related concepts
support the design of software and systems for maximizing
performance while minimizing cost. Knowledge, like data, is
subject to reuse; and, each can be interpreted as the other. This
means that inherent complexity, a measure of the potential
utility of a system, is directly proportional to the extent to
which it maximizes reuse and integration. Formal methods can
provide an appropriate context for the rigorous handling of these
synergistic concepts. Furthermore, formal languages allow for non
ambiguous model specification; and, formal verification
techniques provide support for insuring the validity of reuse and
integration mechanisms.
This edited book includes 12 high quality research papers written
by experts in formal aspects of reuse and integration to cover
the most recent advances in the field. These papers are extended
versions of some of the best papers, which were presented at the
IEEE International Conference on Information Reuse and
Integration and the IEEE International Workshop on Formal Methods
Integration - both of which were held in San Francisco in August
2014.
This edited book includes 12 high quality research papers written
by experts in formal aspects of reuse and integration to cover
the most recent advances in the field. These papers are extended
versions of some of the best papers, which were presented at the
IEEE International Conference on Information Reuse and
Integration and the IEEE International Workshop on Formal Methods
Integration - both of which were held in San Francisco in August
2014.
