Synthesizing components with sessions from collaboration-oriented service specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4745 LNCS, Issue , 2007, Pages 166-185

  Kraemer, Frank Alexander ^a   Bræk, Rolv ^a   Herrmann, Peter ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COLLABORATION MODELS; COMPONENT BEHAVIOR; MODEL TRANSFORMATION; SERVICE BEHAVIORS; SERVICE ENGINEERING; SERVICE SPECIFICATIONS; SYSTEM COMPONENTS; UML COLLABORATIONS;

SPECIFICATIONS;

EID: 38149078916     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74984-4_11     Document Type: Conference Paper

References (28)

1. ITU-T: Recommendation Z.100: Specification and Description Language (SDL)
2. Krüger, I.H., Mathew, R.: Component Synthesis from Service Specifications. In: Leue, S., Systä, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol. 3466, pp. 255-277. Springer, Heidelberg (2005)
3. Rößler, F., Geppert, B., Gotzhein, R.: Collaboration-Based Design of SDL Systems. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 72-89. Springer, Heidelberg (2001)
4. Fisler, K., Krishnamurthi, S.: Modular Verification of Collaboration-Based Software Designs. In: 8th European Software Engineering Conference, pp. 152-163. ACM Press, New York (2001)
5. Object Management Group: Unified Modeling Language: Superstructure, version 2.1.1 formal/2007-02-03 (2007)
6. Reenskaug, T., Wold, P., Lehne, O.A.: Working with Objects, The OOram Software Engineering Method. Prentice-Hall, Englewood Cliffs (1995)
7. Reenskaug, T., Andersen, E.P., Berre, A.J., Hurlen, A., Landmark, A., Lehne, O.A., Nordhagen, E., Ness-Ulseth, E., Oftedal, G., Skaar, A.L., Stenslet, P.: OORASS: Seamless Support for the Creation and Maintenance of Object-oriented Systems. Journal of Object-oriented Programming 5(6), 27-41 (1992)
8. Bræk, R., Floch, J.: ICT Convergence: Modeling Issues. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 237-256. Springer, Heidelberg (2005)
9. Sanders, R.T., Bræk, R., von Bochmann, G., Amyot, D.: Service Discovery and Component Reuse with Semantic Interfaces. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 85-102. Springer, Heidelberg (2005)
10. Castejón, H.N., Bræk, R.: Formalizing Collaboration Goal Sequences for Service Choreography. In: FORTE 2006. LNCS, vol. 4229, Springer, Heidelberg (2006)
11. Castejón, H.N., Bræk, R.: A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios. In: ICSE's 5th Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06) (2006)
12. Herrmann, P., Krumm, H.: A Framework for Modeling Transfer Protocols. Computer Networks 34(2), 317-337 (2000)
13. Kraemer, F.A., Herrmann, P.: Transforming Collaborative Service Specifications into Efficiently Executable State Machines. In: 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT) (2007)
14. Kraemer, F.A., Herrmann, P.: Service Specification by Composition of Collaborations -An Example. In: 2nd International Workshop on Service Composition (Sercomp), Hong Kong (2006)
15. Herrmann, P., Kraemer, F.A.: Design of Trusted Systems with Reusable Collaboration Models. Joint iTrust and PST Conferences on Privacy, Trust Management and Security, IFIP (to appear, 2007)
16. Kraemer, F.A.: UML Profile and Semantics for Service Specifications. Avantel Technical Report 1/2007, Department of Telematics, NTNU, Trondheim, Norway (2007), ISSN 1503-4097
17. Kraemer, F.A.: Building Blocks, Patterns and Design Rules for Collaborations and Activities. Avantel Technical Report 2/2007 ISSN 1503-4097, Department of Telematics, NTNU, Trondheim, Norway (2007)
18. Floch, J.: Towards Plug-and-Play Services: Design and Validation using Roles. PhD thesis, Norwegian University of Science and Technology (2003)
19. Rising, L. (ed.): Design Patterns in Communications Software. Cambridge University Press, Cambridge (2001)
20. Kraemer, F.A., Herrmann, P., Bræk, R.: Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. In: Meersman, R., Tari, Z. (eds.) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE. LNCS, vol. 4276, Springer, Heidelberg (2006)
21. Bræk, R., Gorman, J., Haugen, Ø., Melby, G., Møller-Pedersen, B., Sanders, R.T.: Quality by Construction Exemplified by TIMe -The Integrated Methodology. Telektronikk 95(1), 73-82 (1997)
22. Bræk, R., Haugen, Ø.: Engineering Real Time Systems: An Object-Oriented Methodology Using SDL. The BCS Practitioner Series. Prentice-Hall, Englewood Cliffs (1993)
23. von Bochmann, G., Gotzhein, R.: Deriving Protocol Specifications from Service Specifications. In: ACM SIGCOMM Conf. on Communications Architectures & Protocols, pp. 148-156. ACM Press, New York (1986)
24. Yamaguchi, H., El-Fakih, K., von Bochmann, G., Higashino, T.: Protocol Synthesis and Re-Synthesis with Optimal Allocation of Resources based on Extended Petri Nets. Distrib. Comput. 16(1), 21-35 (2003)
25. Liang, H., Dingel, J., Diskin, Z.: A Comparative Survey of Scenario-Based to State-Based Model Synthesis Approaches. In: Int. Ws. on Scenarios and State Machines: Models, Algorithms, and Tools, ACM Press, New York (2006)
26. Amyot, D., He, X., He, Y., Cho, D.Y.: Generating Scenarios from Use Case Map Specifications, qsic 00, 108 (2003)
27. Castejón, H.N.: Synthesizing State-machine Behaviour from UML Collaborations and Use Case Maps. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, Springer, Heidelberg (2005)
28. Kraemer, F.A.: Rapid Service Development for Service Frame. Master's thesis, University of Stuttgart (2003)