A compositional approach to service validation

Lecture Notes in Computer Science

Volumn 3530, Issue , 2005, Pages 281-297

  Floch, Jacqueline ^a   Bræk, Rolv ^b  

^a SINTEF ICT   (Norway)

^b NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMMUNICATION SYSTEMS; COMPUTATIONAL COMPLEXITY; MATHEMATICAL MODELS;

ASYNCHRONOUS COMMUNICATION; SERVICE VALIDATION; STATE MACHINES;

SYSTEMS ANALYSIS;

EID: 26444607971     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11506843_20     Document Type: Conference Paper

References (23)

1. Allen, R., and Garlan, D., "A Formal Basis for Architectural Connection", ACM Transactions on Software Engineering and Methodology, vol. 6, no. 3, pp. 213-249, 1997.
2. Alsnes, R., Role Validation Tool, M.Sc. thesis NTNU, Spring 2004.
3. Boroday, S., Groz, R., Petrenko, A., and Quemener, Y.-M., "Techniques for Abstracting SDL Specifications." SAM 2002.
4. Charpentier, M., and Chandy, K.M., "Towards a Compositional Approach to the Design and Verification of Distributed Systems", Proc. of World Congress on Formal Methods in the Development of Computing Systems (FM 99), pp. 570-589, Springer, 1999.
5. Floch, J., Towards Plug-and-Play Services: Design and Validation using Roles, Doctoral thesis, Norwegian University of Science and Technology, ISBN 82-471-5598-2, 2003.
6. Floch, J., "Supporting evolution and maintenance by using a flexible automatic code generator", Proc. of the 17th International Conference on Software Engineering (ICSE 95), pp. 211-219, 1995.
7. Floch, J., and Bræk, R., "Using SDL for Modeling Behavior Composition", Proc. of the 11th International SDL Forum, LNCS 2708, pp. 36-54, 2003.
8. Floch, J., and Bræk, R., "Using Projections for the Detection of Anomalous Behaviors", Proc. of the 11th International SDL Forum, LNCS 2708, pp. 251-268, 2003.
9. Graf, S., Steffen, B., and Lüttgen, G., "Compositional minimization of finite state machines using interface specifications.", Formal Aspects of Computing, 8(5), pp. 607-616, 1996.
10. Haugen, Ø., Bræk, R., and Melby, G., The SISU project. Proc. of the sixth SDL Forum (SDL 93), pp. 479-489, 1993.
11. Holzmann, G.J. Design and Validation of Computer Protocols. Prentice Hall. ISBN 0-13-539834-7, 1991.
12. Korda D., Role Negotiation, M.Sc. thesis NTNU, Spring 2004.
13. ITU-T. Specification and Description Language (SDL). "SDL- 2000", ITU-T Recommendation Z.100 (11/99), 1999.
14. Jin, Y., Lakos, C., Esser, R., "Component-based Design and Analysis: A Case Study", Proc. of the First International Conference on Software Engineering and Formal Methods (SEFM 03), 2003.
15. Loiseaux, C., Graf, S., Sifakis, J., Bouajjani, A., and Bensalem, S., "Property Preserving Abstractions for the Verification of Concurrent Systems", Formal Methods in System Design, Vol. 6, pp. 11-44, Kluwer Academic Publishers, 1995.
16. Luckham, D.C., Kenney, J.J., Augustin, L.M. Vera, J., Bryan, D., and Mann, W., "Specification and Analysis of System Architecture Using Rapide", IEEE Transactions on Software Engineering, vol. 21, no. 4, pp. 717-734, 1995.
17. Medvidovic, N., and Taylor, R.N., "A Classification and Comparison Framework for Software Architecture Descriptions Languages", IEEE Transactions on Software Engineering, 2000, vol. 26, no. 1, pp. 70-93.
18. Mezini, M., and Lieberherr, K., "Adaptative Plug-and-Play Components for Evolutionary Software Development", Proc. of OOPSLA 98, ACM SIGPLAN Notices, vol. 33, no. 10, pp. 97-116, 1998.
19. OMG. UML 2.0 specifications, 2003. Information available at http://www.omg.org/uml (accessed March 2004).
20. Reenskaug, T., Andersen, E.P., Berre, A.J., Hurlen, A.J., Landmark, A., Lehne, O.A., Nordhagen, E., Ness-Ulseth, E. Oftedal, G., Skar, A.L., and Stenslet, P. "OORASS: Seamless support for the creation and maintenance of object oriented systems", Journal of object-oriented programming, vol.5, no. 6, pp. 27-41, 1992.
21. Rößler, B., Geppert, B., and Gotzheim, R., "Collaboration-based Design of SDL Systems", Proc. of the 2001 SDL Forum., LNCS 2078, pp. 72-89, 2001.
22. Sanders, R., and Bræk, R., "Modeling Peer-to-peer Service Goals in UML", Proc. of the Sixth International Conference on Software Engineering and Formal Methods (SEFM 04), 2004.
23. Sanders, R., and Bræk, R., v. Bochmann, G. and Amyot, D., "Service Discovery and Selection using Semantic Interfaces", Proc. of the 12th International SDL Forum (this conference), 2005.