An Approach on Service Component Selection and Analysis of the Resulting System Reliability
ABSTRACT Components can be assembled based on the Service-Oriented Architecture (SOA), which allows enterprises to specify their services in a finer granularity, thus the services can be expressed in a deeper and more comprehensive manner. This paper makes use of the formal description of the service component, the Hierarchical Automata, studies the importance factors of each component and roughly categorizes them into different rankings, which reflect different component quality criteria (i.e. availability, reliability and dependability within the scope of this discussion, refer to Section 3.2), through mapping functions, and thus the appropriate components can be selected based on their importance factors and quality parameters, and then proposes an algorithm to calculate the resulting system reliability, and finally studies a case to demonstrate the selection of components and the resulting reliability.
Conference Proceeding: Representing Hierarchical Automata in Interactive Theorem Provers.[show abstract] [hide abstract]
ABSTRACT: Hierarchical Automata represent a structured model of statecharts. They are formalized in Isabelle/HOL. The formalization is on two levels. The first level is the set-based semantics; the second level exploits the tree-like structure of the hierarchical automata to represent them using Isabelle’s datatypes and primitive recursive functions. Thereby the proofs about hierarchical automata are simplified. In order to ensure soundness of this twofold approach we define a mapping from the latter to the former representation and prove that it preserves the defining properties of hierarchical automata.Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings; 01/2001