Modeling, validating and automating composition of web services

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Modeling, validating and automating composition of web services

Full text

Pdf (126 KB)

Source

International Conference On Web Engineering; Vol. 263 archive
Proceedings of the 6th international conference on Web engineering table of contents

Palo Alto, California, USA

SESSION: Best paper session: best paper candidates table of contents

Pages: 217 - 224

Year of Publication: 2006

ISBN:1-59593-352-2

Authors

Yujian Fu	Florida International University: Miami: FL
Zhijiang Dong	Florida International University: Miami: FL
Xudong He	Florida International University: Miami: FL

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 14, Downloads (12 Months): 106, Citation Count: 2

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1145581.1145626 What is a DOI?

ABSTRACT

Current service architecture description language and composition approaches consider simplistic method invocation. They pay less attention to the formal semantics and verification of service composition in the design, and less support property specifications and architecture validation. This paper presents an executable web service architecture model, Service-Oriented Software Architecture Model (SO-SAM), which is an extension of SAM (Software Architecture Model [16]) to the web service applications, and verificationof web system properties in the design. SO-SAM describes each web service in terms of component and service composition in terms of connector separately. Furthermore, we validate SO-SAM model to prove that it facilitates the verification and monitoring of web services integration through translation to the Maude programming langauge, a high level language and high performance executable specification with the componentized and object-oriented design, as well as using model checking technique in the system design level. Finally, a case study of the validation of the model is demonstrated.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Business Process Execution Language for Web Services (BPEL4WS). http://www.ibm.com/developerworks/library/ws-bpel.
	2	DAML-S and OWL-S. http://www.daml.org/services/owl-s/.
	3	Extensible Markup Language (XML). http://www.w3c.org/XML.
	4	Payment online. http://www.paymentonline.com/shopping-cart-software/.
	5	Simple Object Access Protocol (SOAP), W3C Note 08. http://www.w3.org/TR/SOAP/.
	6	Web Service Choreography Interface (WSCI) 1.0. http://www.w3.org/TR/2002/NOTE-wsci-20020808/.
	7	Web Service Conversation Language (WSCL) 1.0. http://www.w3.org/TR/2002/NOTE-wscl10-20020314/.
	8	Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl.
	9	A. Ankolekar. DAML-S: Web Service Description for the Semantic Web, 2002.
	10	M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Mart'1-Oliet, J. Meseguer, and C. Talcott. Maude manual, 2004.
	11	M. Clavel, F. J. Durán, S. Eker, P. Lincoln, N. Mart'1-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and Programming in Rewriting Logic. http://maude.csl.sri.com/papers, March 1999.
	12	Yujian Fu , Zhijiang Dong , Xudong He, An approach to web services oriented modeling and validation, Proceedings of the 2006 international workshop on Service-oriented software engineering, May 27-28, 2006, Shanghai, China [doi>10.1145/1138486.1138504]
	13	Xiang Gao , Jian Yang , Mike. P. Papazoglou, The Capability Matching of Web Services, Proceedings of the Fourth IEEE International Symposium on Multimedia Software Engineering, p.56, December 11-13, 2002
	14	H. J. Genrich. Predicate/Transition Nets. Lecture Notes in Computer Science, 254, 1987.
	15	X. He. A Formal Definition of Hierarchical Predicate Transition Nets. volume 1091 of Lecture Notes in Computer Science, pages 212--229, 1996.
	16	X. He and Y. Deng. A Framework for Specifying and Verifying Software Architecture Specifications in SAM. volume 45 of The Computer Journal, pages 111--128, 2002.
	17	IBM Coorperation. Web Services Flow Language (WSFL) 1.1. www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf.
	18	Zohar Manna , Amir Pnueli, The temporal logic of reactive and concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1992
	19	Microsoft Coorperation. XLANG - Web Services for Business Process Design. http://www.gotdotnet.com/team/xml wsspecs/xlangc/default.htm.
	20	T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4):541--580, 1989.
	21	W. van der Aalst. Don't go with the flow: Web services composition standards exposed, 2003.
	22	P. Wohed, W. M. P. van der Aalst, M. Dumas, and A. H. M. ter Hofstede. Pattern-Based Analysis of BPEL4WS. Technical report, 2002.
	23	J. Zhao. Robust Object-oriented Systems Analysis. Resources on software development process consulting service.

CITED BY 2

	Yujian Fu , Zhijiang Dong , Xudong He, Formalizing and validating UML architecture description of web systems, Workshop proceedings of the sixth international conference on Web engineering, July 10-14, 2006, Palo Alto, California
	Yomna Ali , Sherif El-Kassas, A rigorous methodology for security architecture modeling and verification, Proceedings of the 4th annual workshop on Cyber security and informaiton intelligence research: developing strategies to meet the cyber security and information intelligence challenges ahead, May 12-14, 2008, Oak Ridge, Tennessee