Tool supported development of service-based systems

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2004, Pages 99-108

  Deubler, Martin ^a   Grünbauer, Johannes ^a   Popp, Gerhard ^a   Wimmel, Guido ^a   Salzmann, Christian ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b BMW Car IT GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MULTIFUNCTIONAL SYSTEMS; SERVICE-BASED SYSTEMS; SYSTEM INTEGRATION;

CODES (SYMBOLS); COMPUTER SIMULATION; EMBEDDED SYSTEMS; LARGE SCALE SYSTEMS; REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING;

SYSTEMS ENGINEERING;

EID: 18944386541     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2004.101     Document Type: Conference Paper

References (28)

1. MEWADIS website at http://www4.in.tum.de/~mewadis. In German.
2. R. Breu. Objektorientierter Softwareentwurf - Integration mit UML. Springer-Verlag, 2001. In German.
3. R. Breu, K. Burger, M. Hafner, J. Jürjens, G. Popp, G. Wimmel, and V. Lotz. Key Issues of a Formally Based Process Model for Security Engineering. In Proceedings of the 16th International Conference on Software & Systems Engineering and their Applications (ICSSEA03), 2003.
4. M. Broy. Modeling Services and Layered Architectures. In H. König, M. Heiner, and A. Wolisz, editors, Formal Techniques for Networked and Distributed Systems, volume 2767 of Lecture Notes in Computer Science, pages 48-61. Springer-Verlag, 2003.
5. M. Broy. Multi-view Modeling of Software Systems, 2003. Keynote. FM2003 Satellite Workshop on Formal Aspects of Component Software, 8-9 September, Pisa, Italy.
6. M. Broy and K. Stølen. Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces and Refinement. Springer-Verlag, 2001.
7. M. Deubler, J. Grünbauer, G. Popp, G. Wimmel, and C. Salzmann. Towards a Model-Based and Incremental Development Process for Service-Based Systems. In M. H. Hamaza, editor, Proceedings of the IASTED International Conference on Software Engineering (IASTED SE 2004), pages 183-188, Innsbruck, Austria, February, 17-19 2004.
8. D. F. D'Souza and A. C. Wills. Objects, Components, and Frameworks With UML: The Catalysis Approach. Addison Wesley Publishing Company, 1998.
9. M. Dwyer, G. Avrunin, and J. Corbett. Patterns in Property Specifications for Finite-State Verification. In Proc. 21st International Conference on Software Engineering (ICSE), 1999.
10. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 995-1072. Elsevier Science Publishers, 1990.
11. J. Grünbauer, H. Hollmann, J. Jürjens, and G. Wimmel. Modelling and Verification of Layered Security Protocols: A Bank Application. In S. Anderson, M. Felici, and B. Little-wood, editors, The 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2003), volume 2788 of lncs, pages 116-131, Edinburgh, UK, September 23-26 2003. Springer-Verlag.
12. F. Huber, S. Molterer, A. Rausch, B. Schätz, M. Sihling, and O. Slotosch. Tool supported Specification and Simulation of Distributed Systems. In International Symposium on Sofware Engineering for Parallel and Distributed Systems, pages 155-164, 1998.
13. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison Wesley Longman, Inc., 1999.
14. I. Jacobson, M. Christerson, P. Jonsson, and G. Övergaard. Object-Oriented Software Engineering: A Use-Case Driven Approach. Addison Wesley Longman, Inc., 1992.
15. P. Kruchten. The Rational Unified Process: An Introduction, Second Edition. Addison-Wesley, 2000.
16. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Boston, 1993.
17. OMG. MDA Specifications. Available at http://www.omg.org/mda/specs.htm.
18. OMG. UML Profile for enterprise distributed Object Computing (EDOC) v 1.0, 2004. Available at http://www.omg.org/technology/documents/formal/edoc.htm.
19. Open Services Gateway Inititative. OSGi™ Service Platform Specification. Release 3, March 2003, http://www.osgi.org.
20. J. Philipps and O. Slotosch. The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. In Asia Pacific Software Engineering Conference 1999, 1999.
21. W. W. Royce. Managing the Development of Large Software Systems. In Proceedings of the Ninth International Conference on Software Engineering, pages 328-338. IEEE, 1987.
22. C. Salzmann. Modellbasierter Entwurf spontaner Komponentensysteme. PhD thesis, TU München, 2002. In German.
23. B. Schätz and C. Salzmann. Service-Based Systems Engineering: Consistent Combination of Services. In Proceedings of ICFEM 2003, Fifth International Conference on Formal Engineering Methods. Springer-Verlag, 2003.
24. O. Slotosch. Quest: Overview over the Project. In D. Hutter, W. Stephan, P. Traverso, and M. Ullmann, editors, Applied Formal Methods - FM-Trends 98, pages 346-350. Springer LNCS 1641, 1998.
25. S. Thompson. Haskell- The Craft of Functional Programming. Addison-Wesley, 1999.
26. G. Wimmel and J. Jürjens. Specification-based Test Generation for Security-Critical Systems Using Mutations. In International Conference on Formal Engineering Methods (ICFEM), volume 2495 of Lecture Notes in Computer Science, pages 471-482, Shanghai, China, Oct. 22-25 2002. Springer Verlag.
27. P. Zave. Formal description of telecommunication services in promela and z. In M. Broy and R. Steinbrüggen, editors, Calculational System Design, Proceedings of the Nineteenth International NATO Summer School, pages 395-420. IOS Press, 1999.
28. P. Zave. An Experiment in Feature Engineering, pages 353-377. Programming Methodology. Springer-Verlag, 2003.