Component synthesis from service specifications

Lecture Notes in Computer Science

Volumn 3466, Issue , 2005, Pages 255-277

  Krüger, Ingolf H ^a   Mathew, Reena ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SCIENCE; INFORMATION ANALYSIS; INTERACTIVE COMPUTER SYSTEMS;

COMPONENT SYNTHESIS; INTERACTION PATTERNS; STATE MACHINES;

INFORMATION SERVICES;

EID: 24944450791     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11495628_14     Document Type: Conference Paper

References (37)

1. M. Broy and I. Krüger: Interaction Interfaces- Towards a scientific foundation of a methodological usage of Message Sequence Charts. In J. Staples, M. G. Hinchey, and Shaoying Liu, editors, Formal Engineering Methods (ICFEM'98), IEEE Computer Society, 1 (1998) 2-15
2. M. Broy and K. Stølen: Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement. Springer New York (2001) ISBN 0-387-95073-7
3. The Action Semantics Consortium: Response to OMG RFP as/98-11-01. Action Semantics for the UML (2001)
4. ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC). Geneva (1996)
5. I. Krüger: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München (2000)
6. J. Ellsberger, D. Hogrefe, and A. Sarma: SDL. Formal Object-oriented Language for Communication Systems, Prentice-Hall (1998)
7. SCESM 2003 Case Study, 2nd international workshop on scenarios and state machines: Models, algorithms, and tools, CTAS Case Study Overview, Requirements, http://www.doc.ic.ac.uk/ su2/SCESM/CS/requirements.pdf (2002)
8. Dagstuhl Seminar No. 03371, Scenarios: Models, Transformations and tools, Case Study, http://tele.informatik.uni-freiburg.de/dagstuhl03371/CaseStudy.html (2003)
9. B. Finkbeirier and I. Krüger: Using Message Sequence Charts for Component-Based Formal Verification. In Specification and Verification of Component Based Systems (SAVCBS). Workshop at OOPSLA (2001)
10. I. Krüger, R. Grosu, P. Scholz and M. Broy: From MSCs to statecharts. In Franz J. Rammig, editor, Distributed and Parallel Embedded Systems, pages 61-71, Kluwer Academic Publishers (1999)
11. I. Krüger, W. Prenninger, R. Sandner and M. Broy: From Scenarios to Hierarchical Broadcasting Software Architectures using UML-RT, International Journal of Software Engineering and Knowledge Engineering (IJSEKE) (April 2002)
12. S. Uchitel, J. Kramer arid J. Magee: Implied Scenario Detection in the Presence of Behavior Constraints, Electronic Notes in Theoretical Computer Science, 65(7) (2002)
13. D. Harel and H. Kugler: Synthesizing State-Based Object Systems from LSC specifications. In Sheng Yu and Aridrei Paun, editors, Implementation and Application of Automata, 5th International Conference, CIAA 2000, volume 2088 of LNCS, pages 1-33, Springer (2001)
14. I. Krüger and R. Mathew: Systematic Development and Exploration of Service-Oriented Software Architectures, in: Proceedings of WICSA'04 (2004).
15. I. H. Krüger, Diwaker Gupta, Reena Mathew, Praveen Moorthy, Walter Phillips, Sabine Rittmann and Jaswinder Ahluwalia: Towards a Process and Tool-Chain for Service-Oriented Automotive Software Engineering. In: Proceedings of SEAS Workshop at ICSE 2004 (2004)
16. I. H. Krüger: Service Specification with MSCs and Roles, in: IASTED International Conference on Software Engineering, Innsbruck (2004)
17. L. Baresi, R. Heckel, S. Thne and D. Varr: Modeling and Validation of Service-oriented Architectures: Application vs. Style. Proceedings of ESEC/FSE 2003 (2003)
18. B.B. Kristensen and D.C.M. May. Activities: Abstractions for Collective Behavior. In ECOOP'96, volume 1098 of LNCS, pages 472-501. Springer (1996)
19. Barbara Paech: A framework for interaction description with roles. Technical Report TUM-I9731, Technische Univerität München (1997)
20. AutoSAR. http://www.autosar.org/.
21. AMI-C. http://www.ami-c.org/publicspecrelease.asp.
22. M. Broy and I. H. Krüger (eds.): Pre-Procceedings of the Automotive Software Workshop San Diego 2004, available at: http://tharkun.ucsd.edu/aswsd/ (2004)
23. JXTA Project Homepage: available at http://jxme.jxta.org/ (2001)
24. D. S. Platt and K. Ballinger. Introducing Microsoft.NET. Microsoft Press (2001).
25. Sun Microsystems, Inc.: Jini Architecture Specification, Version 1.1. available at http://wwwwswest.sun.com/jini/specs/jini11.pdf (2000).
26. OMG: Real-Time CORBA Specification. Version 1.1, formal/02-08-02, available at: http://www.omg.org/docs/formal/02-08-02.pdf (2002)
27. P. Zave: Feature-oriented description, formal methods, and DFC. In Proceedings of the FIREworks Workshop on Language Constructs for Describing Features, pages 11-26, Springer-Verlag, London (2001)
28. CTAS homepage, available at http://www.etas.arc.nasa.gov/
29. J. Ellsberger, D. Hogrefe, and A. Sarma: SDL. Formal Object-oriented Language for Communicating Systems. Prentice Hall (1998)
30. I.H. Krüger: Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. in: Mauro Pezz (Ed.): Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Lecture Notes in Computer Science 2621, Springer (2003)
31. J. Snell, D. Tidwell and P. Kulchenko. Programming Web Services with SOAP. O'Reilly (2002)
32. E. Evans: Domain-Driven Design: Tackling Complexity in the Heart of Software. Addison-Wesley (2003)
33. D. Trowbridge, U. Roxburgh, G. Hohpe, D. Manulescu and E.G. Nadhan: Intergration Patterns. Patterns & Practices, http://download.microsoft.com/ download/a/c/f/acf079ca-670e-4942-8a53-e587a0959d75/IntPatt.pdf (2004)
34. D.C. Luckham, J.J. Kenney, L.M. Augustin, J. Vera, D. Bryan and W. Mann:Specification and Analysis of System Architecture Using Rapide. IEEE Transactions on Software Engineering. Vol. 21, No. 4 (1995)
35. J. Magee, N. Dulay, S. Eisenbach and J. Kramer: Specifying Distributed Software Architectures, in: 5th European Software Engineering Conference (1995)
36. A.J. Allen and D. Gralan: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology (1997)
37. R.N. Taylor, N. Medvidovic, K.M. Anderson, E.J. Whitehead, J.E. Robbins, K.A. Nies, P. Oreizy and D.L. Dubrow: A Component and Messages Based Architectural Style for GUI Software. IEEE Transactions on Software Engineering. Vol. 22, No. 6, pp. 390-406 (1996)