1. Allen, R., Garlan, D.: Formalizing architectural connection. In: ICSE 1994, pp. 71–80. IEEE Computer Society Press, Los Alamitos (1994)
2. Antoniou, G., Arief, M.: Executable declarative business rules and their use in electronic commerce. In: SAC 2002: ACM Symposium on Applied computing, pp. 6–10. ACM Press, New York (2002)
3. Athena Integrated Project, EU FP6, http://www.athena-ip.org/index.php
4. Bastide, R., Palanque, P., Sy, O., Navarre, D.: Formal specification of CORBA services: experience and lessons learned. In: Proceedings of OOPSLA 2000, pp. 105–117. ACM Press, New York (2000)
5. Lecture Notes in Computer Science;A. Bracciali,2002