A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models

作者: Marco Autili , Antonia Bertolino , Guglielmo De Angelis , Davide Di Ruscio , Alessio Di Sandro

DOI: 10.1109/TSE.2015.2449319

关键词:

摘要: Model-driven engineering (MDE) promotes automated model transformations along the entire development process. Guaranteeing quality of early models is essential for a successful application MDE techniques and related tool-supported refinements. Do these properly reflect requirements elicited from owners problem domain? Ultimately, this question needs to be asked domain experts. The that gap exists between respective backgrounds modeling experts developers cannot show simply ask them whether it correct with respect they had in mind. To facilitate their interaction make such validation more systematic, we propose methodology tool derive set customizable questionnaires expressed natural language each validated. Unexpected answers by help identify those portions requiring deeper attention. We illustrate current status developed MOTHIA, which can handle UML Use Case, Class, Activity diagrams. assess MOTHIA effectiveness reducing experts, detecting faults on European Project CHOReOS.

参考文章(44)
Andreas Papasalouros, Konstantinos Kanaris, Konstantinos Kotis, AUTOMATIC GENERATION OF MULTIPLE CHOICE QUESTIONS FROM DOMAIN ONTOLOGIES E-learning. pp. 427- 434 ,(2008)
Antonia Bertolino, Guglielmo De Angelis, Andrea Polini, Governance Policies for Verification and Validation of Service Choreographies . international conference on web information systems and technologies. ,vol. 140, pp. 86- 102 ,(2012) , 10.1007/978-3-642-36608-6_6
Gerd Gröner, Mohsen Asadi, Bardia Mohabbati, Dragan Gašević, Fernando Silva Parreiras, Marko Bošković, Validation of User Intentions in Process Models Notes on Numerical Fluid Mechanics and Multidisciplinary Design. pp. 366- 381 ,(2012) , 10.1007/978-3-642-31095-9_24
Rick Salay, Jan Gorzny, Marsha Chechik, Change propagation due to uncertainty change fundamental approaches to software engineering. pp. 21- 36 ,(2013) , 10.1007/978-3-642-37057-1_3
Nick Wainwright, Nick Papanikolaou, Introduction: the FIA research roadmap, priorities for future internet research Future Internet. pp. 1- 5 ,(2012) , 10.1007/978-3-642-30241-1_1
Elizabeth S. Cordingley, Knowledge elicitation techniques for knowledge-based systems Knowledge elicitation: principle, techniques and applications. pp. 87- 175 ,(1989)
Walter F. Tichy, Hints for Reviewing Empirical Work in Software Engineering Empirical Software Engineering. ,vol. 5, pp. 309- 312 ,(2000) , 10.1023/A:1009844119158
Rick Salay, Michalis Famelis, Marsha Chechik, Language independent refinement using partial modeling fundamental approaches to software engineering. pp. 224- 239 ,(2012) , 10.1007/978-3-642-28872-2_16
Hercules Dalianis, A method for validating a conceptual model by natural language discourse generation conference on advanced information systems engineering. pp. 425- 444 ,(1992) , 10.1007/BFB0035146