Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Component-Based Software Engineering

CBSE 2009: Component-Based Software Engineering pp 156–172Cite as

Integrating Functional and Architectural Views of Reactive Systems

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5582))

Abstract

An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the most important view is the functional one, which specifies functionalities offered by the system and relationships between them. In the design phase, the component-based view describes the system as a network of interacting components. Via their interaction, they realize the black-box behavior specified in the functional view. To ensure the consistency between both views, a formal integration of them is necessary.

The presented formal framework captures and interrelates both function- and component-based models. In particular, we provide a correct-by-construction procedure, which transforms a functional specification into a component-based architecture. Applicability of the method is evaluated in an industrial case study with the help of a CASE tool.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. AutoFocus 3, http://af3.in.tum.de/

  2. Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B., Garlan, D.: Differencing and merging of architectural views. In: Proceedings of ASE 2006. IEEE Computer Society Press, Los Alamitos (2006)

    Google Scholar 

  3. Baniassad, E., Clarke, S.: Theme: an approach for aspect-oriented analysis and design. In: Proceedings of ICSE 2004 (2004)

    Google Scholar 

  4. Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1998)

    Google Scholar 

  5. Berry, D.M., Kazman, R., Wieringa, R.: Second international workshop on from software requirements to architectures (STRAW 2003). SIGSOFT Softw. Eng. Notes 29(3) (2004)

    Google Scholar 

  6. Botaschanjan, J.: Techniques for Property Preservation in the Development of Real-Time Systems. PhD thesis, TU München (2008)

    Google Scholar 

  7. Botaschanjan, J., Gruler, A., Harhurin, A., Kof, L., Spichkova, M., Trachtenherz, D.: Towards Modularized Verification of Distributed Time-Triggered Systems. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 163–178. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  8. Botaschanjan, J., Harhurin, A.: A Formal Framework for Integrating Functional and Architectural Views of Reactive Systems. Technical Report TUM-I0904, TU München (2009)

    Google Scholar 

  9. Botaschanjan, J., Harhurin, A., Kof, L.: Service-based Specification of Reactive Systems. Technical Report TUM-I0815, Technische Universität München (2008)

    Google Scholar 

  10. Broy, M., Krüger, I., Pretschner, A., Salzmann, C.: Engineering automotive software. Proceedings of the IEEE 95(2) (2007)

    Google Scholar 

  11. Broy, M., Krüger, I.H., Meisinger, M.: A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1) (2007)

    Google Scholar 

  12. Buhr, R.J.A.: Use case maps as architectural entities for complex systems. IEEE Trans. Softw. Eng. 24(12) (1998)

    Google Scholar 

  13. Calder, M., Kolberg, M., Magill, E.H., Reiff-Marganiec, S.: Feature interaction: a critical review and considered forecast. Comput. Networks 41(1) (2003)

    Google Scholar 

  14. Damas, C., Lambeau, B., van Lamsweerde, A.: Scenarios, goals, and state machines: a win-win partnership for model synthesis. In: Proceedings of FSE14. ACM Press, New York (2006)

    Google Scholar 

  15. de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes 26(5) (2001)

    Google Scholar 

  16. Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: A framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering 2(1) (1992)

    Google Scholar 

  17. France, R., Rumpe, B.: Model-driven development of complex software: A research roadmap. In: Proceedings of FOSE 2007. IEEE Computer Society Press, Los Alamitos (2007)

    Google Scholar 

  18. Gruler, A., Harhurin, A., Hartmann, J.: Development and configuration of service-based product lines. In: Proceedings of SPLC 2007. IEEE Computer Society Press, Los Alamitos (2007)

    Google Scholar 

  19. Harel, D., Kugler, H.: Synthesizing state-based object systems from LSC specifications. In: Yu, S., Păun, A. (eds.) CIAA 2000. LNCS, vol. 2088, pp. 1–33. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  20. Harhurin, A., Hartmann, J.: Towards consistent specifications of product families. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 390–405. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  21. Jackson, M., Zave, P.: Distributed feature composition: A virtual architecture for telecommunications services. IEEE Trans. Softw. Eng. 24(10) (1998)

    Google Scholar 

  22. Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to statecharts. In: Proceedings of the Distributed and Parallel Embedded Systems. Kluwer Academic Publishers, Dordrecht (1999)

    Google Scholar 

  23. Krüger, I.H., Mathew, R.: Systematic development and exploration of service-oriented software architectures. In: Proceedings of WICSA 2004 (2004)

    Google Scholar 

  24. Liang, H., Dingel, J., Diskin, Z.: A comparative survey of scenario-based to state-based model synthesis approaches. In: Proceedings of SCESM 2006. ACM Press, New York (2006)

    Google Scholar 

  25. Lynch, N.A., Tuttle, M.R.: An introduction to input/output automata. CWI-Quarterly, 2(3) (1989)

    Google Scholar 

  26. Parnas, D.L., Madey, J.: Functional documents for computer systems. Science of Computer Programming 25(1) (1995)

    Google Scholar 

  27. Rashid, A., Moreira, A., Araújo, J.: Modularisation and composition of aspectual requirements. In: Proceedings of AOSD 2003: Aspect-oriented Software Development. ACM Press, New York (2003)

    Google Scholar 

  28. Sabetzadeh, M., Easterbrook, S.: View merging in the presence of incompleteness and inconsistency. Requir. Eng. 11(3) (2006)

    Google Scholar 

  29. Solberg, A., Simmonds, D.M., Reddy, R., Ghosh, S., France, R.B.: Using aspect oriented techniques to support separation of concerns in model driven development. In: Proceedings of COMPSAC 2005. IEEE Computer Society Press, Los Alamitos (2005)

    Google Scholar 

  30. Uchitel, S., Chechik, M.: Merging partial behavioural models. SIGSOFT Softw. Eng. Notes 29(6) (2004)

    Google Scholar 

  31. van Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 25–43. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, TU München, Germany

    Jewgenij Botaschanjan & Alexander Harhurin

Authors
  1. Jewgenij Botaschanjan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexander Harhurin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software Engineering Institute, Software Engineering Institute, Carnegie Mellon® http://www.sei.cmu.edu/staff/glewis, 4500 Fifth Ave., PA 15213, Pittsburgh, USA

    Grace A. Lewis

  2. The Predictable Assembly Laboratory, , Department of Computer Science,, King’s College London, Strand, http://palab.dcs.kcl.ac.uk, WC2R 2LS, London, UK

    Iman Poernomo

  3. Computer Science Department, East Stroudsburg University, http://www.esu.edu/~chrish, 200 Prospect Street, PA 18301-2999, East Stroudsburg, USA

    Christine Hofmeister

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Botaschanjan, J., Harhurin, A. (2009). Integrating Functional and Architectural Views of Reactive Systems. In: Lewis, G.A., Poernomo, I., Hofmeister, C. (eds) Component-Based Software Engineering. CBSE 2009. Lecture Notes in Computer Science, vol 5582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02414-6_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02414-6_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02413-9

  • Online ISBN: 978-3-642-02414-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation