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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
AutoFocus 3, http://af3.in.tum.de/
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)
Baniassad, E., Clarke, S.: Theme: an approach for aspect-oriented analysis and design. In: Proceedings of ICSE 2004 (2004)
Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1998)
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)
Botaschanjan, J.: Techniques for Property Preservation in the Development of Real-Time Systems. PhD thesis, TU München (2008)
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)
Botaschanjan, J., Harhurin, A.: A Formal Framework for Integrating Functional and Architectural Views of Reactive Systems. Technical Report TUM-I0904, TU München (2009)
Botaschanjan, J., Harhurin, A., Kof, L.: Service-based Specification of Reactive Systems. Technical Report TUM-I0815, Technische Universität München (2008)
Broy, M., Krüger, I., Pretschner, A., Salzmann, C.: Engineering automotive software. Proceedings of the IEEE 95(2) (2007)
Broy, M., Krüger, I.H., Meisinger, M.: A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1) (2007)
Buhr, R.J.A.: Use case maps as architectural entities for complex systems. IEEE Trans. Softw. Eng. 24(12) (1998)
Calder, M., Kolberg, M., Magill, E.H., Reiff-Marganiec, S.: Feature interaction: a critical review and considered forecast. Comput. Networks 41(1) (2003)
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)
de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes 26(5) (2001)
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)
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)
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)
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)
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)
Jackson, M., Zave, P.: Distributed feature composition: A virtual architecture for telecommunications services. IEEE Trans. Softw. Eng. 24(10) (1998)
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)
Krüger, I.H., Mathew, R.: Systematic development and exploration of service-oriented software architectures. In: Proceedings of WICSA 2004 (2004)
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)
Lynch, N.A., Tuttle, M.R.: An introduction to input/output automata. CWI-Quarterly, 2(3) (1989)
Parnas, D.L., Madey, J.: Functional documents for computer systems. Science of Computer Programming 25(1) (1995)
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)
Sabetzadeh, M., Easterbrook, S.: View merging in the presence of incompleteness and inconsistency. Requir. Eng. 11(3) (2006)
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)
Uchitel, S., Chechik, M.: Merging partial behavioural models. SIGSOFT Softw. Eng. Notes 29(6) (2004)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)