Tropos

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.