| T. Saridakis, V. Issarny. Developing Dependable Systems using Software Architecture. In Proceedings of the 1st Working IFIP Conference on Software Architecture, pages 83--104, February 1999. |
....behavior of the software system. However, it is crucial from the perspective of software robustness to also account for failure occurrences. Failures may be handled through the integration within the system architecture of components and connectors that provide fault tolerance capabilities [21]. Practically, this means that failures are handled by an underlying fault tolerance mechanism (e.g. transparent replication management) Such fault tolerance means must further be coupled with software fault tolerance support. Software fault tolerance relies at least on an exception handling ....
T. Saridakis and V. Issarny. Developing dependable systems using software architecture. In P. Donohe, editor, Software Architecture, pages 83--104. Kluwer Academic Publishers, 1999.
....constituting software elements, using the framework given below. 2. A framework for the formal specification of properties offered by middleware configurations. The framework is based on linear temporal logic and has been used so far for the specification of properties relating to dependability [Saridakis99], security [Bidan98] and transactions [Zarras98] This framework is central to the Aster environment as it forms the basis for reasoning about the matching of available middleware configurations to the properties required by applications. Basically, a middleware configuration matches application ....
Saridakis, T., V. Issarny, "Developing Dependable Systems Using Software Architecture", Proceedings of the 1st Working IFIP Conference on Software Architecture, pp 80-104, February 1999.
....architectural structure of the composition. The adapted solution consists of storing in a graph structure the architectural structure of the objects produced by the speci cation decomposition related to a speci cation re nement INRIA Robust Development of Dependable Software Systems 41 (e.g. see [62]) The constituents of the graph structure are nodes and links. A node represents a distinct object which may have one or more associated links. Links are directed, denoting the data AEow. Links de ned between any two nodes of the graph represent interactions of objects participating in the ....
T. Saridakis and V. Issarny. Developing Dependable Systems Using Software Architecture. In Proceedings of the 1st Working IFIP Conference on Software Architecture, pages 83104, February 1999.
No context found.
T. Saridakis, V. Issarny. Developing Dependable Systems using Software Architecture. In Proceedings of the 1st Working IFIP Conference on Software Architecture, pages 83--104, February 1999.
No context found.
T. Saridakis and V. Issarny. Developing dependable systems using software architecture. In Proceedings of the 1st Working IFIP Conference on Software Architecture, pages 83--104, San Antonio, TX, USA, Feb 1999.
No context found.
T. Saridakis, and V. Issarny. Developing Dependable Systems using Software Architecture. Technical report, INRIA/IRISA, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC