Formalizing and validating UML architecture description of web systems

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.

[1]  Robert L. Nord,et al.  Describing Software Architecture with UML , 1999, WICSA.

[2]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[3]  Nenad Medvidovic,et al.  Round-Trip Software Engineering Using UML: From Architecture to Design and Back , 1999 .

[4]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[5]  David Garlan,et al.  Mapping Architectural Concepts to UML-RT , 2001 .

[6]  Yujian Fu,et al.  Modeling, validating and automating composition of web services , 2006, ICWE '06.

[7]  Jan Mendling.  Business Process Execution Language for Web Service (BPEL) , 2006 .

[8]  Sol M. Shatz,et al.  Formalization of Object Behavior and Interactions from UML Models , 2001, Int. J. Softw. Eng. Knowl. Eng..

[9]  David Garlan,et al.  Documenting software architectures: views and beyond , 2002, 25th International Conference on Software Engineering, 2003. Proceedings..

[10]  Nenad Medvidovic,et al.  Extending Architectural Representation in UML with View Integration , 1999, UML.

[11]  Jianwen Su,et al.  E-services: a look behind the curtain , 2003, PODS.

[12]  Reiko Heckel,et al.  Towards a UML Profile for Service-Oriented Architectures 1 , 2003 .

[13]  Alexander Egyed,et al.  Automating Architectural View Integration in UML , 1999 .

[14]  Akshai K. Aggarwal,et al.  Web Enabled Client-Server Model for Development Environment of Distributed Image Processing , 2000, GRID.

[15]  Robert L. Nord,et al.  Applied Software Architecture , 1999, Addison Wesley object technology series.

[16]  Yi Deng,et al.  Formally analyzing software architectural specifications using SAM , 2004, J. Syst. Softw..

[17]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[18]  Diego Latella,et al.  Towards a Formal Operational Semantics of UML Statechart Diagrams , 1999, FMOODS.

[19]  Yujian Fu,et al.  Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams , 2003, SEKE.

[20]  M. Omizo,et al.  Modeling , 1983, Encyclopedic Dictionary of Archaeology.

[21]  David Garlan,et al.  Reconciling the needs of architectural description with object-modeling notations , 2000, Sci. Comput. Program..

[22]  Jiacun Wang,et al.  Introducing software architecture specification and analysis in SAM through an example , 1999, Inf. Softw. Technol..

[23]  Hartmut Ehrig,et al.  Algebraic High-Level Nets: Petri Nets Revisited , 1992, COMPASS/ADT.

[24]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[25]  Yujian Fu,et al.  An approach to web services oriented modeling and validation , 2006, SOSE '06.

[26]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[27]  Narciso Martí-Oliet,et al.  Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..

[28]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[29]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 2: Module Specifications and Constraints , 1990 .

[30]  Reiko Heckel,et al.  Towards Consistency of Web Service Architectures , 2003 .