|| R. Aggarwal, V. Kunal, J. Miller, and W. Milnor. Constraint driven web service composition in METEOR-S. In Proceedings of SCC 2004: 2004 IEEE International Conference on Services Computing, 2004, Sep 2004.|
 M. Akram, B. Medjahed, and A. Bouguettaya. Supporting dynamic changes in web service environments. In Proceedings of Service-Oriented Computing - ICSOC 2003, 2003.
 A. Arkin, S. Askary, and et al. Web service choreography interface (WSCI) 1.0. Technical report, BEA Systems, Intalio, SAP, and Sun Microsystems, 2002.
 T. Bellwood, L. Clement, and D. E. et al. UDDI version 3.0 published specification. W3C, 19 July 2002, http://www.uddi.org.
 B. Benatallah, M. Dumas, M.-C. Fauvet, F. A. Rabhi, and Q. Z. Sheng. Overview of some patterns for architecting and managing composite web services. SIGecom Exch., 3(3):9¡V16, 2002.
 B. Benatallah, Q. Sheng, and M. Dumas. The self-serv environment for web services composition. IEEE Internet Computing, 7(1):40¡V48, Jan.-Feb. 2003.
 D. Booth, M. Champion, C. Ferris, F. McCabe, E. Newcomer, and D. Orchard. Web services architecture (WSCA 1.0). Technical report, World Wide Web Consortium (W3C), May 2003, http://www.w3.org/TR/ws-arch/.
 D. E. D. Box, G. Kakivaya, A. Layman, H. F. N. N. Mendelsohn, S. Thatte, and D. Winer. Simple object access protocol (SOAP) 1.1. W3C, 2000, http://www.w3.org/TR/SOAP.
 P. Buhler, C. Starr, W. H. Schroder, and J. M. Vidal. Preparing for service-oriented computing: A composite design pattern for stubless web service invocation. In Proceedings of International Conference on Web Engineering, pages 603¡V604, 2004.
 F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-Oriented Software Architecture. John Wiley and Sons, 1996.
 F. Casati, S. Ilnicki, L. jie Jin, V. Krishnamoorthy, and M.-C. Shan. Adaptive and dynamic service composition in eFlow. In CAiSE ¡¦00: Proceedings of the 12th International Conference on Advanced Information Systems Engineering, pages 13¡V31, London, UK, 2000. Springer-Verlag.
 H. Cervantes and R. S. Hall. Automating service dependency management in a service-oriented component model. In Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction., 2003.
 H. Cervantes and R. S. Hall. Chapter I: Service Oriented Concepts and Technologies in the book Service-Oriented Software System Engineering: Challenges and Practices. Idea Group Publishing, 2005.
 D. Chakraborty and A. Joshi. Dynamic service composition: State-of-the-art and research directions. Technical report, 2001.
 A. Charfi and M. Mezini. Aspect-oriented web service composition with AO4BPEL. In Proceedings of ECOWS 2004, 2004.
 R. Chinnici, M. Gudgin, J. J. Moreau, and S. Weerawarana. Web services description language (WSDL) version 1.2 w3c working draft. W3C, 9 July 2002, http://www.w3.org/TR/wsdl.
 F. Curbera, M. Duftler, R. Khalaf, W. Nagy, and S. W. N. Mukhi. Spotlight - unraveling the web services web: An introduction to soap, wsdl, and uddi. IEEE Internet Computing, 3(4), 2002.
 F. Curbera, Y. Goland, and et al. Business process execution language for web service (BPEL4WS) 1.0. Technical report, IBM Corp. and Microsoft Corp., 2002.
 F. Curbera, F. Leymann, D. Roller, and S. Weerawarana. Web services flow language (WSFL) 1.0. Technical report, IBM Corporation, May 2001.
 S. Dustdar and W. Schreiner. A survey on web services composition. Technical report, Distributed Systems Group, Technical University of Vienna, 2004.
 A. Eden and Y. Hirshfeld. Principles in formal specification of object-oriented architectures. In Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research (CASCON¡¦01), 2001.
 T. Erl. Service-Oriented Architecture: A Field Guide to integrating XML and Web Services. Prentice Hall PTR, 2004.
 T. Erl. Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall PTR, 2005.
 T. B. et.al. Extensible markup language (XML) 1.0. Technical report, World Wide Web Consortium (W3C), February 1998, http://www.w3.org/TR/REC-xml.
 E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
 O. M. Group. Unified modeling language: Superstructure, version 2.0. Technical report, Auguest, 2005.
 R. L. X. Guti´errez and M. N. Huhns. Chapter 14: On Building Robust Web Service-Based Applications in the book On Building Robust Web Service-Based Applications. Springer US, 2004.
 J. Hendler. Agents and the semantic web. IEEE Intelligent Systems, 16(2):30¡V37, 2001.
 J. Hendler and D. L. McGuinness. The semantic web and its languages - the DARPA agent markup language. IEEE Intelligent Systems, 15(6):72¡V73, 2000.
 M. C. Jaeger, G. Rojec-Goldmann, and G. Muhl. Qos aggregation for service composition using workflow patterns. In Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), pages 149¡V159, September 2004.
 R. Khalaf, N. Mukhi, and S. Weerawarana. ServiceVoriented composition in BPEL4WS. In Proceedings of WWW2003, May 20V24, 2003.
 J. Kopena and W. C. Regli. Damljesskb: A tool for reasoning with semantic web. http://edge.mcs.drexel.edu/assemblies/software/damljesskb/articles/DAMLJessKB2002.pdf.
 L. Lamport. The temporal logic of actions. Transactions on Programming Languages and Systems, 16(3):872¡V923, 1994.
 J. Lee, H.-M. Chen, S.-P. Ma, Y.-C. Wang, and S.-J. Lee. Possibilistic petri nets as a basis for cnp-based bidding mechanism. In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics, 2006.
 J. Lee, Y. Kim, Y. Kim, and B.-H. Moon. Business process integration with web services. In Proceedings of Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, 2005 and First ACIS International Workshop on Self-Assembling Wireless Networks. SNPD/SAWN 2005., May 2005.
 J. Lee and L. F. Lai. Verifying task-based specifications in conceptual graphs. Information and Software Technology, 39:913¡V923, 1998.
 J. Lee, S.-J. Lee, and S.-P. Ma. Deliver advanced traveler information services. In Proceedings of IEEE Intelligent Vehicles Symposium, pages 682¡V687, 2005.
 J. Lee, K. F. Liu, and W. Chiang. Modeling uncertainty reasoning with possibilistic petri nets. IEEE Transactions on System, Man, and Cybernetics: Part B, 33(2):214¡V224, February, 2003.
 J. Lee, K. F. Liu, Y. C. Wang, and W. Chiang. Possibilistic petri nets as a basis for agent service description language. Fuzzy Sets and Systems, 2003.
 J. Lee, S.-P. Ma, L. F. Lai, N. L. Hsueh, and Y. Y. Fanjiang. University timetabling through conceptual modeling. International Journal of Intelligent Systems, 20(11):1137¡V1160, November 2005.
 J. Lee, Y. C. Wang, C. L. Wu, S. J. Lee, S. P. Ma, and W. Y. Deng. A possibilistic petri-nets-based service matchmaker for multi-agent system. International Journal Fuzzy Systems, 7(4), 2005.
 P. Monday. Web Service Patterns: Java Edition. The Author¡¦s Press, 2003.
 M. N and M. Malek. Current solutions for web service composition. IEEE Internet Computing, 8(6):51¡V59, Nov 2004.
 J. Pasley. How bpel and soa are changing web services development. IEEE Internet Computing, 9(3):60¡V67, May 2005.
 C. Pautasso and G. Alonso. Flexible binding for reusable composition of web services. In Proceedings of Software Composition 2005, pages 151¡V166, 2005.
 S. R. Ponnekanti and A. Fox. Sword: A developer toolkit for web service composition. In Proceedings of the 11th World Wide Web Conference, 2002.
 P. Rajasekaran, J. Miller, K. Verma, and A. Sheth. Enhancing web services description and discovery to facilitate composition. In Proceedings of SWSWPC 2004: International Workshop on Semantic Web Services and Web Process Composition, 2004.
 J. Rao and X. Su. A survey of automated web service composition methods. Lecture Notes in Computer Science, 3387:43¡V54, 2004.
 T. Sandholm and V. Lesser. Issues in automated negotiation and electronic commerce: Extending the contract net framework. In Proceedings of the First International Conference on Multiagent Systems (ICMA-95), 1995.
 K. Scott. Fast Track UML 2.0. Apress, 2004.
 A. Shalloway and T. James R. Design Patterns Explained: A New Perspective on Object-Oriented Design. Addison-Wesley, 2005.
 K. Sivashanmugam, J. A. Miller, A. P. Sheth, and K. Verma. Framework for semantic web process composition. International Journal of Electronic Commerce, 9(2):71¡V106, 2005.
 R. G. Smith. The contract net protocol:high-level communication and control in a distributed problem solver. IEEE Transaction on Computers, 29(12):1104¡V1113, December 1980.
 H. Sun, X. Wang, B. Zhou, and P. Zou. Research and implementation of dynamic web services composition. In APPT 2003, pages 457¡V46. Springer-Verlag, 2003.
 K. Sycara, J. Lu, M. Klusch, and S. Widoff. Dynamic service matchmaking among agents in open information environment. In volume 28, ACM SIGMOD Record, 1999.
 T. Taibi. Formal specification of design patterns' relationships. In Proceedings of The IASTED International Conference on Advances in Computer Science and Technology, ACST 2006, pages 310¡V315, 2006.
 T. Taibi. Formalizing design patterns composition. IEE Proc. Software, 153(3):127¡V136, 2006.
 T. Taibi and D. C. L. Ngo. Formal specification of design patterns - a balanced approach. Journal of Object Technology, 2(4):127¡V140, 2003.
 T. Taibi and F. Taibi. Formal specification of design patterns and their instances. In Proceedings of ACS/IEEE AICCSA¡¦06, pages 33¡V36, 2006.
 S. Thatte. XLANG. Technical report, Microsoft Corporation, 2001.
 The OWL-S Coalition. OWL-S (beta) draft release. Technical report, 2003.
 A. Tsalgatidou and T. Pilioura. An overview of standards and related technology in web services. Distributed and Parallel Databases, 12(2-3):135¡V162, 2002.
 W. van der Aalst, M. Dumas, and A. ter Hofstede. Web service composition languages: old wine in new bottles? In Proceedings of 29th Euromicro Conference, 2003, pages 298¡V305, September 2003.
 L. Xu and H. Weigand. The evolution of the contract net protocol. In Proceedings of Second International Conference, WAIM 2001, July 2001.
 J. Yang and M. Papazoglou. Web component: A substrate for web service reuse and composition. In Proceedings of 14th Conf. Advanced Information Systems Eng. (CAiSE 02), pages 21¡V36, 2002.
 J. Yang and M. Papazoglou. Service components for managing the life-cycle of service compositions. Information Systems, 29(2):97¡V125, 2004.
 J. Yang, M. Papazoglou, and W.-J. V. Heuvel. Tackling the challanges of service composition in e-marketplaces. In Proceedings of ICDE-RIDE Workshop on Engineering E-Commerce/E-Business, 2002.
 L. Zeng, B. Benatallah, and M. Dumas. Quality driven web services composition. In Proceedings of the WWW2003, May 2003.