Modeling and validation of service-oriented architectures: Application vs. style

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2003, Pages 68-77

  Baresi, Luciano ^a   Heckel, Reiko ^b   Thöne, Sebastian ^b   Varró, Dániel ^c  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF PADERBORN   (Germany)

^c BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

architectural style; graph transformation system; model checking; modeling middleware platforms; service oriented architectures

Indexed keywords

APPLICATION SCENARIO; ARCHITECTURAL STYLE; AS GRAPH; GRAPH TRANSFORMATION SYSTEM; MIDDLEWARE PLATFORMS; MODELING AND VALIDATION; SERVICE ORIENTED; SUPPLY CHAIN MANAGEMENT SYSTEM; UML MODEL;

ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS; GRAPH THEORY; INFORMATION SERVICES; MIDDLEWARE; SOFTWARE ENGINEERING; SUPPLY CHAIN MANAGEMENT; SUPPLY CHAINS; UNIFIED MODELING LANGUAGE;

MODEL CHECKING;

EID: 36849088106     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/940071.940082     Document Type: Conference Paper

References (33)

1. From UML to Java and Back Again: The Fujaba homepage. www.fujaba.de.
2. The Murø Model Checker. http://verify.stanford.edu/dill/murphi. html.
3. R. Allen. A Formal Approach to Software Architecture. PhD thesis, School of Computer Science, Carnegie Mellon University, 1997.
4. L. Baresi, R. Heckel, S. Thöne, and D. Varró. Modelling and analysis of architectural styles based on graph transformation. In Proc. 6th ICSE Workshop on Component-Based Software Engineering (CBSE6): Automated Reasoning and Prediction, 2003.
5. S. Bensalem, V. Ganesh, Y. Lakhnech, C. Munoz, S. Owre, H. Rueß, J. Rushby, V. Rusu, H. Saïdi, N. Shankar, E. Singerman, and A. Tiwari. An overview of SAL. In C. M. Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187-196, 2000.
6. A. Bertolino, F. Corradini, P. Inverardi, and H. Muccini. Deriving test plans from architectural descriptions. In Proceedings of the 22nd International Conference on Software Engineering, pages 220-229. ACM Press, June 2000.
7. P. Bottoni, A. Schürr, and G. Taentzer. Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. In Proc. IEEE Symposium on Visual Languages, September 2000. Long version available as technical report SI-2000-06, University of Rom.
8. A. Celentano, S. Crespi Reghizzi, P. Della Vigna, C. Ghezzi, and F. Savoretti. Compiler testing using a sentence generator. Software - Practice & Experience, 10:897-918, 1980.
9. M. Champion, C. Ferris, E. Newcomer, and D. Orchard. Web Service Architecture, W3C Working Draft, 2002. http://www.w3.org/TR/2002/WD-ws-arch- 20021114/ .
10. M. Chapman, M. Goodner, B. Lund, B. McKee, and R. Rekasius. Sample Application Supply Chain Management Architecture. Web Services Interoperability Organization, 2002. http://www.ws-i.org/SampleApplications/ SupplyChainManagement/2002-11/SC%MArchitecture-0-11-WGD.pdf.
11. E. Dashofy, A. van der Hoek, and R. Taylor. An infrastructure for the rapid development of XML-based architecture description languages. In Proceedings of the 24th International Conference on Software Engineering (ICSE-02), pages 266-276, New York, May 19-25 2002. ACM Press.
12. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook on Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools. World Scientific, 1999.
13. th International Workshop on Theory and Application of Graph Transformation (TAGT), Paderborn, Germany, LNCS 1764. Springer Verlag, 1998.
14. D. Garlan, R. Allen, and J. Ockerbloom. Exploiting style in architectural design environments. In Proceedings of the ACM SIGSOFT '94 Symposium on the Foundations of Software Engineering, pages 175-188, 1994.
15. 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.
16. D. Garlan, J. Kramer, and A. Wolf, editors. Workshop on Self-Healing Systems, 2002.
17. I. Georgiadis, J. Magee, and J. Kramer. Self-Organising Software Architectures for Distributed Systems. In Proceedings of WOSS'02: Workshop on Self-Healing Systems, pages 33-38, 2002.
18. D. Hirsch and M. Montanari. Synchronized hyperedge replacement with name mobility. In Proc. CONCUR 2001, Aarhus, Denmark, volume 2154 of Lecture Notes in Computer Science, pages 121-136. Springer-Verlag, Aug. 2001.
19. G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
20. P. Inverardi and A. Wolf. Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, 21(4):373-386, Apr. 1995.
21. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison Wesley, 1999.
22. Le Métayer, D. Software architecture styles as graph grammars. In Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, volume 216 of ACM Software Engineering Notes, pages 15-23, New York, Oct. 16-18 1996. ACM Press.
23. D. Luckham, J. Kenney, L. Augustin, J. Vera, D. Bryan, and W. Mann. Specification and analysis of system architecture using rapide. IEEE Transactions on Software Engineering, 21(4):336-355, Apr. 1995.
24. th European Software Engineering Conference, volume 989 of Lecture Notes in Computer Science, pages 137-153. Springer-Verlag, Sept. 1995.
25. N. Medvidovic, D. Rosenblum, D. Redmiles, and J. Robbins. Modeling software architectures in the Unified Modeling Language. ACM Transactions on Software Engineering and Methodology, 11(1):2-57, Jan. 2002.
26. H. Muccini. Software Architecture for Testing, Coordination and Views Model Checking. PhD thesis, Universtà degli Studi di Roma "La Sapienza", 2002.
27. Object Management Group. UML specification version 1.4, 2001. http://www.omg.org/uml/.
28. A. Schürr, A. Winter, and A. Zündorf. In [12], chapter The PROGRES Approach: Language and Environment, pages 487-550. World Scientific, 1999.
29. G. Taentzer, M. Goedicke, and T. Meyer. Dynamic change manegement by distributed graph transformation: Towards configurable distributed systems. In Proceedings TAGT'98, volume 1764 of Lecture Notes in Computer Science, pages 179-193. Springer-Verlag, 2000.
30. R. Taylor, N. Medvidovic, K. Anderson, E. Whitehead Jr., J. Robbins, K. Nies, P. Oreizy, and D. Dubrow. A component- and message-based architectural style for GUI software. IEEE Transactions on Software Engineering, 22(6):390-406, June 1996.
31. D. Varró. Towards symbolic analysis of visual modelling languages. In P. Bottoni and M. Minas, editors, Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques, volume 72 of ENTCS, pages 57-70, Barcelona, Spain, October 11-12 2002. Elsevier.
32. D. Varró. Towards automated formal verification of visual modeling languages by model checking. 2003. Extended version of [31]. Submitted.
33. M. Wermelinger and J. Fiadero. A graph transformation approach to software architecture reconfiguration. In H. Ehrig and G. Taentzer, editors, Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra'2000), Berlin, Germany, March 2000. http://tfs.cs.tu-berlin.de/ gratra2000/.