Supporting Concurrent Development of Requirements and Architecture - A Model-based Approach

Andreas Vogelsang, Sebastian Eder, Georg Hackenberg, Maximilian Junker, Sabine Teufl

2014

Abstract

A system’s requirements and its architecture are usually developed at least partly in parallel. This demands a continuous and automated assessment to confirm that the architecture conforms to its requirements. To enable such an assessment, the stepwise formalization of informal requirements has been proposed. However, there is no canonical set of artifacts and analysis techniques that has been evaluated for this task in practice yet. In this paper we propose an artifact model and a process that enables the continuous conformance assessment between requirements and architecture in a model-based context. We evaluate both in a development project with a group of students.

References

  1. Braun, P., Broy, M., Houdek, F., Kirchmayr, M., Müller, M., Penzenstadler, B., Pohl, K., and Weyer, T. (2010). Guiding requirements engineering for software-intensive embedded systems in the automotive industry. Computer Science - Research and Development.
  2. Cockburn, A. (2001). Writing Effective Use Cases. Addison-Wesley Professional.
  3. Etien, A. and Salinesi, C. (2005). Managing requirements in a co-evolution context. In RE 2005.
  4. Gutiérrez, J., Nebut, C., Escalona, M., Mejas, M., and Ramos, I. (2008). Visualization of use cases through automatically generated activity diagrams. In MODELS 2008.
  5. ITU-T (1999). Formal description techniques - message sequence chart (msc). Technical report, International Telecommunication Union (Standardization Sector).
  6. Junker, M. and Neubeck, P. (2012). A rigorous approach to availability modeling. In MISE 2012.
  7. Krüger, I., Grosu, R., Scholz, P., and Broy, M. (1999). From MSCs to statecharts. In Distributed and Parallel Embedded Systems. Springer US.
  8. Liang, H., Diskin, Z., Dingel, J., and Posse, E. (2008). A general approach for scenario integration. In MODELS 2008.
  9. Méndez, D., Penzenstadler, B., Kuhrmann, M., and Broy, M. (2010). A meta model for artefact-orientation: Fundamentals and lessons learned in requirements engineering. In MODELS 2010.
  10. Mou, D. and Ratiu, D. (2012). Binding requirements and component architecture by using model-based testdriven development. In Twin Peaks 2012.
  11. Nuseibeh, B. (2001). Weaving together requirements and architectures. IEEE Computer.
  12. Nuseibeh, B., Kramer, J., and Finkelstein, A. (1994). A framework for expressing the relationships between multiple views in requirements specification. Software Engineering, IEEE Transactions on.
  13. Pretschner, A. and Philipps, J. (2005). Methodological issues in model-based testing. In Model-Based Testing of Reactive Systems. Springer Berlin Heidelberg.
  14. Salay, R., Wang, S., and Suen, V. (2012). Managing related models in vehicle control software development. In MODELS 2012.
  15. Sinha, A., Kaplan, M., Paradkar, A., and Williams, C. (2008). Requirements modeling and validation using bi-layer use case descriptions. In MODELS 2008.
  16. Teufl, S., Mou, D., and Ratiu, D. (2013). Mira: A toolingframework to experiment with model-based requirements engineering. In RE 2013.
  17. van Lamsweerde, A. (2001). Goal-oriented requirements engineering: a guided tour. In Fifth IEEE International Symposium on Requirements Engineering.
  18. Whalen, M., Gacek, A., Cofer, D., Murugesan, A., Heimdahl, M., and Rayadurgam, S. (2013). Your ”what” is my ”how”: Iteration and hierarchy in system design. Software, IEEE.
  19. Yu, E., Giorgini, P., Maiden, N., and Mylopoulos, J. (2011). Social Modeling for Requirements Engineering. The MIT Press.
Download


Paper Citation


in Harvard Style

Vogelsang A., Eder S., Hackenberg G., Junker M. and Teufl S. (2014). Supporting Concurrent Development of Requirements and Architecture - A Model-based Approach . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 587-595. DOI: 10.5220/0004709305870595


in Bibtex Style

@conference{modelsward14,
author={Andreas Vogelsang and Sebastian Eder and Georg Hackenberg and Maximilian Junker and Sabine Teufl},
title={Supporting Concurrent Development of Requirements and Architecture - A Model-based Approach},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={587-595},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004709305870595},
isbn={978-989-758-007-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Supporting Concurrent Development of Requirements and Architecture - A Model-based Approach
SN - 978-989-758-007-9
AU - Vogelsang A.
AU - Eder S.
AU - Hackenberg G.
AU - Junker M.
AU - Teufl S.
PY - 2014
SP - 587
EP - 595
DO - 10.5220/0004709305870595