Abstract
In the Era of sharing, several efforts have been launched to construct repositories (referential/warehouses) storing entities used in projects for enterprises (e.g., data, processes, models, APIs, etc.). These repositories augment the business value of the enterprises in terms of reuse, sharing, traceability and analysis. By exploring the literature, we figure out the absence of appropriate warehouses dedicated to functional requirements (\(\mathcal {FR}\)) for the analytical purpose. In a large scale software in the context of global enterprises, involving numerous partners, \(\mathcal {FR}\) may be very heterogeneous in terms of the used vocabularies and formalisms to model them. Other aspects that have to be handled, when constructing a \(\mathcal {FR}\) warehouse are: (a) the management of interdependencies that may exist among \(\mathcal {FR}\) and (b) their scheduling. These aspects complicate the construction of such warehouse. In this paper, we first propose a complete and comprehensive semantic-driven methodology, to design \(\mathcal {FR}\) warehouses. Secondly, all steps of our approach leveraged from the traditional warehouse design are highlighted: (i) the definition of the multidimensional model, (ii) adapting the existing operators of ETL (Extract, Transform, Load) to deal with \(\mathcal {FR}\). ETL uses reasoning capabilities to eliminate the conflictual requirements. (iii) Translating the multidimensional model to its corresponding logical model and (iv) evaluating the performance of the final warehouse. Finally, a proof of concept for our proposal is presented using Oracle DBMS and the vocabulary QB4OLAP proposed by the W3C Government Linked Data Working Group to facilitate the manipulation of semantic warehouses.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
- 10.
References
Abrial, J.: The B tool (abstract). In: VDM, pp. 86–87 (1988)
Boukhari, I., Bellatreche, L., Jean, S.: An ontological pivot model to interoperate heterogeneous user requirements. In: ISOLA, pp. 344–358 (2012)
Dahlstedt, Å.G., Persson, A.: Requirements interdependencies: state of the art and future challenges. In: Aurum, A., Wohlin, C. (eds.) Engineering and Managing Software Requirements, pp. 95–116. Springer, Heidelberg (2005)
Djilani, Z., Khouri, S.: Understanding user requirements iceberg: semantic based approach. In: Bellatreche, L., Manolopoulos, Y., Zielinski, B., Liu, R. (eds.) MEDI 2015. LNCS, vol. 9344, pp. 297–310. Springer, Heidelberg (2015). doi:10.1007/978-3-319-23781-7_24
Farfeleder, S., Moser, T., Krall, A., Ståalhane, T., Omoronyia, I., Zojer, H.: Ontology-driven guidance for requirements elicitation. In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., De Leenheer, P., Pan, J. (eds.) ESWC 2011, Part II. LNCS, vol. 6644, pp. 212–226. Springer, Heidelberg (2011)
Ramesh, M.: Toward reference models for requirements traceability. IEEE Trans. Softw. Eng. 27(1), 58–93 (2001)
Giorgini, P., Rizzi, S., Garzetti, M.: Goal-oriented requirement analysis for data warehouse design. In: ACM DOLAP, pp. 47–56. ACM (2005)
Goknil, A., Kurtev, I., Berg, K., Veldhuis, J.-W.: Semantics of trace relations in requirements models for consistency checking and inferencing. Softw. Syst. Model. 10(1), 31–54 (2011)
Inmon, W.H.: Data Warehousing: Using the Wal-Mart Model. Wiley, Hoboken (2005)
Kaiya, H., Saeki, M.: Ontology based requirements analysis: lightweight semantic processing approach. In: QSIC, pp. 223–230 (2005)
Khouri, S., Bellatreche, L., Jean, S., Ameur, Y.A.: Requirements driven data warehouse design: we can go further. In: ISOLA, pp. 588–603 (2014)
Khouri, S., Semassel, K., Bellatreche, L.: Managing data warehouse traceability: a life-cycle driven approach. In: CAISE, pp. 199–213 (2015)
Körner, S.J., Brumm, T.: Natural language specification improvement with ontologies. Int. J. Semant. Comput. 3(04), 445–470 (2009)
Laplante, P.: Requirements Engineering for Software and Systems, 2nd edn. CRC Press, Boca Raton (2003)
López, O., Laguna, M.A., Peñalvo, F.J.G.: Metamodeling for requirements reuse. In: ER, pp. 76–90 (2002)
Miller, G.A.: Wordnet: a lexical database for english. Commun. ACM 38(11), 39–41 (1995)
och Dag, J.N., Gervasi, V., Brinkkemper, S., Regnell, B.: A linguistic-engineering approach to large-scale requirements management. IEEE Softw. 22(1), 32–39 (2005)
Perrouin, G., Brottier, E., Baudry, B., Le Traon, Y.: Composing models for detecting inconsistencies: a requirements engineering perspective. In: Glinz, M., Heymans, P. (eds.) REFSQ 2009 Amsterdam. LNCS, vol. 5512, pp. 89–103. Springer, Heidelberg (2009)
Pierra, G.: Context representation in domain ontologies and its use for semantic integration of data. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol. 4900, pp. 174–211. Springer, Heidelberg (2008)
Rochfeld, A.: Merise, an information system design and development methodology, tutorial. In: ER, pp. 489–528 (1986)
Rosa, M.L., Reijers, H.A., Aalst, W.M.P., Dijkman, R.M., Mendling, J., Dumas, M., García-Bañuelos, L.: APROMORE: an advanced process model repository. Expert Syst. Appl. 38(6), 7029–7040 (2011)
Skoutas, D., Simitsis, A.: Designing ETL processes using semantic web technologies. In: ACM DOLAP, pp. 67–74 (2006)
Sun, Y.J., Barukh, M.C., Benatallah, B., Beheshti, S.: Scalable saas-basedprocess customization with casewalls. In: ICSOC, pp. 218–233 (2015)
Van Lamsweerde, A.: Goal-oriented requirements enginering: a roundtrip from research to practice [enginering read engineering]. In: Requirements Engineering Conference, pp. 4–7. IEEE (2004)
Westerman, P.: Data Warehousing: Using the Wal-Mart Model. Morgan Kaufmann, Burlington (2001)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Djilani, Z., Berkani, N., Bellatreche, L. (2016). Towards Functional Requirements Analytics. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science(), vol 9952. Springer, Cham. https://doi.org/10.1007/978-3-319-47166-2_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-47166-2_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-47165-5
Online ISBN: 978-3-319-47166-2
eBook Packages: Computer ScienceComputer Science (R0)