Considerations about quality in model-driven engineering

The final publication is available at Springer via http://dx.doi.org/10.1007/s11219-016-9350-6The virtue of quality is not itself a subject; it depends on a subject. In the software engineering field, quality means good software products that meet customer expectations, constraints, and requirements. Despite the numerous approaches, methods, descriptive models, and tools, that have been developed, a level of consensus has been reached by software practitioners. However, in the model-driven engineering (MDE) field, which has emerged from software engineering paradigms, quality continues to be a great challenge since the subject is not fully defined. The use of models alone is not enough to manage all of the quality issues at the modeling language level. In this work, we present the current state and some relevant considerations regarding quality in MDE, by identifying current categories in quality conception and by highlighting quality issues in real applications of the model-driven initiatives. We identified 16 categories in the definition of quality in MDE. From this identification, by applying an adaptive sampling approach, we discovered the five most influential authors for the works that propose definitions of quality. These include (in order): the OMG standards (e.g., MDA, UML, MOF, OCL, SysML), the ISO standards for software quality models (e.g., 9126 and 25,000), Krogstie, Lindland, and Moody. We also discovered families of works about quality, i.e., works that belong to the same author or topic. Seventy-three works were found with evidence of the mismatch between the academic/research field of quality evaluation of modeling languages and actual MDE practice in industry. We demonstrate that this field does not currently solve quality issues reported in industrial scenarios. The evidence of the mismatch was grouped in eight categories, four for academic/research evidence and four for industrial reports. These categories were detected based on the scope proposed in each one of the academic/research works and from the questions and issues raised by real practitioners. We then proposed a scenario to illustrate quality issues in a real information system project in which multiple modeling languages were used. For the evaluation of the quality of this MDE scenario, we chose one of the most cited and influential quality frameworks; it was detected from the information obtained in the identification of the categories about quality definition for MDE. We demonstrated that the selected framework falls short in addressing the quality issues. Finally, based on the findings, we derive eight challenges for quality evaluation in MDE projects that current quality initiatives do not address sufficiently.F.G, would like to thank COLCIENCIAS (Colombia) for funding this work through the Colciencias Grant call 512-2010. This work has been supported by the Gene-ralitat Valenciana Project IDEO (PROMETEOII/2014/039), the European Commission FP7 Project CaaS (611351), and ERDF structural funds.Giraldo-Velásquez, FD.; España Cubillo, S.; Pastor López, O.; Giraldo, WJ. (2016). Considerations about quality in model-driven engineering. Software Quality Journal. 1-66. https://doi.org/10.1007/s11219-016-9350-6S166(1985). Iso information processing—documentation symbols and conventions for data, program and system flowcharts, program network charts and system resources charts. ISO 5807:1985(E) (pp. 1–25).(2011). Iso/iec/ieee systems and software engineering – architecture description. ISO/IEC/IEEE 42010:2011(E) (Revision of ISO/IEC 42010:2007 and IEEE Std 1471-2000) (pp. 1–46).Abran, A., Moore, J.W., Bourque, P., Dupuis, R., & Tripp, L.L. (2013). Guide to the Software Engineering Body of Knowledge (SWEBOK) version 3 public review. IEEE. ISO Technical Report ISO/IEC TR 19759.Agner, L.T.W., Soares, I.W., Stadzisz, P.C., & Simão, J.M. (2013). A brazilian survey on {UML} and model-driven practices for embedded software development. Journal of Systems and Software, 86(4), 997–1005. {SI} : Software Engineering in Brazil: Retrospective and Prospective Views.Amstel, M.F.V. (2010). The right tool for the right job: assessing model transformation quality. pages 69–74. Affiliation: Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, Netherlands. Cited By (since 1996):1.Aranda, J., Damian, D., & Borici, A. (2012). Transition to model-driven engineering: what is revolutionary, what remains the same?. In Proceedings of the 15th international conference on model driven engineering languages and systems, MODELS’12 (pp. 692–708). Berlin, Heidelberg: Springer.Arendt, T., & Taentzer, G. (2013). A tool environment for quality assurance based on the eclipse modeling framework. Automated Software Engineering, 20(2), 141–184.Atkinson, C., Bunse, C., & Wüst, J. (2003). Driving component-based software development through quality modelling, volume 2693. Cited By (since 1996):3.Baker, P., Loh, S., & Weil, F. (2005). Model-driven engineering in a large industrial context—motorola case study. In Briand, L., & Williams, C. (Eds.) Model Driven Engineering Languages and Systems, volume 3713 of Lecture Notes in Computer Science (pp. 476–491). Berlin, Heidelberg: Springer.Barišić, A., Amaral, V., Goulão, M., & Barroca, B. (2011). Quality in use of domain-specific languages: a case study. In Proceedings of the 3rd ACM SIGPLAN workshop on evaluation and usability of programming languages and tools, PLATEAU ’11 (pp. 65–72). New York: ACM.Becker, J., Bergener, P., Breuker, D., & Rackers, M. (2010). Evaluating the expressiveness of domain specific modeling languages using the bunge-wand-weber ontology. In 2010 43rd Hawaii international conference on system sciences (HICSS) (pp. 1–10).Bertrand Portier, L.A. (2009). Model driven development misperceptions and challenges.Bézivin, J., & Kurtev, I. (2005). Model-based technology integration with the technical space concept. In Proceedings of the Metainformatics Symposium: Springer.Brambilla, M. (2016). How mature is of model-driven engineering as an engineering discipline @ONLINE.Brambilla, M., & Fraternali, P. (2014). Large-scale model-driven engineering of web user interaction: The webml and webratio experience. Science of Computer Programming, 89 Part B(0), 71 – 87. Special issue on Success Stories in Model Driven Engineering.Brown, A. (2009). Simple and practical model driven architecture (mda) @ONLINE.Bruel, J.-M., Combemale, B., Ober, I., & Raynal, H. (2015). Mde in practice for computational science. Procedia Computer Science, 51, 660–669.Budgen, D., Burn, A.J., Brereton, O.P., Kitchenham, B.A., & Pretorius, R. (2011). Empirical evidence about the uml: a systematic literature review. Software: Practice and Experience, 41(4), 363–392.Burden, H., Heldal, R., & Whittle, J. (2014). Comparing and contrasting model-driven engineering at three large companies. In Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM ’14 (pp. 14:1–14:10). New York: ACM.Cabot, J. Has mda been abandoned (by the omg)?Cabot, J. (2009). Modeling will be commonplace in three years time @ONLINE.Cachero, C., Poels, G., Calero, C., & Marhuenda, Y. (2007). Towards a Quality-Aware Engineering Process for the Development of Web Applications. Working Papers of Faculty of Economics and Business Administration, Ghent University, Belgium 07/462, Ghent University, Faculty of Economics and Business Administration.Challenger, M., Kardas, G., & Tekinerdogan, B. (2015). A systematic approach to evaluating domain-specific modeling language environments for multi-agent systems. Software Quality Journal, 1–41.Chaudron, M.V., Heijstek, W., & Nugroho, A. (2012). How effective is uml modeling? Software & Systems Modeling, 11(4), 571–580. J2: Softw Syst Model.Chenouard, R., Granvilliers, L., & Soto, R. (2008). Model-driven constraint programming. pages 236–246. Affiliation: CNRS, LINA, Universit de Nantes, France; Affiliation: Pontificia Universidad Catlica de, Valparaiso, Chile. Cited By (since 1996):8.Clark, T., & Muller, P.-A. (2012). Exploiting model driven technology: a tale of two startups. Software and Systems Modeling, 11(4), 481–493.Corneliussen, L. (2008). What do you think of model-driven software development?Costal, D., Gómez, C., & Guizzardi, G. (2011). Formal semantics and ontological analysis for understanding subsetting, specialization and redefinition of associations in uml. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6998 LNCS:189–203. cited By (since 1996)3.Cruz-Lemus, J.A., Maes, A., Género, M., Poels, G., & Piattini, M. (2010). The impact of structural complexity on the understandability of uml statechart diagrams. Information Sciences, 180(11), 2209–2220. Cited By (since 1996):14.Cuadrado, J.S., Izquierdo, J.L.C., & Molina, J.G. (2014). Applying model-driven engineering in small software enterprises. Science of Computer Programming, 89 Part B(0), 176 – 198. Special issue on Success Stories in Model Driven Engineering.Da Silva, A.R. (2015). Model-driven engineering: a survey supported by the unified conceptual model. Computer Languages Systems and Structures, 43, 139–155.Da Silva Teixeira, D.G.M., Quirino, G.K., Gailly, F., De Almeida Falbo, R., Guizzardi, G., & Perini Barcellos, M. (2016). PoN-S: a Systematic Approach for Applying the Physics of Notation (PoN), (pp. 432–447). Cham: Springer International Publishing.Davies, I., Green, P., Rosemann, M., Indulska, M., & Gallo, S. (2006). How do practitioners use conceptual modeling in practice? Data and Knowledge Engineering, 58(3), 358 – 380. Including the special issue : {ER} 2004ER 2004.Davies, J., Milward, D., Wang, C.-W., & Welch, J. (2015). Formal model-driven engineering of critical information systems. Science of Computer Programming, 103(0), 88 – 113. Selected papers from the First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2012).De Oca, I.M.-M., Snoeck, M., Reijers, H.A., & Rodríguez-Morffi, A. (2015). A systematic literature review of studies on business process modeling quality. Information and Software Technology, 58, 187–205.DenHaan, J. (2009). 8 reasons why model driven development is dangerous @ONLINE.DenHaan, J. (2010). Model driven engineering vs the commando pattern @ONLINE.DenHaan, J. (2011a). Why aren’t we all doing model driven development yet @ONLINE.DenHaan, J. (2011b). Why there is no future model driven development @ONLINE.Di Ruscio, D., Iovino, L., & Pierantonio, A. (2013). Managing the coupled evolution of metamodels and textual concrete syntax specifications. cited By (since 1996)0.Dijkman, R.M., Dumas, M., & Ouyang, C. (2008). Semantics and analysis of business process models in {BPMN}. Information and Software Technology, 50(12), 1281–1294.Domínguez-Mayo, F.J., Escalona, M.J., Mejías, M., Ramos, I., & Fernández, L. (2011). A framework for the quality evaluation of mdwe methodologies and information technology infrastructures. International Journal of Human Capital and Information Technology Professionals, 2(4), 11–22.Domínguez-Mayo, F.J., Escalona, M.J., Mejías, M., & Torres, A.H. (2010). A quality model in a quality evaluation framework for mdwe methodologies. pages 495–506. Affiliation: Departamento de Lenguajes y Sistemas Informíticos, University of Seville, Seville, Spain., Cited By (since 1996):1.Dubray, J.-J. (2011). Why did mde miss the boat?.Escalona, M.J., Gutiérrez, J.J., Pérez-Pérez, M., Molina, A., Domínguez-Mayo, E., & Domínguez-Mayo, F.J. (2011). Measuring the Quality of Model-Driven Projects with NDT-Quality, (pp. 307–317). New York: Springer.Espinilla, M., Domínguez-Mayo, F.J., Escalona, M.J., Mejías, M., Ross, M., & Staples, G. (2011). A Method Based on AHP to Define the Quality Model of QuEF (Vol. 123, pp. 685–694). Berlin, Heidelberg: Springer.Fabra, J., Castro, V.D., Álvarez, P., & Marcos, E. (2012). Automatic execution of business process models: exploiting the benefits of model-driven engineering approaches. Journal of Systems and Software, 85(3), 607–625. Novel approaches in the design and implementation of systems/software architecture.Falkenberg, E.D., Hesse, W., Lindgreen, P., Nilsson, B.E., Oei, J.L.H., Rolland, C., Stamper, R.K., Assche, F.J.M.V., Verrijn-Stuart, A.A., & Voss, K. (1996). Frisco: a framework of information system concepts. Technical report, The IFIP WG 8. 1 Task Group FRISCO.Fettke, P., Houy, C., Vella, A.-L., & Loos, P. (2012). Towards the Reconstruction and Evaluation of Conceptual Model Quality Discourses – Methodical Framework and Application in the Context of Model Understandability, volume 113 of Lecture Notes in Business Information Processing, chapter 28, pages 406–421, Springer, Berlin, Heidelberg.Finnie, S. (2015). Modeling community: Are we missing something?Fournier, C. (2008). Is uml [email protected], R., & Rumpe, B. (2007). Model-driven development of complex software: a research roadmap. In Future of Software Engineering, 2007, FOSE ’07 (pp. 37–54).Gallego, M., Giraldo, F.D., & Hitpass, B. (2015). Adapting the pbec-otss software selection approach for bpm suites: an application case. In 2015 34th International Conference of the Chilean Computer Science Society (SCCC) (pp. 1–10).Galvão, I., & Goknil, A. (2007). Survey of traceability approaches in model-driven engineering. cited By (since 1996)22.Giraldo, F., España, S., Giraldo, W., & Pastor, O. (2015). Modelling language quality evaluation in model-driven information systems engineering: a roadmap. In 2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS) (pp. 64–69).Giraldo, F., España, S., & Pastor, O. (2014). Analysing the concept of quality in model-driven engineering literature: a systematic review. In 2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS) (pp. 1–12).Giraldo, F.D., España, S., & Pastor, O. (2016). Evidences of the mismatch between industry and academy on modelling language quality evaluation. arXiv: 1606.02025 .González, C., & Cabot, J. (2014). Formal verification of static software models in mde: a systematic review. Information and Software Technology, 56(8), 821–838. cited By (since 1996)0.González, C.A., Büttner, F., Clarisó, R., & Cabot, J. (2012). Emftocsp: a tool for the lightweight verification of emf models. pages 44–50. Affiliation: cole des Mines de Nantes, INRIA, LINA, Nantes, France; Affiliation: Universitat Oberta de Catalunya, Barcelona, Spain. Cited By (since 1996):1.Gorschek, T., Tempero, E., & Angelis, L. (2014). On the use of software design models in software development practice: an empirical investigation. Journal of Systems and Software, 95(0), 176– 193.Goulão, M., Amaral, V., & Mernik, M. (2016). Quality in model-driven engineering: a tertiary study. Software Quality Journal, 1–33.Grobshtein, Y., & Dori, D. (2011). Generating sysml views from an opm model: design and evaluation. Systems Engineering, 14(3), 327–340.Haan, J.d. (2008). 8 reasons why model-driven approaches (will) fail.Harel, D., & Rumpe, B. (2000). Modeling languages: Syntax, semantics and all that stuff, part i: The basic stuff, Israel. Technical report Jerusalem Israel.Harel, D., & Rumpe, B. (2004). Meaningful modeling: what’s the semantics of semantics? Computer, 37(10), 64–72.Hebig, R., & Bendraou, R. (2014). On the need to study the impact of model driven engineering on software processes. In Proceedings of the 2014 International Conference on Software and System Process, ICSSP 2014 (pp. 164–168). New York: ACM.Heidari, F., & Loucopoulos, P. (2014). Quality evaluation framework (qef): modeling and evaluating quality of business processes. International Journal of Accounting Information Systems, 15(3), 193–223. Business Process Modeling.Heymans, P., Schobbens, P.Y., Trigaux, J.C., Bontemps, Y., Matulevicius, R., & Classen, A. (2008). Evaluating formal properties of feature diagram languages. Software, IET, 2(3), 281–302. ID 2.Hindawi, M., Morel, L., Aubry, R., & Sourrouille, J.-L. (2009). Description and Implementation of a UML Style Guide (Vol. 5421, pp. 291–302). Berlin: Springer.Hoang, D. (2012). Current limitations of mdd and its implications @ONLINE.Hodges, W. (2013). Model theory Zalta, E.N. (Ed.) The Stanford Encyclopedia of Philosophy. Fall 2013 edition.Hutchinson, J., Rouncefield, M., & Whittle, J. (2011a). Model-driven engineering practices in industry. In Proceedings of the 33rd International Conference on Software Engineering, ICSE’11 (pp. 633–642). New York: ACM.Hutchinson, J., Whittle, J., & Rouncefield, M. (2014). Model-driven engineering practices in industry: social, organizational and managerial factors that lead to success or failure. Science of Computer Programming, 89 Part B(0), 144–161. Special issue on Success Stories in Model Driven Engineering.Hutchinson, J., Whittle, J., Rouncefield, M., & Kristoffersen, S. (2011b). Empirical assessment of mde in industry. In Proceedings of the 33rd International Conference on Software Engineering, ICSE’11 (pp. 471–480). New York: ACM.Igarza, I.M.H., Boada, D.H.G., & Valdés, A.P. (2012). Una introducción al desarrollo de software dirigido por modelos. Serie Científica, 5(3).ISO/IEC (2001). ISO/IEC 9126. Software engineering—Product quality. ISO/IEC.Izurieta, C., Rojas, G., & Griffith, I. (2015). Preemptive management of model driven technical debt for improving software quality. In Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, QoSA’15 (pp. 31–36). New York: ACM.Jalali, S., & Wohlin, C. (2012). Systematic literature studies: Database searches vs. backward snowballing. In Proceedings of the ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM’12 (pp. 29–38). New York: ACM.Kahraman, G., & Bilgen, S. (2013). A framework for qualitative assessment of domain-specific languages. Software & Systems Modeling, 1–22.Kessentini, M., Langer, P., & Wimmer, M. (2013). Searching models, modeling search: On the synergies of sbse and mde (pp. 51–54).Kitchenham, B., & Charters, S. (2007). Guidelines for performing Systematic Literature Reviews in Software Engineering. Technical Report EBSE 2007-001, Keele University and Durham University Joint Report.Kitchenham, B., Pfleeger, S., Pickard, L., Jones, P., Hoaglin, D., El Emam, K., & Rosenberg, J. (2002). Preliminary guidelines for empirical research in software engineering. IEEE Transactions on Software Engineering, 28(8), 721–734.Klinke, M. (2008). Do you use mda/mdd/mdsd, any kind of model-driven approach? Will it be the future?Köhnlein, J. (2013). Eclipse diagram editors from a user’s perspective.Kolovos, D.S., Paige, R.F., & Polack, F.A. (2008). The grand challenge of scalability for model driven engineering. In Models in Software Engineering (pp. 48–53): Springer.Kolovos, D.S., Rose, L.M., Matragkas, N., Paige, R.F., Guerra, E., Cuadrado, J.S., De Lara, J., Ráth, I., Varró, D., Tisi, M., & Cabot, J. (2013). A research roadmap towards achieving scalability in model driven engineering. In Proceedings of the Workshop on Scalability in Model Driven Engineering, BigMDE’13 (pp. 2:1–2:10). New York: ACM.Krill, P. (2016). Uml to be ejected from microsoft visual studio (infoworld).Krogstie, J. (2012a). Model-based development and evolution of information systems: a quality approach, Springer Publishing Company, Incorporated.Krogstie, J. (2012b). Quality of modelling languages, (pp. 249–280). London: Springer.Krogstie, J. (2012c). Quality of models, (pp. 205–247). London: Springer.Krogstie, J. (2012d). Specialisations of SEQUAL, (pp. 281–326). London: Springer.Krogstie, J., Lindland, O.I., & Sindre, G. (1995). Defining quality aspects for conceptual models. In Proceedings of the IFIP International Working Conference on Information System Concepts: Towards a Consolidation of Views (pp. 216–231). London: Chapman & Hall, Ltd.Kruchten, P. (2000). The rational unified process: an introduction, 2nd edn. Boston: Addison-Wesley Longman Publishing Co., Inc.Kruchten, P., Nord, R., & Ozkaya, I. (2012). Technical debt: from metaphor to theory and practice. Software, IEEE, 29(6), 18–21.Kulkarni, V., Reddy, S., & Rajbhoj, A. (2010). Scaling up model driven engineering – experience and lessons learnt. In Petriu, D., Rouquette, N., & Haugen, y. (Eds.) Model Driven Engineering Languages and Systems, volume 6395 of Lecture Notes in Computer Science (pp. 331–345). Berlin, Heidelberg: Springer.Laguna, M.A., & Marqués, J.M. (2010). Uml support for designing software product lines: the package merge mechanism, 16(17), 2313–2332.Lange, C. (2007a). Model size matters. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4364 LNCS:211–216. cited By (since 1996)1.Lange, C., & Chaudron, M. (2005). Managing Model Quality in UML-Based Software Development. In 13th IEEE International Workshop on Technology and Engineering Practice, 2005 (pp. 7–16).Lange, C., Chaudron, M.R.V., Muskens, J., Somers, L.J., & Dortmans, H.M. (2003). An empirical investigation in quantifying inconsistency and incompleteness of uml designs. In Incompleteness of UML Designs, Proceedings Workshop on Consistency Problems in UML-based Software Development, 6th International Conference on Unified Modeling Language, UML, 2003.Lange, C., DuBois, B., Chaudron, M., & Demeyer, S. (2006). An experimental investigation of uml modeling conventions. In Nierstrasz, O., Whittle, J., Harel, D., & Reggio, G. (Eds.) Model Driven Engineering Languages and Systems, volume 4199 of Lecture Notes in Computer Science (pp. 27–41). Berlin, Heidelberg: Springer.Lange, C.F.J., & Chaudron, M.R.V. (2006). Effe

Characterization of Structural Properties in High Reynolds Hydraulic Jump Based on CFD and Physical Modeling Approaches

[EN] A classical hydraulic jump with Froude number (Fr1=6) and Reynolds number (Re1=210,000) was characterized using the computational fluid dynamics (CFD) codes OpenFOAM and FLOW-3D, whose performance was assessed. The results were compared with experimental data from a physical model designed for this purpose. The most relevant hydraulic jump characteristics were investigated, including hydraulic jump efficiency, roller length, free surface profile, distributions of velocity and pressure, and fluctuating variables. The model outcome was also compared with previous results from the literature. Both CFD codes were found to represent with high accuracy the hydraulic jump surface profile, roller length, efficiency, and sequent depths ratio, consistently with previous research. Some significant differences were found between both CFD codes regarding velocity distributions and pressure fluctuations, although in general the results agree well with experimental and bibliographical observations. This finding makes models with these characteristics suitable for engineering applications involving the design and optimization of energy dissipation devices.The research presented herein was possible thanks to the Generalitat Valenciana predoctoral grants [Ref. (2015/7521)], in collaboration with the European Social Funds and to the research project La aireacion del flujo y su implementacion en prototipo para la mejora de la disipacion de energia de la lamina vertiente por resalto hidraulico en distintos tipos de presas (BIA2017-85412-C2-1-R), funded by the Spanish Ministry of Economy.Macián Pérez, JF.; Bayón, A.; García-Bartual, R.; López Jiménez, PA.; Vallés-Morán, FJ. (2020). Characterization of Structural Properties in High Reynolds Hydraulic Jump Based on CFD and Physical Modeling Approaches. Journal of Hydraulic Engineering. 146(12):1-13. https://doi.org/10.1061/(ASCE)HY.1943-7900.0001820S11314612Abdul Khader, M. H., & Elango, K. (1974). TURBULENT PRESSURE FIELD BENEATH A HYDRAULIC JUMP. Journal of Hydraulic Research, 12(4), 469-489. doi:10.1080/00221687409499725Bakhmeteff B. A. and A. E. Matzke. 1936. “The hydraulic jump in terms of dynamic similarity.” In Vol. 101 of Proc. American Society of Civil Engineers 630–647. Reston VA: ASCE.Bayon A. 2017. “Numerical analysis of air-water flows in hydraulic structures using computational fluid dynamics (CFD).” Ph.D. thesis Research Institute of Water and Environmental Engineering Universitat Politècnica de València.Bayon-Barrachina, A., & Lopez-Jimenez, P. A. (2015). Numerical analysis of hydraulic jumps using OpenFOAM. Journal of Hydroinformatics, 17(4), 662-678. doi:10.2166/hydro.2015.041Bayon A. J. F. Macián-Pérez F. J. Vallés-Morán and P. A. López-Jiménez. 2019. “Effect of RANS turbulence model in hydraulic jump CFD simulations.” In E-proc. 38th IAHR World Congress. Panama City Panama: Spanish Ministry of Economy.Bayon, A., Toro, J. P., Bombardelli, F. A., Matos, J., & López-Jiménez, P. A. (2018). Influence of VOF technique, turbulence model and discretization scheme on the numerical simulation of the non-aerated, skimming flow in stepped spillways. Journal of Hydro-environment Research, 19, 137-149. doi:10.1016/j.jher.2017.10.002Bayon, A., Valero, D., García-Bartual, R., Vallés-Morán, F. ​José, & López-Jiménez, P. A. (2016). Performance assessment of OpenFOAM and FLOW-3D in the numerical modeling of a low Reynolds number hydraulic jump. Environmental Modelling & Software, 80, 322-335. doi:10.1016/j.envsoft.2016.02.018Bennett, N. D., Croke, B. F. W., Guariso, G., Guillaume, J. H. A., Hamilton, S. H., Jakeman, A. J., … Andreassian, V. (2013). Characterising performance of environmental models. Environmental Modelling & Software, 40, 1-20. doi:10.1016/j.envsoft.2012.09.011Biswas, R., & Strawn, R. C. (1998). Tetrahedral and hexahedral mesh adaptation for CFD problems. Applied Numerical Mathematics, 26(1-2), 135-151. doi:10.1016/s0168-9274(97)00092-5Blocken, B., & Gualtieri, C. (2012). Ten iterative steps for model development and evaluation applied to Computational Fluid Dynamics for Environmental Fluid Mechanics. Environmental Modelling & Software, 33, 1-22. doi:10.1016/j.envsoft.2012.02.001Bombardelli, F. A., Meireles, I., & Matos, J. (2010). Laboratory measurements and multi-block numerical simulations of the mean flow and turbulence in the non-aerated skimming flow region of steep stepped spillways. Environmental Fluid Mechanics, 11(3), 263-288. doi:10.1007/s10652-010-9188-6Bradshaw, P. (1997). Understanding and prediction of turbulent flow—1996. International Journal of Heat and Fluid Flow, 18(1), 45-54. doi:10.1016/s0142-727x(96)00134-8Caishui, H. (2012). Three-dimensional Numerical Analysis of Flow Pattern in Pressure Forebay of Hydropower Station. Procedia Engineering, 28, 128-135. doi:10.1016/j.proeng.2012.01.694Castillo L. G. J. M. Carrillo J. T. García and A. Vigueras-Rodríguez. 2014. “Numerical simulations and laboratory measurements in hydraulic jumps.” In Proc. 11th Int. Conf. of Hydroinformatics. New York: Spanish Ministry of Economy.Castro-Orgaz, O., & Hager, W. H. (2009). Classical hydraulic jump: basic flow features. Journal of Hydraulic Research, 47(6), 744-754. doi:10.3826/jhr.2009.3610Procedure for Estimation and Reporting of Uncertainty Due to Discretization in CFD Applications. (2008). Journal of Fluids Engineering, 130(7), 078001. doi:10.1115/1.2960953Chachereau, Y., & Chanson, H. (2011). Free-surface fluctuations and turbulence in hydraulic jumps. Experimental Thermal and Fluid Science, 35(6), 896-909. doi:10.1016/j.expthermflusci.2011.01.009Chanson, H. (2006). Bubble entrainment, spray and splashing at hydraulic jumps. Journal of Zhejiang University-SCIENCE A, 7(8), 1396-1405. doi:10.1631/jzus.2006.a1396Chanson, H. (2009). Current knowledge in hydraulic jumps and related phenomena. A survey of experimental results. European Journal of Mechanics - B/Fluids, 28(2), 191-210. doi:10.1016/j.euromechflu.2008.06.004Chanson, H. (2013). Hydraulics of aerated flows:qui pro quo? Journal of Hydraulic Research, 51(3), 223-243. doi:10.1080/00221686.2013.795917Chanson, H., & Brattberg, T. (2000). Experimental study of the air–water shear flow in a hydraulic jump. International Journal of Multiphase Flow, 26(4), 583-607. doi:10.1016/s0301-9322(99)00016-6Chanson, H., & Gualtieri, C. (2008). Similitude and scale effects of air entrainment in hydraulic jumps. Journal of Hydraulic Research, 46(1), 35-44. doi:10.1080/00221686.2008.9521841Chanson, H., & Montes, J. S. (1995). Characteristics of Undular Hydraulic Jumps: Experimental Apparatus and Flow Patterns. Journal of Hydraulic Engineering, 121(2), 129-144. doi:10.1061/(asce)0733-9429(1995)121:2(129)Cheng, C.-K., Tai, Y.-C., & Jin, Y.-C. (2017). Particle Image Velocity Measurement and Mesh-Free Method Modeling Study of Forced Hydraulic Jumps. Journal of Hydraulic Engineering, 143(9), 04017028. doi:10.1061/(asce)hy.1943-7900.0001325Dong, Wang, Vetsch, Boes, & Tan. (2019). Numerical Simulation of Air–Water Two-Phase Flow on Stepped Spillways Behind X-Shaped Flaring Gate Piers under Very High Unit Discharge. Water, 11(10), 1956. doi:10.3390/w11101956Fuentes-Pérez, J. F., Silva, A. T., Tuhtan, J. A., García-Vega, A., Carbonell-Baeza, R., Musall, M., & Kruusmaa, M. (2018). 3D modelling of non-uniform and turbulent flow in vertical slot fishways. Environmental Modelling & Software, 99, 156-169. doi:10.1016/j.envsoft.2017.09.011Gualtieri, C., & Chanson, H. (2007). Experimental analysis of Froude number effect on air entrainment in the hydraulic jump. Environmental Fluid Mechanics, 7(3), 217-238. doi:10.1007/s10652-006-9016-1Hager, W. H. (1992). Energy Dissipators and Hydraulic Jump. Water Science and Technology Library. doi:10.1007/978-94-015-8048-9Hager, W. H., & Bremen, R. (1989). Classical hydraulic jump: sequent depths. Journal of Hydraulic Research, 27(5), 565-585. doi:10.1080/00221688909499111Hager, W. H., Bremen, R., & Kawagoshi, N. (1990). Classical hydraulic jump: length of roller. Journal of Hydraulic Research, 28(5), 591-608. doi:10.1080/00221689009499048Heller, V. (2011). Scale effects in physical hydraulic engineering models. Journal of Hydraulic Research, 49(3), 293-306. doi:10.1080/00221686.2011.578914Hirt, C. ., & Nichols, B. . (1981). Volume of fluid (VOF) method for the dynamics of free boundaries. Journal of Computational Physics, 39(1), 201-225. doi:10.1016/0021-9991(81)90145-5Ho, D. K. H., & Riddette, K. M. (2010). Application of computational fluid dynamics to evaluate hydraulic performance of spillways in australia. Australian Journal of Civil Engineering, 6(1), 81-104. doi:10.1080/14488353.2010.11463946Jesudhas, V., Balachandar, R., Roussinova, V., & Barron, R. (2018). Turbulence Characteristics of Classical Hydraulic Jump Using DES. Journal of Hydraulic Engineering, 144(6), 04018022. doi:10.1061/(asce)hy.1943-7900.0001427Jesudhas, V., Roussinova, V., Balachandar, R., & Barron, R. (2017). Submerged Hydraulic Jump Study Using DES. Journal of Hydraulic Engineering, 143(3), 04016091. doi:10.1061/(asce)hy.1943-7900.0001231KIM, J. (2004). A numerical study of the effects of ambient wind direction on flow and dispersion in urban street canyons using the RNG k?? turbulence model. Atmospheric Environment, 38(19), 3039-3048. doi:10.1016/j.atmosenv.2004.02.047Kim, S.-E., & Boysan, F. (1999). Application of CFD to environmental flows. Journal of Wind Engineering and Industrial Aerodynamics, 81(1-3), 145-158. doi:10.1016/s0167-6105(99)00013-6Kirkgöz, M. S., & Ardiçlioğlu, M. (1997). Velocity Profiles of Developing and Developed Open Channel Flow. Journal of Hydraulic Engineering, 123(12), 1099-1105. doi:10.1061/(asce)0733-9429(1997)123:12(1099)Langhi, M., & Hosoda, T. (2018). Three-dimensional unsteady RANS model for hydraulic jumps. ISH Journal of Hydraulic Engineering, 1-8. doi:10.1080/09715010.2018.1555775Liu, M., Rajaratnam, N., & Zhu, D. Z. (2004). Turbulence Structure of Hydraulic Jumps of Low Froude Numbers. Journal of Hydraulic Engineering, 130(6), 511-520. doi:10.1061/(asce)0733-9429(2004)130:6(511)Liu, T., Song, L., Fu, W., Wang, G., Lin, Q., Zhao, D., & Yi, B. (2018). Experimental Study on Single-Hole Injection of Kerosene into Pressurized Quiescent Environments. Journal of Energy Engineering, 144(3), 04018014. doi:10.1061/(asce)ey.1943-7897.0000536Ma, J., Oberai, A. A., Lahey, R. T., & Drew, D. A. (2011). Modeling air entrainment and transport in a hydraulic jump using two-fluid RANS and DES turbulence models. Heat and Mass Transfer, 47(8), 911-919. doi:10.1007/s00231-011-0867-8McCorquodale, J. A., & Khalifa, A. (1983). Internal Flow in Hydraulic Jumps. Journal of Hydraulic Engineering, 109(5), 684-701. doi:10.1061/(asce)0733-9429(1983)109:5(684)McDonald P. W. 1971. “The computation of transonic flow through two-dimensional gas turbine cascades.” In Proc. ASME 1971 Int. Gas Turbine Conf. and Products Show. Houston: International Gas Turbine Institute.Mossa, M. (1999). On the oscillating characteristics of hydraulic jumps. Journal of Hydraulic Research, 37(4), 541-558. doi:10.1080/00221686.1999.9628267Padulano, R., Fecarotta, O., Del Giudice, G., & Carravetta, A. (2017). Hydraulic Design of a USBR Type II Stilling Basin. Journal of Irrigation and Drainage Engineering, 143(5), 04017001. doi:10.1061/(asce)ir.1943-4774.0001150Resch, F. J., & Leutheusser, H. J. (1972). Le ressaut hydraulique : mesures de turbulence dans la région diphasique. La Houille Blanche, 58(4), 279-293. doi:10.1051/lhb/1972021Sarfaraz M. and J. Attari. 2011. “Numerical simulation of uniform flow region over a steeply sloping stepped spillway.” In Proc. 6th National Congress on Civil Engineering. Semnan Iran: Iran Water and Power Development Company.Spalart, P. . (2000). Strategies for turbulence modelling and simulations. International Journal of Heat and Fluid Flow, 21(3), 252-263. doi:10.1016/s0142-727x(00)00007-2Speziale, C. G., & Thangam, S. (1992). Analysis of an RNG based turbulence model for separated flows. International Journal of Engineering Science, 30(10), 1379-IN4. doi:10.1016/0020-7225(92)90148-aSpoljaric A. 1984. “Dynamic characteristics of the load on the bottom plate under hydraulic jump.” In Proc. Int. Conf. Hydrosoft’84: Hydraulic Engineering Software. New York: Elsevier.Teuber, K., Broecker, T., Bayón, A., Nützmann, G., & Hinkelmann, R. (2019). CFD-modelling of free surface flows in closed conduits. Progress in Computational Fluid Dynamics, An International Journal, 19(6), 368. doi:10.1504/pcfd.2019.103266Toso, J. W., & Bowers, C. E. (1988). Extreme Pressures in Hydraulic‐Jump Stilling Basins. Journal of Hydraulic Engineering, 114(8), 829-843. doi:10.1061/(asce)0733-9429(1988)114:8(829)Valero D. and D. B. Bung. 2015. “Hybrid investigations of air transport processes in moderately sloped stepped spillway flows.” In Vol. 28 of E-proc. 36th IAHR World Congress 1–10. The Hague Netherlands: IHE Delft.Valero, D., & Bung, D. B. (2016). Sensitivity of turbulent Schmidt number and turbulence model to simulations of jets in crossflow. Environmental Modelling & Software, 82, 218-228. doi:10.1016/j.envsoft.2016.04.030Valero, D., Viti, N., & Gualtieri, C. (2018). Numerical Simulation of Hydraulic Jumps. Part 1: Experimental Data for Modelling Performance Assessment. Water, 11(1), 36. doi:10.3390/w11010036Viti, N., Valero, D., & Gualtieri, C. (2018). Numerical Simulation of Hydraulic Jumps. Part 2: Recent Results and Future Outlook. Water, 11(1), 28. doi:10.3390/w11010028von Kármán T. 1930. “Mechanische Ähnlichkeit und Turbulenz.” In Proc. 3rd Int. Congress on Applied Mechanics. New York: Springer.Wang H. 2014. “Turbulence and air entrainment in hydraulic jumps.” Ph.D. thesis Dept. of Civil Engineering Univ. of Queensland.Wang, H., & Chanson, H. (2013). Air entrainment and turbulent fluctuations in hydraulic jumps. Urban Water Journal, 12(6), 502-518. doi:10.1080/1573062x.2013.847464Wang, H., & Chanson, H. (2015). Experimental Study of Turbulent Fluctuations in Hydraulic Jumps. Journal of Hydraulic Engineering, 141(7), 04015010. doi:10.1061/(asce)hy.1943-7900.0001010Weller, H. G., Tabor, G., Jasak, H., & Fureby, C. (1998). A tensorial approach to computational continuum mechanics using object-oriented techniques. Computers in Physics, 12(6), 620. doi:10.1063/1.168744Witt, A., Gulliver, J., & Shen, L. (2015). Simulating air entrainment and vortex dynamics in a hydraulic jump. International Journal of Multiphase Flow, 72, 165-180. doi:10.1016/j.ijmultiphaseflow.2015.02.012Wu, J., Zhou, Y., & Ma, F. (2018). Air entrainment of hydraulic jump aeration basin. Journal of Hydrodynamics, 30(5), 962-965. doi:10.1007/s42241-018-0088-4Xiang, M., Cheung, S. C. P., Tu, J. Y., & Zhang, W. H. (2014). A multi-fluid modelling approach for the air entrainment and internal bubbly flow region in hydraulic jumps. Ocean Engineering, 91, 51-63. doi:10.1016/j.oceaneng.2014.08.016Yakhot, V., Orszag, S. A., Thangam, S., Gatski, T. B., & Speziale, C. G. (1992). Development of turbulence models for shear flows by a double expansion technique. Physics of Fluids A: Fluid Dynamics, 4(7), 1510-1520. doi:10.1063/1.858424Zhang, G., Wang, H., & Chanson, H. (2012). Turbulence and aeration in hydraulic jumps: free-surface fluctuation and integral turbulent scale measurements. Environmental Fluid Mechanics, 13(2), 189-204. doi:10.1007/s10652-012-9254-

Evaluating how agent methodologies support the specification of the normative environment through the development process

[EN] Due to the increase in collaborative work and the decentralization of processes in many domains, there is an expanding demand for large-scale, flexible and adaptive software systems to support the interactions of people and institutions distributed in heterogeneous environments. Commonly, these software applications should follow specific regulations meaning the actors using them are bound by rights, duties and restrictions. Since this normative environment determines the final design of the software system, it should be considered as an important issue during the design of the system. Some agent-oriented software engineering methodologies deal with the development of normative systems (systems that have a normative environment) by integrating the analysis of the normative environment of a system in the development process. This paper analyses to what extent these methodologies support the analysis and formalisation of the normative environment and highlights some open issues of the topic.This work is partially supported by the PROMETEOII/2013/019, TIN2012-36586-C03-01, FP7-29493, TIN2011-27652-C03-00, CSD2007-00022 projects, and the CASES project within the 7th European Community Framework Program under the grant agreement No 294931.Garcia Marques, ME.; Miles, S.; Luck, M.; Giret Boggino, AS. (2014). Evaluating how agent methodologies support the specification of the normative environment through the development process. Autonomous Agents and Multi-Agent Systems. 1-20. https://doi.org/10.1007/s10458-014-9275-zS120Cossentino, M., Hilaire, V., Molesini, A., & Seidita, V. (Eds.). (2014). Handbook on agent-oriented design processes (Vol. VIII, 569 p. 508 illus.). Berlin: Springer.Akbari, O. (2010). A survey of agent-oriented software engineering paradigm: Towards its industrial acceptance. Journal of Computer Engineering Research, 1, 14–28.Argente, E., Botti, V., Carrascosa, C., Giret, A., Julian, V., & Rebollo, M. (2011). An abstract architecture for virtual organizations: The THOMAS approach. Knowledge and Information Systems, 29(2), 379–403.Argente, E., Botti, V., & Julian, V. (2009). GORMAS: An organizational-oriented methodological guideline for open MAS. In Proceedings of AOSE’09 (pp. 440–449).Argente, E., Botti, V., & Julian, V. (2009). Organizational-oriented methodological guidelines for designing virtual organizations. In Distributed computing, artificial intelligence, bioinformatics, soft computing, and ambient assisted living. Lecture Notes in Computer Science (Vol. 5518, pp. 154–162).Boella, G., Pigozzi, G., & van der Torre, L. (2009). Normative systems in computer science—Ten guidelines for normative multiagent systems. In G. Boella, P. Noriega, G. Pigozzi, & H. Verhagen (Eds.), Normative multi-agent systems, number 09121 in Dagstuhl seminar proceedings.Boella, G., Torre, L., & Verhagen, H. (2006). Introduction to normative multiagent systems. Computational and Mathematical Organization Theory, 12(2–3), 71–79.Bogdanovych, A., Esteva, M., Simoff, S., Sierra, C., & Berger, H. (2008). A methodology for developing multiagent systems as 3d electronic institutions. In M. Luck & L. Padgham (Eds.), Agent-Oriented Software Engineering VIII (Vol. 4951, pp. 103–117). Lecture Notes in Computer Science. Berlin: Springer.Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J., & Vazquez-Salceda, J. (2006). Coordination, organizations, institutions and norms in multi-agent systems. LNCS (LNAI) (Vol. 3913).Bordini, R. H., Fisher, M., Visser, W., & Wooldridge, M. (2006). Verifying multi-agent programs by model checking. In Autonomous agents and multi-agent systems (Vol. 12, pp. 239–256). Hingham, MA: Kluwer Academic Publishers.Botti, V., Garrido, A., Giret, A., & Noriega, P. (2011). The role of MAS as a decision support tool in a water-rights market. In Post-proceedings workshops AAMAS2011 (Vol. 7068, pp. 35–49). Berlin: Springer.Breaux, T. (2009). Exercising due diligence in legal requirements acquisition: A tool-supported, frame-based approach. In Proceedings of the IEEE international requirements engineering conference (pp. 225–230).Breaux, T. D., & Baumer, D. L. (2011). Legally reasonable security requirements: A 10-year ftc retrospective. Computers and Security, 30(4), 178–193.Breaux, T. D., Vail, M. W., & Anton, A. I. (2006). Towards regulatory compliance: Extracting rights and obligations to align requirements with regulations. In Proceedings of the 14th IEEE international requirements engineering conference, RE ’06 (pp. 46–55). Washington, DC: IEEE Computer Society.Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., & Mylopoulos, J. (2004). Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems, 8(3), 203–236.Cardoso, H. L., & Oliveira, E. (2008). A contract model for electronic institutions. In COIN’07: Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III (pp. 27–40).Castor, A., Pinto, R. C., Silva, C. T. L. L., & Castro, J. (2004). Towards requirement traceability in tropos. In WER (pp. 189–200).Chopra, A., Dalpiaz, F., Giorgini, P., & Mylopoulos, J. (2009). Modeling and reasoning about service-oriented applications via goals and commitments. ICST conference on digital business.Cliffe, O., Vos, M., & Padget, J. (2006). Specifying and analysing agent-based social institutions using answer set programming. In O. Boissier, J. Padget, V. Dignum, G. Lindemann, E. Matson, S. Ossowski, J. Sichman, & J. Vázquez-Salceda (Eds.), Coordination, organizations, institutions, and norms in multi-agent systems. Lecture Notes in Computer Science (Vol. 3913, pp. 99–113). Springer. Berlin.Criado, N., Argente, E., Garrido, A., Gimeno, J. A., Igual, F., Botti, V., Noriega, P., & Giret, A. (2011). Norm enforceability in Electronic Institutions? In Coordination, organizations, institutions, and norms in agent systems VI (Vol. 6541, pp. 250–267). Springer.Dellarocas, C., & Klein, M. (2001). Contractual agent societies. In R. Conte & C. Dellarocas (Eds.), Social order in multiagent systems (Vol. 2, pp. 113–133)., Multiagent Systems, Artificial Societies, and Simulated Organizations New York: Springer.DeLoach, S. A. (2008). Developing a multiagent conference management system using the o-mase process framework. In Proceedings of the international conference on agent-oriented software engineering VIII (pp. 168–181).DeLoach, S. A., & Garcia-Ojeda, J. C. (2010). O-mase; a customisable approach to designing and building complex, adaptive multi-agent systems. International Journal of Agent-Oriented Software Engineering, 4(3), 244–280.DeLoach, S. A., Padgham, L., Perini, A., Susi, A., & Thangarajah, J. (2009). Using three aose toolkits to develop a sample design. International Journal Agent-Oriented Software Engineering, 3, 416–476.Dignum, F., Dignum, V., Thangarajah, J., Padgham, L., & Winikoff, M. (2007). Open agent systems? Eighth international workshop on agent oriented software engineering (AOSE) in AAMAS07.Dignum, V. (2003). A model for organizational interaction:based on agents, founded in logic. PhD thesis, Utrecht University.Dignum, V., Meyer, J., Dignum, F., & Weigand, H. (2003). Formal specification of interaction in agent societies. Formal approaches to agent-based systems (Vol. 2699).Dignum, V., Vazquez-Salceda, J., & Dignum, F. (2005). Omni: Introducing social structure, norms and ontologies into agent organizations. In R. Bordini, M. Dastani, J. Dix, & A. Seghrouchni (Eds.)Programming multi-agent systems. Lecture Notes in Computer Science (Vol. 3346, pp. 181–198). Berlin: Springer.d’Inverno, M., Luck, M., Noriega, P., Rodriguez-Aguilar, J., & Sierra, C. (2012). Communicating open systems, 186, 38–94.Elsenbroich, C., & Gilbert, N. (2014). Agent-based modelling. In Modelling norms (pp. 65–84). Dordrecht: Springer.Esteva, M., Rosell, B., Rodriguez, J. A., & Arcos, J. L. (2004). AMELI: An agent-based middleware for electronic institutions. In AAMAS04 (pp. 236–243).Fenech, S., Pace, G. J., & Schneider, G. (2009). Automatic conflict detection on contracts. In Proceedings of the 6th international colloquium on theoretical aspects of computing, ICTAC ’09 (pp. 200–214).Garbay, C., Badeig, F., & Caelen, J. (2012). Normative multi-agent approach to support collaborative work in distributed tangible environments. In Proceedings of the ACM 2012 conference on computer supported cooperative work companion, CSCW ’12 (pp. 83–86). New York, NY: ACM.Garcia, E., Giret, A., & Botti, V. (2011). Regulated open multi-agent systems based on contracts. In Information Systems Development (pp. 243–255).Garcia, E., Tyson, G., Miles, S., Luck, M., Taweel, A., Staa, T. V., & Delaney, B. (2012). An analysis of agent-oriented engineering of e-health systems. In 13th international eorkshop on sgent-oriented software engineering (AOSE-AAMAS).Garcia, E., Tyson, G., Miles, S., Luck, M., Taweel, A., Staa, T. V., and Delaney, B. (2013). Analysing the Suitability of Multiagent Methodologies for e-Health Systems. In Agent-Oriented Software Engineering XIII, volume 7852, pages 134–150. Springer-Verlag.Garrido, A., Giret, A., Botti, V., & Noriega, P. (2013). mWater, a case study for modeling virtual markets. In New perspectives on agreement technologies (Vol. Law, Gover, pp. 563–579). Springer.Gteau, B., Boissier, O., & Khadraoui, D. (2006). Multi-agent-based support for electronic contracting in virtual enterprises. IFAC Symposium on Information Control Problems in Manufacturing (INCOM), 150(3), 73–91.Hollander, C. D., & Wu, A. S. (2011). The current state of normative agent-based systems. Journal of Artificial Societies and Social Simulation, 14(2), 6.Hsieh, F.-S. (2005). Automated negotiation based on contract net and petri net. In E-commerce and web technologies. Lecture Notes in Computer Science (Vol. 3590, pp. 148–157).Kollingbaum, M., Jureta, I. J., Vasconcelos, W., & Sycara, K. (2008). Automated requirements-driven definition of norms for the regulation of behavior in multi-agent systems. In Proceedings of the AISB 2008 workshop on behaviour regulation in multi-agent systems, Aberdeen, Scotland, U.K., April 2008.Li, T., Balke, T., Vos, M., Satoh, K., & Padget, J. (2013). Detecting conflicts in legal systems. In Y. Motomura, A. Butler, & D. Bekki (Eds.), New Frontiers in Artificial Intelligence (Vol. 7856, pp. 174–189)., Lecture Notes in Computer Science Berlin Heidelberg: Springer.Lomuscio, A., Qu, H., & Solanki, M. (2010) Towards verifying contract regulated service composition. Journal of Autonomous Agents and Multi-Agent Systems (pp. 1–29).Lopez, F., Luck, M., & d’Inverno, M. (2006). A normative framework for agent-based systems. Computational and Mathematical Organization Theory, 12, 227–250.Lpez, F. y, Luck, M., & dInverno, M. (2006). A normative framework for agent-based systems. Computational and Mathematical Organization Theory, 12(2–3), 227–250.Mader, P., & Egyed, A. (2012). Assessing the effect of requirements traceability for software maintenance. In 28th IEEE International Conference on Software Maintenance (ICSM) (pp. 171–180), Sept 2012.Mao, X., & Yu, E. (2005). Organizational and social concepts in agent oriented software engineering. In AOSE IV. Lecture Notes in Artificial Intelligence (Vol. 3382, pp. 184–202).Meyer, J.-J. C., & Wieringa, R. J. (Eds.). (1993). Deontic logic in computer science: Normative system specification. Chichester, UK: Wiley.Okouya, D., & Dignum, V. (2008). Operetta: A prototype tool for the design, analysis and development of multi-agent organizations (demo paper). In AAMAS (pp. 1667–1678).Malone, T. W., Smith J. B., & Olson, G. M. (2001). Coordination theory and collaboration technology. Mahwah, NJ: Lawrence Erlbaum Associates.Oren, N., Panagiotidi, S., Vázquez-Salceda, J., Modgil, S., Luck, M., & Miles, S. (2009). Towards a formalisation of electronic contracting environments. COIN (pp. 156–171).Osman, N., Robertson, D., & Walton, C. (2006). Run-time model checking of interaction and deontic models for multi-agent systems. In AAMAS ’06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (pp. 238–240). New York, NY: ACM.Pace, G., Prisacariu, C., & Schneider, G. (2007). Model checking contracts a case study. In Automated technology for verification and analysis. Lecture Notes in Computer Science (Vol. 4762, pp. 82–97).Rotolo, A., & van der Torre, L. (2011). Rules, agents and norms: Guidelines for rule-based normative multi-agent systems. RuleML Europe, 6826, 52–66.Saeki, M., & Kaiya, H. (2008). Supporting the elicitation of requirements compliant with regulations. In CAiSE ’08 (pp. 228–242).Siena, A., Mylopoulos, J., Perini, A., & Susi, A. (2009). Designing law-compliant software requirements. In Proceedings of the 28th international conference on conceptual modeling, ER ’09 (pp. 472–486).Singh, M. P. Commitments in multiagent systems: Some history, some confusions, some controversies, some prospects.Solaiman, E., Molina-Jimenez, C., & Shrivastav, S. (2003). Model checking correctness properties of electronic contracts. In Service-oriented computing—ICSOC 2003. Lecture Notes in Computer Science (Vol. 2910, pp. 303–318). Berlin: Springer.Telang, P. R., & Singh, M. P. (2009). Conceptual modeling: Foundations and applications. Enhancing tropos with commitments (pp. 417–435).Vázquez-Salceda, J., Confalonieri, R., Gomez, I., Storms, P., Nick Kuijpers, S. P., & Alvarez, S. (2009). Modelling contractually-bounded interactions in the car insurance domain. DIGIBIZ 2009.Viganò, F., & Colombetti, M. (2007). Symbolic model checking of institutions. In ICEC (pp. 35–44).Walton, C. D. (2007). Verifiable agent dialogues. Journal of Applied Logic, 5(2):197–213, Logic-Based Agent Verification.Winkler, S., & Pilgrim, J. (2010). A survey of traceability in requirements engineering and model-driven development. Software and Systems Modeling (SoSyM), 9(4), 529–565.Wooldridge, M., Fisher, M., Huget, M., & Parsons, S. (2002). Model checking multi-agent systems with mable. In AAMAS02 (pp. 952–959). ACM

Analysis of the Flow in a Typified USBR II Stilling Basin through a Numerical and Physical Modeling Approach

[EN] Adaptation of stilling basins to higher discharges than those considered for their design implies deep knowledge of the flow developed in these structures. To this end, the hydraulic jump occurring in a typified United States Bureau of Reclamation Type II (USBR II) stilling basin was analyzed using a numerical and experimental modeling approach. A reduced-scale physical model to conduct an experimental campaign was built and a numerical computational fluid dynamics (CFD) model was prepared to carry out the corresponding simulations. Both models were able to successfully reproduce the case study in terms of hydraulic jump shape, velocity profiles, and pressure distributions. The analysis revealed not only similarities to the flow in classical hydraulic jumps but also the influence of the energy dissipation devices existing in the stilling basin, all in good agreement with bibliographical information, despite some slight differences. Furthermore, the void fraction distribution was analyzed, showing satisfactory performance of the physical model, although the numerical approach presented some limitations to adequately represent the flow aeration mechanisms, which are discussed herein. Overall, the presented modeling approach can be considered as a useful tool to address the analysis of free surface flows occurring in stilling basins.This research was funded by 'Generalitat Valenciana predoctoral grants (Grant number [2015/7521])', in collaboration with the European Social Funds and by the research project: 'La aireacion del flujo y su implementacion en prototipo para la mejora de la disipacion de energia de la lamina vertiente por resalto hidraulico en distintos tipos de presas' (BIA2017-85412-C2-1-R), funded by the Spanish Ministry of Economy.Macián Pérez, JF.; García-Bartual, R.; Huber, B.; Bayón, A.; Vallés-Morán, FJ. (2020). Analysis of the Flow in a Typified USBR II Stilling Basin through a Numerical and Physical Modeling Approach. Water. 12(1):1-20. https://doi.org/10.3390/w12010227S120121Bayon, A., Valero, D., García-Bartual, R., Vallés-Morán, F. ​José, & López-Jiménez, P. A. (2016). Performance assessment of OpenFOAM and FLOW-3D in the numerical modeling of a low Reynolds number hydraulic jump. Environmental Modelling & Software, 80, 322-335. doi:10.1016/j.envsoft.2016.02.018Chanson, H. (2008). Turbulent air–water flows in hydraulic structures: dynamic similarity and scale effects. Environmental Fluid Mechanics, 9(2), 125-142. doi:10.1007/s10652-008-9078-3Heller, V. (2011). Scale effects in physical hydraulic engineering models. Journal of Hydraulic Research, 49(3), 293-306. doi:10.1080/00221686.2011.578914Chanson, H. (2013). Hydraulics of aerated flows:qui pro quo? Journal of Hydraulic Research, 51(3), 223-243. doi:10.1080/00221686.2013.795917Blocken, B., & Gualtieri, C. (2012). Ten iterative steps for model development and evaluation applied to Computational Fluid Dynamics for Environmental Fluid Mechanics. Environmental Modelling & Software, 33, 1-22. doi:10.1016/j.envsoft.2012.02.001Wang, H., & Chanson, H. (2015). Experimental Study of Turbulent Fluctuations in Hydraulic Jumps. Journal of Hydraulic Engineering, 141(7), 04015010. doi:10.1061/(asce)hy.1943-7900.0001010Valero, D., Viti, N., & Gualtieri, C. (2018). Numerical Simulation of Hydraulic Jumps. Part 1: Experimental Data for Modelling Performance Assessment. Water, 11(1), 36. doi:10.3390/w11010036Viti, N., Valero, D., & Gualtieri, C. (2018). Numerical Simulation of Hydraulic Jumps. Part 2: Recent Results and Future Outlook. Water, 11(1), 28. doi:10.3390/w11010028Bayon-Barrachina, A., & Lopez-Jimenez, P. A. (2015). Numerical analysis of hydraulic jumps using OpenFOAM. Journal of Hydroinformatics, 17(4), 662-678. doi:10.2166/hydro.2015.041Teuber, K., Broecker, T., Bayón, A., Nützmann, G., & Hinkelmann, R. (2019). CFD-modelling of free surface flows in closed conduits. Progress in Computational Fluid Dynamics, An International Journal, 19(6), 368. doi:10.1504/pcfd.2019.103266Chachereau, Y., & Chanson, H. (2011). Free-surface fluctuations and turbulence in hydraulic jumps. Experimental Thermal and Fluid Science, 35(6), 896-909. doi:10.1016/j.expthermflusci.2011.01.009Zhang, G., Wang, H., & Chanson, H. (2012). Turbulence and aeration in hydraulic jumps: free-surface fluctuation and integral turbulent scale measurements. Environmental Fluid Mechanics, 13(2), 189-204. doi:10.1007/s10652-012-9254-3Mossa, M. (1999). On the oscillating characteristics of hydraulic jumps. Journal of Hydraulic Research, 37(4), 541-558. doi:10.1080/00221686.1999.9628267Chanson, H., & Brattberg, T. (2000). Experimental study of the air–water shear flow in a hydraulic jump. International Journal of Multiphase Flow, 26(4), 583-607. doi:10.1016/s0301-9322(99)00016-6Murzyn, F., Mouaze, D., & Chaplin, J. R. (2005). Optical fibre probe measurements of bubbly flow in hydraulic jumps. International Journal of Multiphase Flow, 31(1), 141-154. doi:10.1016/j.ijmultiphaseflow.2004.09.004Gualtieri, C., & Chanson, H. (2007). Experimental analysis of Froude number effect on air entrainment in the hydraulic jump. Environmental Fluid Mechanics, 7(3), 217-238. doi:10.1007/s10652-006-9016-1Chanson, H., & Gualtieri, C. (2008). Similitude and scale effects of air entrainment in hydraulic jumps. Journal of Hydraulic Research, 46(1), 35-44. doi:10.1080/00221686.2008.9521841Ho, D. K. H., & Riddette, K. M. (2010). Application of computational fluid dynamics to evaluate hydraulic performance of spillways in australia. Australian Journal of Civil Engineering, 6(1), 81-104. doi:10.1080/14488353.2010.11463946Dong, Wang, Vetsch, Boes, & Tan. (2019). Numerical Simulation of Air–Water Two-Phase Flow on Stepped Spillways Behind X-Shaped Flaring Gate Piers under Very High Unit Discharge. Water, 11(10), 1956. doi:10.3390/w11101956Toso, J. W., & Bowers, C. E. (1988). Extreme Pressures in Hydraulic‐Jump Stilling Basins. Journal of Hydraulic Engineering, 114(8), 829-843. doi:10.1061/(asce)0733-9429(1988)114:8(829)Houichi, L., Ibrahim, G., & Achour, B. (2006). Experiments for the Discharge Capacity of the Siphon Spillway Having the Creager-Ofitserov Profile. International Journal of Fluid Mechanics Research, 33(5), 395-406. doi:10.1615/interjfluidmechres.v33.i5.10Padulano, R., Fecarotta, O., Del Giudice, G., & Carravetta, A. (2017). Hydraulic Design of a USBR Type II Stilling Basin. Journal of Irrigation and Drainage Engineering, 143(5), 04017001. doi:10.1061/(asce)ir.1943-4774.0001150Hirt, C. ., & Nichols, B. . (1981). Volume of fluid (VOF) method for the dynamics of free boundaries. Journal of Computational Physics, 39(1), 201-225. doi:10.1016/0021-9991(81)90145-5Bombardelli, F. A., Meireles, I., & Matos, J. (2010). Laboratory measurements and multi-block numerical simulations of the mean flow and turbulence in the non-aerated skimming flow region of steep stepped spillways. Environmental Fluid Mechanics, 11(3), 263-288. doi:10.1007/s10652-010-9188-6Pope, S. B. (2001). Turbulent Flows. Measurement Science and Technology, 12(11), 2020-2021. doi:10.1088/0957-0233/12/11/705Harlow, F. H. (1967). Turbulence Transport Equations. Physics of Fluids, 10(11), 2323. doi:10.1063/1.1762039Launder, B. E., & Sharma, B. I. (1974). Application of the energy-dissipation model of turbulence to the calculation of flow near a spinning disc. Letters in Heat and Mass Transfer, 1(2), 131-137. doi:10.1016/0094-4548(74)90150-7Yakhot, V., Orszag, S. A., Thangam, S., Gatski, T. B., & Speziale, C. G. (1992). Development of turbulence models for shear flows by a double expansion technique. Physics of Fluids A: Fluid Dynamics, 4(7), 1510-1520. doi:10.1063/1.858424Li, S., & Zhang, J. (2018). Numerical Investigation on the Hydraulic Properties of the Skimming Flow over Pooled Stepped Spillway. Water, 10(10), 1478. doi:10.3390/w10101478Zhang, W., Wang, J., Zhou, C., Dong, Z., & Zhou, Z. (2018). Numerical Simulation of Hydraulic Characteristics in A Vortex Drop Shaft. Water, 10(10), 1393. doi:10.3390/w10101393Xiang, M., Cheung, S. C. P., Tu, J. Y., & Zhang, W. H. (2014). A multi-fluid modelling approach for the air entrainment and internal bubbly flow region in hydraulic jumps. Ocean Engineering, 91, 51-63. doi:10.1016/j.oceaneng.2014.08.016Procedure for Estimation and Reporting of Uncertainty Due to Discretization in CFD Applications. (2008). Journal of Fluids Engineering, 130(7), 078001. doi:10.1115/1.2960953Cartellier, A., & Achard, J. L. (1991). Local phase detection probes in fluid/fluid two‐phase flows. Review of Scientific Instruments, 62(2), 279-303. doi:10.1063/1.1142117Cartellier, A., & Barrau, E. (1998). Monofiber optical probes for gas detection and gas velocity measurements: conical probes. International Journal of Multiphase Flow, 24(8), 1265-1294. doi:10.1016/s0301-9322(98)00032-9Boyer, C., Duquenne, A.-M., & Wild, G. (2002). Measuring techniques in gas–liquid and gas–liquid–solid reactors. Chemical Engineering Science, 57(16), 3185-3215. doi:10.1016/s0009-2509(02)00193-8Hager, W. H., & Bremen, R. (1989). Classical hydraulic jump: sequent depths. Journal of Hydraulic Research, 27(5), 565-585. doi:10.1080/00221688909499111Hager, W. H., & Li, D. (1992). Sill-controlled energy dissipator. Journal of Hydraulic Research, 30(2), 165-181. doi:10.1080/00221689209498932Bakhmeteff, B. A., & Matzke, A. E. (1936). The Hydraulic Jump in Terms of Dynamic Similarity. Transactions of the American Society of Civil Engineers, 101(1), 630-647. doi:10.1061/taceat.0004708Hager, W. H., Bremen, R., & Kawagoshi, N. (1990). Classical hydraulic jump: length of roller. Journal of Hydraulic Research, 28(5), 591-608. doi:10.1080/00221689009499048Bennett, N. D., Croke, B. F. W., Guariso, G., Guillaume, J. H. A., Hamilton, S. H., Jakeman, A. J., … Andreassian, V. (2013). Characterising performance of environmental models. Environmental Modelling & Software, 40, 1-20. doi:10.1016/j.envsoft.2012.09.011McCorquodale, J. A., & Khalifa, A. (1983). Internal Flow in Hydraulic Jumps. Journal of Hydraulic Engineering, 109(5), 684-701. doi:10.1061/(asce)0733-9429(1983)109:5(684)Kirkgöz, M. S., & Ardiçlioğlu, M. (1997). Velocity Profiles of Developing and Developed Open Channel Flow. Journal of Hydraulic Engineering, 123(12), 1099-1105. doi:10.1061/(asce)0733-9429(1997)123:12(1099

Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

How software engineering research aligns with design science: A review

Background: Assessing and communicating software engineering research can be challenging. Design science is recognized as an appropriate research paradigm for applied research but is seldom referred to in software engineering. Applying the design science lens to software engineering research may improve the assessment and communication of research contributions. Aim: The aim of this study is 1) to understand whether the design science lens helps summarize and assess software engineering research contributions, and 2) to characterize different types of design science contributions in the software engineering literature. Method: In previous research, we developed a visual abstract template, summarizing the core constructs of the design science paradigm. In this study, we use this template in a review of a set of 38 top software engineering publications to extract and analyze their design science contributions. Results: We identified five clusters of papers, classifying them according to their alignment with the design science paradigm. Conclusions: The design science lens helps emphasize the theoretical contribution of research output---in terms of technological rules---and reflect on the practical relevance, novelty, and rigor of the rules proposed by the research.Comment: 32 pages, 10 figure

Rule Based System for Diagnosing Wireless Connection Problems Using SL5 Object

There is an increase in the use of in-door wireless networking solutions via Wi-Fi and this increase infiltrated and utilized Wi-Fi enable devices, as well as smart mobiles, games consoles, security systems, tablet PCs and smart TVs. Thus the demand on Wi-Fi connections increased rapidly. Rule Based System is an essential method in helping using the human expertise in many challenging fields. In this paper, a Rule Based System was designed and developed for diagnosing the wireless connection problems and attain a precise decision about the cause of the problem. SL5 Object expert system language was used in developing the rule based system. An Evaluation of the rule based system was carried out to test its accuracy and the results were promising