Article

Formalizing and validating UML architecture description of web systems

Authors:

Yujian Fu,

Zhijiang Dong,

Xudong HeAuthors Info & Claims

ICWE '06: Workshop proceedings of the sixth international conference on Web engineering

Pages 8 - es

https://doi.org/10.1145/1149993.1150002

Published: 10 July 2006 Publication History

Get Access

Abstract

Web systems are self-descriptive software components which can automatically be discovered and engaged, together with other web components, to complete tasks over the Internet. Unified Modeling Language (UML), a widely accepted object-oriented system modeling and design language, and adapted for software architecture descriptions for several years, has been used for the web system description recently. However, it is hard to detect the system problems, such as correctness, consistency etc., of the integration of Web services without a formal semantics of web services architecture. In this paper, we proposed an approach to solving this issue by translating the UML web service architecture description into a formal modeling language - SO-SAM, and verify the correctness of the web system design using model checking techniques. We presented this approach through an imaging processing scenario in the distributed web application.

References

[1]

Business Process Execution Language for Web Services (BPEL4WS). http://www.ibm.com/developerworks/library/ws-bpel.]]

Google Scholar

[2]

DAML-S and OWL-S. http://www.daml.org/services/owl-s/.]]

Google Scholar

[3]

Simple Object Access Protocol (SOAP), W3C Note 08. http://www.w3.org/TR/SOAP/.]]

Google Scholar

[4]

Unified modeling language (uml), version 2.0. http://www.omg.org/technology/documents/formal/uml.htm.]]

Google Scholar

[5]

Web Service Choreography Interface (WSCI) 1.0. http://www.w3.org/TR/2002/NOTE-wsci-20020808/.]]

Google Scholar

[6]

Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl.]]

Google Scholar

[7]

H. S. Bhatt, V. H. Patel, and A. K. Aggarwal. Web enabled client-server model for development environment of distributed image processing. In GRID '00: Proceedings of the First IEEE/ACM International Workshop on Grid Computing, pages 135--145, London, UK, 2000. Springer-Verlag.]]

Digital Library

Google Scholar

[8]

S.-W. Cheng and D. Garlan. Mapping Architectural Concepts to UML-RT. In 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), June 2001.]]

Google Scholar

[9]

M. Clavel, F. J. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and Programming in Rewriting Logic. http://maude.csl.sri.com/papers, March 1999.]]

Google Scholar

[10]

Z. Dong, Y. Fu, and X. He. Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. In Proceedings of the The 15th International Conference on Software Engineering and Knowledge Engineering (SEKE2005), 2003.]]

Google Scholar

[11]

A. Egyed. Automating Architectural View Integration in UML. Technical Report USCCSE-99511, Center for Software Engineering, University of Southern California, Los Angeles, CA, 1999.]]

Google Scholar

[12]

A. Egyed and N. Medvidovic. Extending Architectural Representation in UML with View Integration. In Proceedings of the 2nd International Conference on the Unified Modeling Language, pages 2--16, October 1999.]]

Crossref

Google Scholar

[13]

H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer-Verlag, 1985.]]

Digital Library

Google Scholar

[14]

H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. Springer-Verlag, 1990.]]

Digital Library

Google Scholar

[15]

H. Ehrig, J. Padberg, and L. Ribeiro. Algebraic High-Level Nets: Petri Nets Revisited. In Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, volume 785 of Lecture Notes in Computer Science, pages 188--206. Springer, 1994.]]

Digital Library

Google Scholar

[16]

Y. Fu, Z. Dong, and X. He. An Approach to Web Services Oriented Modeling and Validation. In Proceedings of the 28th ICSE workshop on Service Oriented Software Engineering (SOSE2006), Accepted, 2006.]]

Digital Library

Google Scholar

[17]

Y. Fu, Z. Dong, and X. He. Modeling, Validating and Automating Composition of Web Services. In Proceedings of The Sixth International Conference on Web Engineering, Accepted, 2006.]]

Digital Library

Google Scholar

[18]

D. Garlan, S.-W. Cheng, and A. J. Kompanek. Reconciling the Needs of Architectural Description with Object-Modeling Notations. Science of Computer Programming, 44(1):23--49, July 2002.]]

Digital Library

Google Scholar

[19]

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.]]

Google Scholar

[20]

X. He, H. Yu, T. Shi, J. Ding, and Y. Deng. Formally analyzing software architectural specifications using SAM. J. Syst. Softw., 71(1-2):11--29, 2004.]]

Digital Library

Google Scholar

[21]

R. Heckel, M. Lohmann, and S. Thöne. Towards a UML Profile for Service-Oriented Architectures. citeseer.csail.mit.edu/heckel03towards.html.]]

Google Scholar

[22]

R. Heckel, H. Voigt, J. Küster, and S. Thöne. Towards Consistency of Web Service Architectures. http://www.upb.de/cs/agengels/Papers/2003/HeckelVoigtKuesterThoene-SCI03.pdf.]]

Google Scholar

[23]

C. Hofmeister, R. Nord, and D. Soni. Applied Software Architecture. Addison Wesley, 2000.]]

Digital Library

Google Scholar

[24]

C. Hofmeister, R. L. Nord, and D. Soni. Describing Software Architecture with UML. In Proceedings of the TC2 1st Working IFIP Conference on Software Architecture (WICSA1), pages 145--160, 1999.]]

Digital Library

Google Scholar

[25]

R. Hull, M. Benedikt, V. Christophides, and J. Su. Eservices: A look behind the curtain. In In Proceedings of the International Symposium on Principles of Database Systems (PODS). ACM Press, June 2003.]]

Digital Library

Google Scholar

[26]

D. Latella, I. Majzik, and M. Massink. Towards a Formal Operational Semantics of UML Statechart Diagrams. In Proceedings of the 3rd IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, pages 331--347, February 1999.]]

Digital Library

Google Scholar

[27]

Z. Manna and A. Pnueli. Temporal Logic of Reactive and Concurrent Systems. Springer, 1992.]]

Digital Library

Google Scholar

[28]

N. Medvidovic, A. Egyed, and D. S. Rosenblum. Round-Trip Software Engineering Using UML: From Architecture to Design and Back. In Proceedings of the 2nd Workshop on Object-Oriented Reengineering, pages 1--8, September 1999.]]

Google Scholar

[29]

N. Medvidovic and R. N. Taylor. A classification and comparison framework for software architecture description languages. Software Engineering, 26(1):70--93, 2000.]]

Digital Library

Google Scholar

[30]

J. S. Paul Clements, Len Bass. Documenting Software Architectures: Views and Beyond. Addison-Wesley, January 2003.]]

Digital Library

Google Scholar

[31]

J. Saldhana, S. M. Shatz, and Z. Hu. Formalization of Object Behavior and Interactions From UML Models. International Journal of Software Engineering and Knowledge Engineering, pages 643--673, 2001.]]

Crossref

Google Scholar

[32]

M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.]]

Digital Library

Google Scholar

[33]

J. Wang, X. He, and Y. Deng. Introducing Software Architecture Specification and Analysis in SAM through an Example. Information and Software Technology, 41(7):451--467, 1999.]]

Crossref

Google Scholar

Cited By

View all

Callaghan JNehmer RSugumaran V(2012)Modelling business applications with XBRL and UMLInternational Journal of Business Information Systems10.1504/IJBIS.2012.04668110:1(68-92)Online publication date: 1-May-2012
https://dl.acm.org/doi/10.1504/IJBIS.2012.046681
Chengjun W(2008)Semantic Based System Modeling for E-Business Evolution2008 IEEE International Symposium on Knowledge Acquisition and Modeling Workshop10.1109/KAMW.2008.4810657(983-986)Online publication date: Dec-2008
https://doi.org/10.1109/KAMW.2008.4810657
Chu WQian D(2008)Architecture Centric System Design for Supporting Reconfiguration of Service Oriented SystemsProceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium10.1109/HASE.2008.34(414-423)Online publication date: 3-Dec-2008
https://dl.acm.org/doi/10.1109/HASE.2008.34
Show More Cited By

Index Terms

Recommendations

Modeling, validating and automating composition of web services
ICWE '06: Proceedings of the 6th international conference on Web engineering

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 ...
An approach to web services oriented modeling and validation
SOSE '06: Proceedings of the 2006 international workshop on Service-oriented software engineering

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 ...
Formalizing fuzzy UML class diagrams with fuzzy description logics
IITA'09: Proceedings of the 3rd international conference on Intelligent information technology application

UML is a standard for object-oriented modeling. Since the majority of real world information is uncertain and vague, fuzzy UML has been presented. Analogous to UML, fuzzy UML is semi-formed. In order to solve this problem, this paper attempts to ...

Reviews

Reviewer: William J. Hankley

This paper is from the recent workshop on model-driven Web engineering, which was part of the International Conference on Web Engineering. The paper discusses the concept of mapping an extended unified modeling language (UML) model of components and connectors to an equivalent Petri net model, and then to the description language for the model checker Maude. The first step of the transformation involves writing algebraic specifications for UML statechart models. The authors provide thorough documentation of the papers upon which the work is founded. Although they present a simple example of their method, the paper does not provide sufficient detail for readers to be able to assimilate and use the method. The mapping from UML models does involve steps of manual transformation. The paper begins with statements about Web systems, but the example does not represent such Web systems. There are some problems with the use of English, but that does not impair the readability of the paper. Online Computing Reviews Service

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICWE '06: Workshop proceedings of the sixth international conference on Web engineering

July 2006

156 pages

ISBN:1595934359

DOI:10.1145/1149993

Conference Chairs:
Nora Koch
Ludwig-Maximilians-Universität München, Germany
,
Luis Olsina
Universidad Nacional de la Pampa, Argentina

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 July 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
768
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Callaghan JNehmer RSugumaran V(2012)Modelling business applications with XBRL and UMLInternational Journal of Business Information Systems10.1504/IJBIS.2012.04668110:1(68-92)Online publication date: 1-May-2012
https://dl.acm.org/doi/10.1504/IJBIS.2012.046681
Chengjun W(2008)Semantic Based System Modeling for E-Business Evolution2008 IEEE International Symposium on Knowledge Acquisition and Modeling Workshop10.1109/KAMW.2008.4810657(983-986)Online publication date: Dec-2008
https://doi.org/10.1109/KAMW.2008.4810657
Chu WQian D(2008)Architecture Centric System Design for Supporting Reconfiguration of Service Oriented SystemsProceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium10.1109/HASE.2008.34(414-423)Online publication date: 3-Dec-2008
https://dl.acm.org/doi/10.1109/HASE.2008.34
Wang C(2008)Semantic Based System Modeling for Reliable Operation of Dynamic e-EnterpriseProceedings of the 2008 International Seminar on Future Information Technology and Management Engineering10.1109/FITME.2008.46(90-93)Online publication date: 20-Nov-2008
https://dl.acm.org/doi/10.1109/FITME.2008.46
Chu WQian D(2007)Architecture Driven Grid Application DevelopmentProceedings of the Sixth International Conference on Grid and Cooperative Computing10.1109/GCC.2007.43(59-66)Online publication date: 16-Aug-2007
https://dl.acm.org/doi/10.1109/GCC.2007.43

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Modeling, validating and automating composition of web services

An approach to web services oriented modeling and validation

Formalizing fuzzy UML class diagrams with fuzzy description logics

Reviews

Access critical reviews of Computing literature here