A service-oriented extension of the V-modell XT

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2007, Pages 256-265

  Meisinger, Michael ^a   Krüger, Ingolf H ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVAILABILITY; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; PROJECT MANAGEMENT; STANDARDS;

BUSINESS SYSTEMS; QUALITY STANDARDS; SERVICE ORIENTED DEVELOPMENT; V-MODELL XT;

SOFTWARE DESIGN;

EID: 34250198321     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2007.12     Document Type: Conference Paper

References (42)

1. J. Ahluwalia, I. Krüger, M. Meisinger, and W. Phillips. Model-Based Run-Time Monitoring of End-to-End Dead-lines. In Proceedings of the Conference on Embedded Systems Software (EMSOFT), 2005.
2. S. W. Ambler. More Process Patterns: Delivering Large-Scale Systems Using Object Technology. Cambridge University Press, 1999.
3. M. Broy, I. H. Krüger, and M. Meisinger, editors. Automotive Software - Connected Services in Mobile Networks. Proceedings of the Automotive Software Workshop San Diego 2004. Lecture Notes in Computer Science, Volume 4147, Springer, New York, 2006.
4. Bundesrepublik Deutschland. V-Modell XT, 1.2 edition, 2006. http://www.v-modell-xt.de/.
5. V. Ermagan, T.-J. Huang, I. Krüger, M. Meisinger, M. Menarini, and P. Moorthy. Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems. In Proceedings of the Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES'07), To appear as LNCS. Springer Verlag, 2007.
6. E. Evans. Domain Driven Design. Addison-Wesley, 2003.
7. G. Georg, R. France, and I. Ray. Composing Aspect Models. In Proceedings of the 4th AOSD Modeling With UML Workshop, 2003.
8. M. Gnatz, F. Marschall, G. Popp, A. Rausch, and W. Schwerin. The living software development process. Software Quality Professional, 5(3), June 2003.
9. ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC). Geneva, 1996.
10. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-Integrated Development of Embedded Software. In Proceedings of IEEE January 2003, 2003.
11. F. Kordon and L. Michel, editors. Formal Methods for Embedded Distributed Systems. Springer, 2004.
12. P. Kruchten. The Rational Unified Process. An Introduction. Addison-Wesley, 2nd edition, 2000.
13. I. Krüger. Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München, 2000.
14. I. Krüger, R. Mathew, and M. Meisinger. Efficient Exploration of Service-Oriented Architectures using Aspects. In Proceedings of the 28th International Conference on Software Engineering (ICSE), 2006.
15. I. Krüger, M. Meisinger, and M. Menarini. Applying Service-Oriented Development to a Complex System: the BART case study. In Proceedings of the Monterey Workshop 2005, number 4322 in LNCS. Springer Verlag, 2007.
16. I. Krüger, M. Meisinger, M. Menarini, and S. Pasco. Rapid Systems of Systems Integration - Combining an Architecture-Centric Approach with Enterprise Service Bus Infrastructure. In Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration (IRI), pages 51-56. IEEE, 2006.
17. I. Krüger, E. C. Nelson, and V. Prasad. Service-based Software Development for Automotive Applications. In CONVERGENCE 2004, 2004.
18. I. Krüger, B. Schätz, M. Broy, and H. Hussmann, editors. SBSE'03. Service-Based Software Engineering. Proceedings of the FM2003 Workshop, number TUM-I0315, 2003.
19. I. H. Krüger. Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. In M. Pezzè, editor, FASE 2003, volume 2621 of LNCS, pages 387-402. Springer Verlag, 2003.
20. I. H. Krüger, R. Mathew, S. Leue, and T. Systä. Component Synthesis from Service Specifications. In Scenarios: Models, Transformations and Tools, volume 3466 of LNCS, pages 255-277. Springer Verlag, 2005.
21. E. C. Nelson and K. V. Prasaad. Automotive Infotronics: An emerging domain for Service-Based Architecture. In I. H. Krüger, B. Schätz, M. Broy, and H. Hussmann, editors, SBSE'03 Service-Based Software Engineering, Proceedings of the FM2003 Workshop, Technical Report TUM-I0315, pages 3-14. Technische Universität München, 2003.
22. OASIS. Web Services Business Process Execution Language (WS-BPEL), Version 2.0. Specification public draft, 23-Aug-2006, 2006. http://docs.oasis- open.org/wsbpel/2.0/wsbpel-specification-draft.pdf.
23. OMG (Object Management Group). Model Driven Architecture (MDA). MDA Guide 1.0.1, omg/03-06-01, 2003. http://www.omg.org/mda.
24. OMG (Object Management Group). UML, Version 2.0. OMG Specification formal/05-07-04 (superstructure) and formal/05-07-05 (infrastructure), 2005.
25. W3C: OWL-S: Semantic Markup for Web Services, W3C Member Submission 22 November 2004, 2004. http://www.w3.org/Submission/OWL-S/.
26. C. Peltz. Web Services Orchestration and Choreography. IEEE Computer, 36(10):46-52, 2003.
27. D. S. Platt and K. Ballinger. Introducing Microsoft .NET. Microsoft Press, 2001.
28. C. Prehofer. Feature Oriented Programming: A fresh look at objects. In Proceedings of ECOOP 1997, number 1241 in LNCS. Springer Verlag, 1997.
29. C. Prehofer. Plug-and-Play Composition of Features and Feature Interactions with State-chart Diagrams. In Proceedings of the 7th International Workshop on Feature Interactions in Telecommunications and Software Systems, 2003.
30. A. Rausch and M. Broy. Das V-Modell XT. Grundlagen, Erfahrungen und Werkzeuge, dpunkt.verlag, 2006. In German.
31. D. Roman, U. Keller, H. Lausen, R. L. J. de Bruijn, M. Stollberg, A. Polleres, C. Feier, C. Bussler, and D. Fensel. Web service modeling ontology. Applied Ontology, 1(1):77-106, 2005.
32. J. Snell, D. Tidwell, and P. Kulchenko. Programming Web Services with SOAP. O'Reilly, 2002.
33. H. Störrle. Describing Process Patterns with UML. In Proc. of the 8th European Workshop on Software Process Technology (EWSPT '01), pages 173-182. Springer, 2001.
34. SUN Microsystems Inc. Java Platform, Enterprise Edition (Java EE, J2EE). Website, 15-Nov 2006. http://java.sun.com/javaee/.
35. J. Sztipanovits and G. Karsai. Model-Integrated Computing. IEEE Computer, 30(4):110-112, April 1997.
36. D. Trowbridge, U. Roxburgh, G. Hohpe, D. Manolescu, and E. Nadhan. Integration Patterns. Patterns & Practices. Microsoft Press, 2004.
37. K. J. Turner. Relating Services and Features in the Intelligent Network. In Proc. of the 4th International Conference on Telecommunications, pages 235-243, 1997.
38. W3C. Web Services Description Language (WSDL), Version 1.1. W3C Note, 15-Mar-2001, 2001. http://www.w3.org/TR/wsdl/.
39. W3C. Web Services Architecture, 11-Feb 2004. http://www.w3.org/TR/ws- arch/.
40. W3C: Web Service Semantics - WSDL-S, Version 1.0. W3C Member Submission, 7-Nov-2005, 2005. http://www.w3.org/Submission/WSDL-S/.
41. V. Winter, F. Kordon, and L. Michel. The BART Case Study. In F. Kordon and L. Michel, editors, Formal Methods for Embedded Distributed Systems, pages 3-22. Springer, 2004.
42. 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, 2001.