A new architecture description language for service-oriented architecture

Proceedings of the 6th International Conference on Grid and Cooperative Computing, GCC 2007

Volumn , Issue , 2007, Pages 96-103

  Jia, Xiangyang ^a   Ying, Shi ^a   Zhang, Tao ^a   Cao, Honghua ^a   Xie, Dan ^a  

^a WUHAN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL DESIGN; ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS; DYNAMIC MODELS; ENGINEERING RESEARCH; GRID COMPUTING; INFORMATION SERVICES; INFORMATION THEORY; LARGE SCALE SYSTEMS; LINGUISTICS; MODAL ANALYSIS; QUALITY OF SERVICE; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

(OTDR) TECHNOLOGY; ABSTRACT LEVELS; ARCHITECTURE DESCRIPTION LANGUAGE (ADL); COARSE GRAINED (CG); COOPERATIVE COMPUTING; DISTRIBUTED SOFTWARE ARCHITECTURE; INTERNATIONAL CONFERENCES; NEW FORMS; QUALITY PROPERTIES; SERVICE COMPOSITIONS; SERVICE ORIENTED ARCHITECTURE (SOA); SERVICE ORIENTED DEVELOPMENT (SODA); SERVICE ORIENTED SOFTWARE;

SOFTWARE ARCHITECTURE;

EID: 46449083762     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/GCC.2007.18     Document Type: Conference Paper

References (17)

1. R. Chinnic, H. Haas, A. Lewis, J. J. Moreau, D. Orchard, and S. Weerawarana. Web services description language (wsdl) version 2.0 part 1: Core language, March 2006. http://www.w3.org/TR/2006/CR-wsdl20-20060327/
2. The OWL-S Coalition. OWL-S 1.1 Release, 2004. http://www.daml.org/ services/owl-s/1.0/.
3. OASIS. Business Process Execution Language for Web Services, Version 2.0, 2007. http://docs.oasis-open.org/wsbpel/2.0/
4. Nickolas Kavantzas, David Burdett, Gregory Ritzinger, Tony Fletcher, Yves Lafon. Web Services Choreography Description Language Version 1.0, November 2005. http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109/
5. Allen R, Douence R, Garlan D. Specifying and analyzing dynamic software architectures. In: Proceeding of the Fundamental Approaches to Software Engineering. LNCS 1382, Berlin: Springer-Verlag, 1998: 21-37.
6. Magee J, Kramer J. Dynamic structures in software architectures. ACM SIGSOFT Software Engineering Notes, New York:ACM Press, 1996,21(6):3-14.
7. D. Garlan, R. Monroe, and D. Wile. ACME: An Architecture Description Interchange Language. In Proceedings of the 7th Annual IBM Centre for Advanced Studies Conference, November 1997, 169-183
8. Wang XG, Feng YD, Mei H. ABC/ADL:An XML-Based software architecture description language. Journal of Computer Research and Development, CCF, China,2004,41 (9):1521-1531 (in Chinese).
9. Zhu X Y, Tang Z S. A temporal logic-based software architecture description language XYZ/ADL. Journal of Software, CCF, China, 2003, 14(4): 713-720 (in Chinese).
10. Oquendo F. π-ADL: An architecture description language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT Software Engineering Notes, New York:ACM Press , 2004,29(3):1-14.
11. Monika Solanki, Antonio Cau, and Hussein Zedan. Asdl: A wide spectrum language for designing web services. In Proceedings of 15th International World Wide Web Conference WWW2006, Edinburgh, Scotland, 2006: 687-696
12. Quartel D,Dijkman R,Sinderen M. Methodological support for service-oriented design with ISDL.In:Proc of the 2nd International Conference on Service Oriented Computing (ICSOC'04).New York: ACM Press,2004.1-10
13. L. Baresi, R. Heckel, S. Thöne, and D. Varrò. Style-Based Modeling and Refinement of Service-Oriented Architectures - A graph transformation-based approach. Software and Systems Modeling - Springer-Verlag, 2006 ,5(2): 187-207
14. Milner R, Parrow J, Walker D. A calculus of mobile processes. Information and Computation, 1992,100(1):1-40.
15. Sangiorgi D. Expressing mobility in process algebras: First-Order and higher-order paradigms [Ph.D. Thesis]. Edinburgh:University of Edinburgh, 1992.
16. Rama Akkiraju, Joel Farrell, John Miller, Meenakshi Nagarajan. Web Service Semantics - WSDL-S, W3C Member Submission version 1.0, 7 November 2005. http://www.w3.org/Submission/WSDL-S/
17. Victor B, Moller F. The mobility workbench: A tool for the pi-calculus. In proceeding of the 6th International Conference on Computer Aided Verification. Berlin: Springer-Verlag, 1994. 428-440