A FEATURE COMPUTATION TREE MODEL TO SPECIFY REQUIREMENTS AND REUSE

E. E. Roubtsova, S. A. Roubtsov

2006

Abstract

A large subset of requirements for complex systems, services and product lines is traditionally specified by hierarchical structures of features. Features are usually gathered and represented in the form of a feature tree. The feature tree is a structural model. It represents mainly composition and specialization relations between features and does not provide the possibility to specify requirements in the form of ordering relations defined on functional features. Use case scenarios are usually employed for specification of the ordering relations. However, use case scenarios comprise isolated sequences of features, and therefore they may be inconsistent and even may contradict each other and the feature tree. Moreover, some use case scenarios defining relations on features may be incomplete. In order to support consistent specification of requirements, we suggest using a pair of related models: a feature tree model and a feature computation tree model. The pair of such related feature tree models provides the basis for the method of consistency checks of requirements. It introduces a united view on the system’s behavior at the stage of requirement specification and facilitates specification of forbidden sequences and construction complete sequences from incomplete ones. It allows designers to precisely specify the desired reuse and to find that a certain sort of reuse is not possible. Understanding already at the stage of requirements engineering that a subsystem cannot be reused without modification saves effort and money spent on development. The proposed method and models are explained using a case study of design of a system for electronic cards production.

References

  1. Baeten, J. and Weijland, W. (1990). Process Algebra. Cambridge University Press.
  2. Basten, T. and van der Aalst, W. (2001). Inheritance of behaviour. The Journal of Logic and Algebraic Programming, 46:47-145.
  3. Berard, B., Bidoit, M., Finkel, A., F.Laroussinie, Petit, A., Petrussi, L., Schnoebelen, P., and McKezie, P. (2001). Systems and Software Verification. Model-Checking Techniques and Tools. Springer-Verlag.
  4. Cheng, K. and Ohta, T., editors (1995). Feature Interactions in Telecommunications III, October 11-13, 1995, Kyoto, Japan. IOS Press.
  5. Clarke, E., Grumberg, O., and Peled, D. (1999). Model Checking. MIT Press, Cambridge, MA.
  6. Cockburn, A. (1997). Structuring Use Cases with Goals. Journal of Object-Oriented Programming Sep-Oct and Nov-Dec.
  7. Cockburn, A. (2000). Addison-Wesley.
  8. DATACARD (2005). DATACARD 9000 Series System. Retrieved October 20, 2005 from http://www.identisys.com/documents.
  9. Douglass, B. (2003). UML 2.0: Incremental Improvements for Scalability and Architecture. www.rtcmagazine.com/pdfs/2003/04/.
  10. Felty, A. and Namijoshi, K. (2003). Feature Specification and Automated Conflict Detection. ACM Transactions on Software Engineering and Mothodology, 12(1):3- 27 .
  11. Geppert, B. and Schmid, K. (2002). Requirements Engineering for Product Lines. -An Overview- . In International Workshop on Requirements Engineering for Product Lines, REPL'02, pages 1-4, Essen, Germany.
  12. Griss, M., Favaro, J., and d'Alessandro, M. (1998). Integrating feature modeling with the RSEB. In Fifth International Conference on Software Reuse (Cat. No.98TB100203), pages 76-85, Los Alamitos, CA, USA. IEEE Comput. Soc.
  13. Harel, D. and Kupferman, O. (2002). On Object Systems and Behavioural Inheritance. IEEE Transactions On Software Engireering, 28(9):889-903.
  14. Kindler, E. and Vesper, T. (1998). ESTL:A Temporal Logic for Events and States. In: Desel, J.; Silva LNCS 1420, ICATPN'98, pages 365-384.
  15. Muller, G. (2004). CAFCR:AMulti-view Method for Embedded Systems Architecting:Balancing Genericity and Specificity. Technical University Enidhoven.
  16. Murata, T. (1989). Petri Nets: Properties, Analysis and Applications . Proceedings of the IEEE, 77(4):541-580.
  17. OMG (2003). UML 2.0 specification. Retrieved October 20, 2005 from http://www.omg.org/uml/.
  18. Reisig, W. (1985). Petri Nets. An Introduction. SpringerVerlag.
  19. Roubtsova, E. and Kuiper, R. (2002). Process semantics for UML component specifications to assess inheritance. ENTCS V 72(3), Editors P.Bottoni, M. Minas.
  20. Roubtsova, E. and Roubtsov, S. (2003). UML-based Tool for Constructing Component Systems via Component Behaviour Inheritance. ENTCS V.80, Editors T.Erts, W. Fokkink.
  21. Roubtsova, E. and Roubtsov, S. (2004). Constraints of Behavioural Inheritance . Springer LNCS 3047, Editors: Flavio Oquendo, Brian Warboys, pages 115-134.
  22. Svahnberg, M., van Gurp, J., and Bosch, J. ( 2002). A Taxonomy of Variability Realization Techniques. Technical paper ISSN: 1103-1581, Blekinge Institute of Technology, Sweden.
  23. van Gurp, J. (2003). On the Design and Presentation of Software Systems. Rijksuniversiteit Groningen, Groningen.
  24. Wehrheim, H. (2002). Checking behavioural subtypes via refinement. In B. Jacobs and A. Rensink, editors, FMOODS 2002: Formal Methods for Open ObjectBased Distributed Systems, pages 79-93.
Download


Paper Citation


in Harvard Style

E. Roubtsova E. and A. Roubtsov S. (2006). A FEATURE COMPUTATION TREE MODEL TO SPECIFY REQUIREMENTS AND REUSE . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-43-6, pages 118-125. DOI: 10.5220/0002443401180125


in Bibtex Style

@conference{iceis06,
author={E. E. Roubtsova and S. A. Roubtsov},
title={A FEATURE COMPUTATION TREE MODEL TO SPECIFY REQUIREMENTS AND REUSE},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2006},
pages={118-125},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002443401180125},
isbn={978-972-8865-43-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - A FEATURE COMPUTATION TREE MODEL TO SPECIFY REQUIREMENTS AND REUSE
SN - 978-972-8865-43-6
AU - E. Roubtsova E.
AU - A. Roubtsov S.
PY - 2006
SP - 118
EP - 125
DO - 10.5220/0002443401180125