An approach to web services oriented modeling and validation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An approach to web services oriented modeling and validation

Full text

Pdf (225 KB)

Source

International Conference on Software Engineering archive
Proceedings of the 2006 international workshop on Service-oriented software engineering table of contents

Shanghai, China

SESSION: Service oriented system modeling and application table of contents

Pages: 81 - 87

Year of Publication: 2006

ISBN:1-59593-398-0

Authors

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

Sponsors

ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 21, Downloads (12 Months): 101, 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/1138486.1138504 What is a DOI?

ABSTRACT

Web services provide a language-neutral, loosely-coupled, and platform independent way for linking applications within organizations or enterprises across the Internet. Web services communicate with each other via XML format messages. This paper presents a web service architecture model, Service-Oriented Software Architecture Model (SO-SAM), which is an extension of SAM (SoftwareArchitecture Model[16]) to the web service applications, as well as a validation of the model and a case study. SO-SAM is an executable architectural model incorporating Predicate Transition Nets with the style and understandability of component-based concepts. SO-SAM describes each web service in terms of component and service composition in terms of connector separately. We believe that SO-SAM facilitates the verification and monitoring of web services integrationsince SO-SAM fits the distributed nature of modern composite web services. In order to validate the model against system properties, we rewrite the SO-SAM into the XMLformat, and validate SO-SAM using a SAM support tool, SAM parser. 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	AspectJ Project. http://eclipse.org/aspectj/.
	11	J. Billington, S. Christensen, et al. The Petri Net Markup Language: Concepts, Technology, and Tools. In Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN 2003), volume 2679 of Lecture Notes in Computer Science, pages 483--505. Springer-Verlag, June 2003.
	12	Y. Fu, Z. Dong, and X. He. A methodology of automated realization of a software architecture design. In Proceedings of the The Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE2005), 2005.
	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/xlang-c/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, Modeling, validating and automating composition of web services, Proceedings of the 6th international conference on Web engineering, July 11-14, 2006, Palo Alto, California, USA
	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