Abstract
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very high levels of correctness and dependability assurance. The most effective means to handle complexity is separation of concerns and incremental development, and assurance of correctness requires formal modelling and formal analysis. When separation of concerns splits the model into several parts, an important issue is to ensure consistency among these parts. We propose an approach supporting separation of concerns and consistent and incremental modelling of requirements.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Andre, P., Romanczuk, A., Royer, J.-C., Vasconcelos, A.: Checking the Consistency of UML Class Diagrams Using Larch Prover. In: Proc. ROOM’2000, York, UK (2000)
Astesiano, E., Reggio, G.: An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 56–81. Springer, Heidelberg (2003)
Egyed, A.: Scalable Consistency Checking between Diagrams: The Viewintegra Approach. In: Proc. 16th IEEE ASE, San Diego, USA (2001)
Engels, G., Kuester, J.M., Groenewegen, L.: Consistent Interaction of Software Components. In: Proc. of IDPT2002 (2002)
Engels, G., et al.: A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In: Proc. FSE-10, Austria (2001)
Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programmin. Journal of the ACM 39(1), 95–146 (1992)
Harel, D., Rumpe, B.: Modeling Languages: Syntax, Semantics and All that Stuff – part I: The Basic Stuff. Technical Report MCS00-16, The Weizmann Institute of Science, Israel (September 2000)
He, J., Li, X., Liu, Z.: rCOS: A Refinement Calculus for Object Systems. Theoretical Computer Science, Accepted (2006), also available as Technical Report 322, UNU-IIST, Macao, SAR China, http://www.iist.unu.edu/
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)
Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)
Kruchten, P.: The Rational Unified Process – An Introduction. Addison-Wesley, Reading (2000)
Larman, C.: Applying UML and Patterns. Prentice-Hall, Englewood Cliffs (2001)
Liu, Z., Jifeng, H., Li, X., Chen, Y.F.: A Relational Model for Formal Object-Oriented Requirement Analysis in UML. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol. 2885, pp. 641–664. Springer, Heidelberg (2003)
Long, Q., Qiu, Z., Liu, Z., Shao, L., Jifeng, H.: POST: A Case Study for an Incremental Development in rCOS. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol. 3722, pp. 485–500. Springer, Heidelberg (2005)
Poernomo, I.: The Meta-Object Facility Typed. In: Proc. SAC’06, pp. 1845–1849. ACM Press, New York (2006)
Poernomo, I.: A Type Theoretic Framework for Formal Metamodelling. In: Reussner, R., Stafford, J.A., Szyperski, C.A. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 262–298. Springer, Heidelberg (2006)
Reggio, G., Cerioli, M., Astesiano, E.: Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. In: Hussmann, H. (ed.) ETAPS 2001 and FASE 2001. LNCS, vol. 2029, pp. 171–186. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Chen, X., Liu, Z., Mencl, V. (2007). Separation of Concerns and Consistent Integration in Requirements Modelling. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds) SOFSEM 2007: Theory and Practice of Computer Science. SOFSEM 2007. Lecture Notes in Computer Science, vol 4362. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69507-3_71
Download citation
DOI: https://doi.org/10.1007/978-3-540-69507-3_71
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69506-6
Online ISBN: 978-3-540-69507-3
eBook Packages: Computer ScienceComputer Science (R0)