Abstract
Within this paper, we present a language framework for describing dependable systems. Our framework emphasizes modularity and composition. The dependability and functionality facets of a credit card applicatoin might be described individually, supplying separation of design concerns. In addition, the dependability protocols of the application might be built bottom-as simple protocols which are composed into more complicated protocols. Composition causes it to be simpler to reason concerning the behavior of complex protocols and supports the making of generic multiple-use dependability schemes. A substantial facet of our language framework is the fact that dependability protocols might be loaded right into a running application and installed dynamically. Dynamic installation assists you to impose additional dependability protocols on the server as clients with new dependability demands are built-into a method. Similarly, if your given dependability protocol is just necessary during some particular phase of execution it might be installed in that period only.
Continue reading “A Technique for Adjusting to Patterns of Problems SpringerLink”