Abstract
On the basis of some experience in the use of UML, we believe and claim, contrary to a recent wave for allowing almost total freedom as opposed to disciplined methods, that a tighter and more precise structuring of the artifacts for the different phases of the software development process may help speed-up the process, while obviously making easier the consistency checks among the various artifacts. To support our claim we have started to investigate an approach, that, though being compliant with the UML notation and a number of UML-based methods, departs from them both in the basic philosophy, that follows the “tight and precise” imperative, and in the technical solutions for structuring the various artifacts.
Building on some previous work concerning the structure of the requirement specification artifacts, here we complete upwards and improve our proposal, investigating the link between the analysis of the problem domain and the requirement capture and specification. To that purpose we propose a rather new way of structuring the problem domain model and then the link with the system, that encompasses the most popular current approaches to domain modelling. Then we exploit both the domain model and our frame for capturing and specifying the requirements. From our construction we can derive rigorous guidelines for the specification tasks, in a workflow that allows and suggests iteration and incrementality, but in a way that is not just based on the single use cases and takes more care of the overall construction. The various concepts and constructions are illustrated with the help of a small case study.
Partially supported by the Italian National Project SAHARA (Architetture Software per infrastrutture di rete ad accesso eterogeneo).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Astesiano, E., Reggio, G.: Knowledge Structuring and Representation in Requirement Specification. In: Proc. SEKE 2002, ACM Press, New York (2002), Available at ftp://ftp.disi.unige.it/person/ReggioG/AstesianoReggio02a.pdf
Astesiano, E., Reggio, G.: Consistency Issues in Multiview Modelling Techniques. In: Recent Trends in Algebraic Development Techniques, Selected Papers of the 15th International Workshop WADT 2002. LNCS, Springer, Heidelberg (2002), ftp://ftp.disi.unige.it/person/ReggioG/AstesianoReggio03b.pdf
Astesiano, E., Reggio, G.: Tight Structuring for Precise UML-based Requirement Specifications: Complete Version. Technical Report DISI–TR–03–06, DISI, Università di Genova, Italy (2003), Available at ftp://ftp.disi.unige.it/person/ReggioG/AstesianoReggio03c.pdf
Astesiano, E., Reggio, G.: Towards a Well-Founded UML-based Development Method. In: Astesiano, E., Reggio, G. (eds.) Proc. of SEFM Workshop, IEEE Computer Society, Los Alamitos (2003) (to appear), Available at ftp://ftp.disi.unige.it/person/ReggioG/AstesianoReggio03g.pdf
Astesiano, E., Reggio, G., Cerioli, M.: From Formal Techniques to Well-Founded Software Development Methods. In: Aichernig, B.K., Maibaum, T. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol. 2757, pp. 132–150. Springer, Heidelberg (2003) (to appear), Available at ftp://ftp.disi.unige.it/person/ReggioG/AstesianoEtAll03a.ps
D’Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Object Technology Series. Addison-Wesley, Reading (1999)
Engels, G., Kuester, J.M., Groenewegen, L.: Consistent Interaction of Software Components. In: Proceedings of IDPT 2002 (2002)
Fowler, M., Scott, K.: UML Distilled: Second Edition. Object Technology Series. Addison-Wesley, Reading (2001)
Gomaa, H.: Designing Concurrent, Distributed and Real-Time Applications with UML. Addison-Wesley, Reading (2000)
Jackson, M.: Software Requirements & Specifications: a Lexicon of Practice, Principles and Prejudices. Addison-Wesley, Reading (1995)
Pfleeger, S.L.: Software Engineering: Theory and Practice. Prentice Hall, Englewood Cliffs (2001)
OMG Architecture Board MDA Drafting Team. Model Driven Architecture (MDA). Available at (2001), http://cgi.omg.org/docs/ormsc/01-07-01.pdf
Stevens, P., Pooley, R.: Using UML: Software Engineering with Objects and Components. Addison-Wesley, Reading (2000)
Rational. Rational Unified Process© for System Engineering SE 1.0. Technical Report Tp 165, 8/01 (2001)
Reggio, G., Astesiano, E., Choppy, C., Hussmann, H.: Analysing UML Active Classes and Associated State Machines – A Lightweight Formal Approach. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol. 1783, p. 127. Springer, Heidelberg (2000)
Reggio, G., Cerioli, M., Astesiano, E.: Towards a Rigorous Semantics of UML Supporting its Multiview Approach. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, p. 171. Springer, Heidelberg (2001)
Sommerville, J.: Software Engineering, 3rd edn. Addison-Wesley, Reading (1989)
DeMarco, T., Boehm, B.: The Agile Methods Fray. Computer (2001)
UML Revision Task Force. OMG UML Specification 1.3 (2000), Available at http://www.omg.org/docs/formal/00-03-01.pdf
Yourdon, E.: Modern Structured Analysis. Prentice-Hall, Englewood Cliffs (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Astesiano, E., Reggio, G. (2004). Tight Structuring for Precise UML-Based Requirement Specifications . In: Wirsing, M., Knapp, A., Balsamo, S. (eds) Radical Innovations of Software and Systems Engineering in the Future. RISSEF 2002. Lecture Notes in Computer Science, vol 2941. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24626-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-24626-8_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21179-2
Online ISBN: 978-3-540-24626-8
eBook Packages: Springer Book Archive