Abstract
Reuse of high confidence subsystems depends on their appropriate modelling and documentation. This paper discusses the different aspects that have to be considered when modelling a system and its subsystems. We propose a concrete artefact model for integrated reuse from requirements to technical architecture, which satisfies documentation demands with respect to functionality and the context assumed by the subsystem. Based on the artefact model, we describe the steps for conformity and compatibility checking at the development stage of subsystem integration and/or reuse.
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
Attiogbé, C., André, P., Ardourel, G.: Checking component composability. In: Löwe, W., Südholt, M. (eds.) SC 2006. LNCS, vol. 4089, pp. 18–33. Springer, Heidelberg (2006)
Bastos, L., Castro, J., Mylopoulos, J.: Deriving architectures from requirements. In: Requirements Engineering Conference. RE 2006. 14th IEEE International, pp. 332–333 (2006)
Berghof Automationstechnik GmbH, DaimlerChrysler AG, SSE Universität Duisburg-Essen, and Software and Systems Engineering Technische Universität München. Project REMsES (2007), http://www.remses.org
Bhuta, J., Boehm, B.: A method for compatible cots component selection. In: COTS-Based Software Systems (2005)
Broy, M.: A core theory of interfaces and architecture and its impact on object orientation. In: Reussner, R., Stafford, J.A., Szyperski, C.A. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 26–47. Springer, Heidelberg (2006)
Broy, M., Feilkas, M., Wild, D., Hartmann, J., Grünbauer, J., Gruler, A., Harhurin, A.: Umfassendes Architekturmodell für das Engineering eingebetteter software-intensiver Systeme. Technical report, Technische Universität München (to be published)
Broy, M., Krüger, I., Meisinger, M.: A formal model of services. ACM Transactions on Software Engineering Methodology (TOSEM), 16(1) (2007), http://doi.acm.org/10.1145/1189748.1189753
de Alfaro, L., Henzinger, T.A.: Interface automata. In: FSE 2001. Proceeding of the 9h Annual Symposium on Foundations of Software Engineering, pp. 109–120. ACM Press, New York (2001)
Eckl, C.: Analysis and adaptation of MSCs for the examination of behavioral compatibility. Master’s thesis, Technische Universität München (2007)
Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch: Why reuse is so hard. IEEE Software 12(6), 17–26 (1995)
Geisberger, E., Broy, M., Berenbach, B., Kazmeier, J., Paulish, D., Rudorfer, A.: Requirements Engineering Reference Model (REM). Technical report, Technische Universität München (2006)
Hunt, J., McGregor, J.: A model for software libraries. In: Institute, R.P. (ed.) Library-Centric Software Design (2005)
The Institute of Electrical and Electronics Engineers, Inc., 345 East 47th Street, New York, NY 10017-2394, USA. IEEE Recommended Practice for Software Requirements Specifications (IEEE Std 830-1998), 10 (1998)
Koss, D.: CCL reference (2007), http://www4.in.tum.de/~koss/da/compMSCAdapt.pdf
Koss, D.: Kompatibilität und Kompatibilitätsmanagement. PhD thesis, Technische Universität München (to be published, 2008)
Koss, D., Brandstätter, M.: (U)CML - a modeling language for modeling and testing compatibility. In: Proceedings: Software Engineering and Applications (2007)
Lankes, J., Matthes, F., Wittenburg, A.: Architekturbeschreibung von anwendungslandschaften: Softwarekartographie und ieee std 1471-2000. In: Software-Engineering, Essen 2005, pp. 43–54 (2005)
Lin, H., Lai, A., Ullrich, R., Kuca, M., McClelland, K., Shaffer-Gant, J., Pacheco, S., Dalton, K., Watkins, W.: Cots software selection process. In: Commercial-off-the-Shelf (COTS)-Based Software Systems, ICCBSS 2007. Sixth International IEEE Conference, February 26, 2007 - March 2 2007, vol. 2, pp. 114–122 (2007)
Mei, H.: A component model for perspective management of enterprise software reuse. Ann. Software Eng. 11(1), 219–236 (2001)
Morisio, M. (ed.): ICSR 2006. LNCS, vol. 4039. Springer, Heidelberg (2006)
Navarro, E.: ATRIUM Architecture Traced from Requirements by Applying a Unified Methodology. PhD thesis, University of Castilla-La Mancha (2007)
Penzenstadler, B., Mendez-Fernandez, D.: System decomposition for distributed development. In: ICSP 2008 (submitted, 2008)
Pohl, K., Sikora, E.: COSMOD-RE: Supporting the co-design of requirements and architectural artifacts. RE 0, 258–261 (2007)
Recknagel, M., Rupp, C.: Meßbare Qualität in Anforderungsdokumenten. Automotive Vertikal 2, 12–17 (2006)
Robertson, J., Robertson, S.: Volere: Requirements specification template (2006), http://www.volere.co.uk/
Wojcik, R., Bachmann, F., Bass, L., Clements, P., Merson, P., Nord, R., Wood, B.: Attribute-driven design (ADD). Technical Report CMU/SEI-2006-TR-023, CMU SEI Pittsburgh (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Penzenstadler, B., Koss, D. (2008). High Confidence Subsystem Modelling for Reuse. In: Mei, H. (eds) High Confidence Software Reuse in Large Systems. ICSR 2008. Lecture Notes in Computer Science, vol 5030. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68073-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-68073-4_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68062-8
Online ISBN: 978-3-540-68073-4
eBook Packages: Computer ScienceComputer Science (R0)