2CHEUENG R C. A user-oriented software reliability model [ J]. IEEE Transactions on Software Engineering, 2002, 28(4): 118- 125.
3KRISHNAMURTHY L, MATHUR A. On the estimation of reliability of a software system using reliabilities of its components [ C]//Proceedings of the Eighth International Symposium on Software Reliabil- ity Engineering. Washington, DC: IEEE Computer Society, 1997: 146 - 155.
4YACOUB S M, AMMAR H H. A methodology for architecture-level reliability risk analysis [ J]. IEEE Transactions on Software Engineering, 2002, 28(6): 529-547.
5YACOUB S. A scenario-based reliability analysis approach for component-based software [ J]. IEEE Transactions on Reliability, 2004, 53(4) : 465 -480.
6JELINSKI Z, MORANDA P B. Software reliability research [ M]// Statistical Computer Performance Evaluation. New York: Academic Press, 1972:465-484.
7MARTIN D. OWL-S: semantic markup for Web services [ EB/OL]. [2010 - 05 - 16]. http://www, ai. sri. com/daml/services/owl-s/ 1.2/overview.
8AHRENDT W, ROTH A, SASSE R. Automatic validation of transformation rules for Java verification against a rewriting semantics [ C]//Logic for Programming, Artificial Intelligence, and Reasoning, LNCS 3835. Berlin: Springer-Verlag, 2005:412-426.
9de OLIVEIRA BRAGA C. Rewriting logic as a semantic framework for modular structural operational semantics [ D]. Brasil: Pontificia Universidade Catolica do Rio de Janeiro, 2001.
10CLAVEL M, DURAN F, EKER S, eta;. All about maude--a high-performance logical framework [ M]. Berlin: Springer-Vetlag, 2006:124 - 126.
