In the context of Model-Driven Engineering (MDE), the generation of traces can be automated using the implicit traceability relationships contained in any model transformation. Furthermore, if transformations were to be developed by adopting a model-based approach, they might benefit from the promised advantages of MDE in terms of a less costly software development while reducing the inherent complexity of coding them. Bearing these ideas in mind, in previous works we have introduced MeTAGeM-Trace, an EMF-based toolkit for the MDD of model transformations which supports trace generation. However, automation might have a negative impact on the quality of the products generated. To assess whether this is actually the case with MeTAGeM-Trace, this work presents the principal results of an experiment in which the quality of model transformations developed in different manners, including the use of MeTAGeM-Trace, are compared with the aim of evaluating the impact of automation and trace-enabling on the quality of model transformations.
{"title":"On the Impact of Automation and Trace-Enabling over the Quality of Model Transformations","authors":"V. Bollati, J. M. Vara, Álvaro Jiménez, E. Marcos","doi":"10.1109/QUATIC.2014.35","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.35","url":null,"abstract":"In the context of Model-Driven Engineering (MDE), the generation of traces can be automated using the implicit traceability relationships contained in any model transformation. Furthermore, if transformations were to be developed by adopting a model-based approach, they might benefit from the promised advantages of MDE in terms of a less costly software development while reducing the inherent complexity of coding them. Bearing these ideas in mind, in previous works we have introduced MeTAGeM-Trace, an EMF-based toolkit for the MDD of model transformations which supports trace generation. However, automation might have a negative impact on the quality of the products generated. To assess whether this is actually the case with MeTAGeM-Trace, this work presents the principal results of an experiment in which the quality of model transformations developed in different manners, including the use of MeTAGeM-Trace, are compared with the aim of evaluating the impact of automation and trace-enabling on the quality of model transformations.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128633347","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Silva, J. Verelst, H. Mannaert, D. Ferreira, Philip Huysmans
This paper introduces the problem of combinatorial effects based on the evidence of many dependencies that explicitly or implicitly exist among the elements commonly used on system requirements specification (SRS). We start from the analysis and comparison of three popular SRS templates (namely IEEE 830-1998, RUP and with all templates), mainly from the perspective of the constructs and models involved. Then we propose and discuss a set of practical recommendations to help defining a SRS template that may better prevent (to some extent) the referred problem.
{"title":"Towards a System Requirements Specification Template that Minimizes Combinatorial Effects","authors":"A. Silva, J. Verelst, H. Mannaert, D. Ferreira, Philip Huysmans","doi":"10.1109/QUATIC.2014.22","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.22","url":null,"abstract":"This paper introduces the problem of combinatorial effects based on the evidence of many dependencies that explicitly or implicitly exist among the elements commonly used on system requirements specification (SRS). We start from the analysis and comparison of three popular SRS templates (namely IEEE 830-1998, RUP and with all templates), mainly from the perspective of the constructs and models involved. Then we propose and discuss a set of practical recommendations to help defining a SRS template that may better prevent (to some extent) the referred problem.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"14 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125593021","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
ODEL-driven engineering (MDE) refers to a range of approaches where models play a core role in software development. Modeling promotes reasoning at higher level of abstraction, therefore reducing complexity of software development, while hiding the unnecessary low level details at appropriate stages, and promoting communication among the several stakeholders in the development process. MDE initiatives make claims of increased quality and productivity by separating business and application logic from underlying platform technology, transforming models to other models and automating code generation. However, while quality assurance is a well-known topic in “traditional” Software Engineering, less is known on how to assess quality across the MDE lifecycle. We should understand not only how to measure the quality of the MDE process (and determine if it is better than other approaches), but also to understand the quality of the models themselves (determining metrics for both models and metamodels’ quality, design patterns, and anti-patterns). All aspects of research related to Quality of Model-Driven Engineering have been considered including both theoretical and empirical work. To widely distributed call for papers sixteen papers were originally submitted to QMDE at QUATIC 2014. Finally, six papers were selected for an acceptance rate of 37.5%.
{"title":"Foreword of the Thematic Track: Quality in Model Driven Engineering","authors":"M. Mernik","doi":"10.1109/QUATIC.2014.57","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.57","url":null,"abstract":"ODEL-driven engineering (MDE) refers to a range of approaches where models play a core role in software development. Modeling promotes reasoning at higher level of abstraction, therefore reducing complexity of software development, while hiding the unnecessary low level details at appropriate stages, and promoting communication among the several stakeholders in the development process. MDE initiatives make claims of increased quality and productivity by separating business and application logic from underlying platform technology, transforming models to other models and automating code generation. However, while quality assurance is a well-known topic in “traditional” Software Engineering, less is known on how to assess quality across the MDE lifecycle. We should understand not only how to measure the quality of the MDE process (and determine if it is better than other approaches), but also to understand the quality of the models themselves (determining metrics for both models and metamodels’ quality, design patterns, and anti-patterns). All aspects of research related to Quality of Model-Driven Engineering have been considered including both theoretical and empirical work. To widely distributed call for papers sixteen papers were originally submitted to QMDE at QUATIC 2014. Finally, six papers were selected for an acceptance rate of 37.5%.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114261798","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In the context of digital audio-visual media preservation, the current technologies deal with complex technological, economic and rights-related issues. Among them, the development and the use of high-quality software are considered success factors. In this paper a software quality model customizable for the audio-visual context has been performed. With the contribution of the partners involved in the Presto4U project, an experiment of requirements elicitation has been developed for the identification of some functional and non-functional requirements. Their mapping on some characteristics and sub-characteristics of the quality model has been performed and customized software measurement plans have been implemented.
{"title":"An Experiment of Software Quality Evaluation in the Audio-Visual Media Preservation Context","authors":"I. Biscoglio, E. Marchetti","doi":"10.1109/QUATIC.2014.21","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.21","url":null,"abstract":"In the context of digital audio-visual media preservation, the current technologies deal with complex technological, economic and rights-related issues. Among them, the development and the use of high-quality software are considered success factors. In this paper a software quality model customizable for the audio-visual context has been performed. With the contribution of the partners involved in the Presto4U project, an experiment of requirements elicitation has been developed for the identification of some functional and non-functional requirements. Their mapping on some characteristics and sub-characteristics of the quality model has been performed and customized software measurement plans have been implemented.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131397827","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Silva, Sinisa Vlajic, Sasa Lazarevic, I. Antović, Vojislav Stanojevic, Milos Milic
People prefer to use textual specification of requirements, but their representations are not suitable for automatic transformation and reuse. Use case modelling is commonly used to structure and document requirements. The integration of use cases within the Model Driven Development paradigm requires a rigorous definition of the use case specification. In this paper we describe the key part of SilabReq language for requirements specification based on use case and present the main result from our preliminary experience with implementation of the SilabReq language with JetBrains Meta Programming System.
{"title":"Preliminary Experience Using JetBrains MPS to Implement a Requirements Specification Language","authors":"A. Silva, Sinisa Vlajic, Sasa Lazarevic, I. Antović, Vojislav Stanojevic, Milos Milic","doi":"10.1109/QUATIC.2014.24","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.24","url":null,"abstract":"People prefer to use textual specification of requirements, but their representations are not suitable for automatic transformation and reuse. Use case modelling is commonly used to structure and document requirements. The integration of use cases within the Model Driven Development paradigm requires a rigorous definition of the use case specification. In this paper we describe the key part of SilabReq language for requirements specification based on use case and present the main result from our preliminary experience with implementation of the SilabReq language with JetBrains Meta Programming System.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128158853","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Bertolino, Said Daoudagh, F. Lonetti, E. Marchetti
Access Control is among the most important security mechanisms to put in place in order to secure applications. XACML is the de facto standard for storing and deploying access control policies. However, due to the complexity of the XACML language, policy definition becomes a difficult and error prone process. In recent years, the combined use of models for the access control policy specification, and the model-to-code facilities, for the automatic transformation of the model into the XACML language, has been proposed as a possible solution. These model-driven methodologies and facilities need to be thoroughly validated and verified. In this paper we provide an integrated framework for testing the automatic translation of the specification of an access control model into an XACML policy. The framework includes different test strategies for the derivation of test cases and some facilities for making easier their execution against the XACML policy and the test results collection and analysis. In addition, we illustrate the use of the framework on a case study.
{"title":"An Automated Testing Framework of Model-Driven Tools for XACML Policy Specification","authors":"A. Bertolino, Said Daoudagh, F. Lonetti, E. Marchetti","doi":"10.1109/QUATIC.2014.17","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.17","url":null,"abstract":"Access Control is among the most important security mechanisms to put in place in order to secure applications. XACML is the de facto standard for storing and deploying access control policies. However, due to the complexity of the XACML language, policy definition becomes a difficult and error prone process. In recent years, the combined use of models for the access control policy specification, and the model-to-code facilities, for the automatic transformation of the model into the XACML language, has been proposed as a possible solution. These model-driven methodologies and facilities need to be thoroughly validated and verified. In this paper we provide an integrated framework for testing the automatic translation of the specification of an access control model into an XACML policy. The framework includes different test strategies for the derivation of test cases and some facilities for making easier their execution against the XACML policy and the test results collection and analysis. In addition, we illustrate the use of the framework on a case study.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133098740","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The adoption of business process improvement strategies is a challenge to organizations trying to improve the quality and productivity of their services. The quest for the benefits of this improvement on resource optimization and the responsiveness of the organizations has raised several proposals for business process improvement approaches. However, proposals and results of scientific research on process improvement in higher education institutions, extremely complex and unique organizations, are still scarce. This paper presents a method that provides guidance about how practices and knowledge are gathered to contribute for business process improvement based on the communication between different stakeholders.
{"title":"Higher Education Business Process Improvement: Achieving BPMM Level 3","authors":"Duarte Duarte, Paula Ventura Martins","doi":"10.1109/QUATIC.2014.10","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.10","url":null,"abstract":"The adoption of business process improvement strategies is a challenge to organizations trying to improve the quality and productivity of their services. The quest for the benefits of this improvement on resource optimization and the responsiveness of the organizations has raised several proposals for business process improvement approaches. However, proposals and results of scientific research on process improvement in higher education institutions, extremely complex and unique organizations, are still scarce. This paper presents a method that provides guidance about how practices and knowledge are gathered to contribute for business process improvement based on the communication between different stakeholders.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"164 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116641154","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Improving the maturity of the test process in an organization, especially but not limited to integration testing, involves obstacles and risks, such as the additional work overhead of the new process. In addition, integration testing descriptions are often too technical not addressing the language needs of the domain. In research cooperations with companies from the insurance and banking domain it turned out that test descriptions and reports are one of the most useful testing artifacts, while doing adhoc testing. This paper presents a bottom up testing approach, which first helps the integration tester in producing a semi-formal test description and report, up to be an enabler for automatic model-based testing in the very end. The presented approach is based on a textual domain specific language that is able to evolve over time. This is done by analyzing the test descriptions and reports automatically with machine learning techniques as well as manually by integration testers. Often recurring test steps or used components are integrated into the test language, making it specially tailored for a specific organization. For each test step implementations can be attached, preparing it for the next iteration. In this paper the methodology and architecture of our integration testing approach are presented together with the underlying language concepts.
{"title":"Test Process Improvement with Documentation Driven Integration Testing","authors":"Florian Häser, M. Felderer, R. Breu","doi":"10.1109/QUATIC.2014.29","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.29","url":null,"abstract":"Improving the maturity of the test process in an organization, especially but not limited to integration testing, involves obstacles and risks, such as the additional work overhead of the new process. In addition, integration testing descriptions are often too technical not addressing the language needs of the domain. In research cooperations with companies from the insurance and banking domain it turned out that test descriptions and reports are one of the most useful testing artifacts, while doing adhoc testing. This paper presents a bottom up testing approach, which first helps the integration tester in producing a semi-formal test description and report, up to be an enabler for automatic model-based testing in the very end. The presented approach is based on a textual domain specific language that is able to evolve over time. This is done by analyzing the test descriptions and reports automatically with machine learning techniques as well as manually by integration testers. Often recurring test steps or used components are integrated into the test language, making it specially tailored for a specific organization. For each test step implementations can be attached, preparing it for the next iteration. In this paper the methodology and architecture of our integration testing approach are presented together with the underlying language concepts.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126395422","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Business process modelling and management approaches are increasingly used and disclosed between organizations as a means to improve their products or services quality and to improve their productivity. If on one hand Business Processes Management and Modelling is becoming increasingly important to organizations, on the other hand, software development teams still have serious difficulties in defining the requirements for the software that supports the business processes which primarily have been based on lists of needs felt by users. As a result, we have software models and applications that are not aligned with business processes. Basing requirements elicitation in the Business Process Modelling would ensure the alignment between Business Processes and software models and applications. The main objective of this research is helping to close the gap between the business processes and the software that supports the business, deriving early software models from business process models1.
{"title":"Derivation of Data-Driven Software Models from Business Process Representations","authors":"E. F. Cruz, R. J. Machado, M. Y. Santos","doi":"10.1109/QUATIC.2014.44","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.44","url":null,"abstract":"Business process modelling and management approaches are increasingly used and disclosed between organizations as a means to improve their products or services quality and to improve their productivity. If on one hand Business Processes Management and Modelling is becoming increasingly important to organizations, on the other hand, software development teams still have serious difficulties in defining the requirements for the software that supports the business processes which primarily have been based on lists of needs felt by users. As a result, we have software models and applications that are not aligned with business processes. Basing requirements elicitation in the Business Process Modelling would ensure the alignment between Business Processes and software models and applications. The main objective of this research is helping to close the gap between the business processes and the software that supports the business, deriving early software models from business process models1.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129815637","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Glauber de Tarso Vieira Bezerra, V. Pinheiro, A. Albuquerque
Information Technology (IT) Governance need for tools and processes that assist the qualification, retention and reuse of solutions to leverage the management of incidents. In this sense, this work proposes a process for resolving incidents, whose differential is the use of CBR (Case Based Reasoning) and NLP (Natural Language Processing) techniques, aiming the reuse of experience in handling similar incidents. Specially, NLP techniques, such as morphosyntactic analysis and semantic textual similarity, are used in the retrieval phase of the CBR system. We applied the proposed process in a real scenario after the deployment of an ERP system in a mixed capital company, in order to validate if the use of CBR and NLP components in an Incident Management Process optimizes the handling of incidents.
{"title":"Incident Management Optimization through the Reuse of Experiences and Natural Language Processing","authors":"Glauber de Tarso Vieira Bezerra, V. Pinheiro, A. Albuquerque","doi":"10.1109/QUATIC.2014.14","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.14","url":null,"abstract":"Information Technology (IT) Governance need for tools and processes that assist the qualification, retention and reuse of solutions to leverage the management of incidents. In this sense, this work proposes a process for resolving incidents, whose differential is the use of CBR (Case Based Reasoning) and NLP (Natural Language Processing) techniques, aiming the reuse of experience in handling similar incidents. Specially, NLP techniques, such as morphosyntactic analysis and semantic textual similarity, are used in the retrieval phase of the CBR system. We applied the proposed process in a real scenario after the deployment of an ERP system in a mixed capital company, in order to validate if the use of CBR and NLP components in an Incident Management Process optimizes the handling of incidents.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128543172","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：