A Formal Model to Enforce Trustworthiness Requirements in Service Composition

[1]  Tom Chothia,et al.  Metrics for Action-labelled Quantitative Transition Systems , 2006, QAPL.

[2]  Sun Meng.  QCCS: A Formal Model to Enforce QoS Requirements in Service Composition , 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

[3]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[4]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[5]  Tom Chothia,et al.  Q-Automata: Modelling the Resource Usage of Concurrent Components , 2007, FOCLASA.

[6]  Gavin Lowe,et al.  Probabilistic and Prioritized Models of Timed CSP , 1995, Theor. Comput. Sci..

[7]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[8]  Emilio Tuosto,et al.  SHReQ: coordinating application level QoS , 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).

[9]  Zhou Ming-tian.  Progress in Trusted Computing , 2006 .