发布求助
文献互助 智能选刊 最新文献

NFPinDSML '12最新文献

筛选
英文 中文
A domain specific visual language for modeling power-aware reliability in wireless sensor networks 用于无线传感器网络中功率感知可靠性建模的领域专用可视化语言
NFPinDSML '12 Pub Date : 2012-10-01 DOI: 10.1145/2420942.2420945
J. Troya, Antonio Vallecillo
{"title":"A domain specific visual language for modeling power-aware reliability in wireless sensor networks","authors":"J. Troya, Antonio Vallecillo","doi":"10.1145/2420942.2420945","DOIUrl":"https://doi.org/10.1145/2420942.2420945","url":null,"abstract":"Reliability is an attribute that appears in all quality models, so it is important to take it into account when developing any kind of system. Its evaluation at latter stages of the software development may force the re-engineering of important parts of the system, something very costly. This is why it should be raised to the system design phase. Among the systems where reliability is a crucial issue, some wireless sensor network (WSN) protocols aim to extend the networks lifetime as much as possible, so a more reliable network will live longer. Following a model-driven engineering (MDE) approach, we propose the use of domain specific visual languages (DSVLs) to model the reliability of systems based on components by means of in-place behavioral rules and by modeling how the state of the components changes. We have developed as well a DSVL for modeling and analyzing reliability properties of a WSN protocol based on local information, namely directional source-aware routing protocol (DSAP).","PeriodicalId":442342,"journal":{"name":"NFPinDSML '12","volume":"180 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125821895","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}
引用次数: 2
The Fourth International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2012) 第四届领域特定建模语言中的非功能系统属性国际研讨会(NFPinDSML2012)
NFPinDSML '12 Pub Date : 2012-10-01 DOI: 10.1145/2420942.2420943
Marko Boskovic, G. Mussbacher, D. Gašević, E. Bagheri
{"title":"The Fourth International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2012)","authors":"Marko Boskovic, G. Mussbacher, D. Gašević, E. Bagheri","doi":"10.1145/2420942.2420943","DOIUrl":"https://doi.org/10.1145/2420942.2420943","url":null,"abstract":"The International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML) series traditionally takes place as part of the Satellite Events of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS). Traditionally, NFPinDSML gathers researchers and practitioners interested in the estimation and evaluation of system quality and their integration in Domain Specific Modeling Languages and Model Driven Engineering in general. This paper is the summary of the fourth NFPinDSML workshop which was affiliated with MODELS 2012.","PeriodicalId":442342,"journal":{"name":"NFPinDSML '12","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121538518","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}
引用次数: 0
Industrial adaptation of MARTE for early scheduling analysis of component-based applications MARTE的工业适应性，用于基于组件的应用的早期调度分析
NFPinDSML '12 Pub Date : 2012-10-01 DOI: 10.1145/2420942.2420949
R. Henia, L. Rioux, T. Vergnaud
{"title":"Industrial adaptation of MARTE for early scheduling analysis of component-based applications","authors":"R. Henia, L. Rioux, T. Vergnaud","doi":"10.1145/2420942.2420949","DOIUrl":"https://doi.org/10.1145/2420942.2420949","url":null,"abstract":"Scheduling analysis techniques are well adapted for performance estimation at early design stages of component-based applications, since they rely on an abstraction of the timing properties. These properties can be annotated to the design model using well-known standards such as the UML Profile for MARTE. However, due to its high syntax complexity, MARTE suffers from a limited acceptance in the industry. In this work, we propose an adaptation of the MARTE syntax in the context of the development of Software Design Radio systems, according to designer needs.","PeriodicalId":442342,"journal":{"name":"NFPinDSML '12","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128880554","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}
引用次数: 2
Non-functional requirements in model-driven software product line engineering 模型驱动软件产品线工程中的非功能需求
NFPinDSML '12 Pub Date : 2012-10-01 DOI: 10.1145/2420942.2420948
J. Gonzalez-Huerta, E. Insfrán, S. Abrahão, J. McGregor
{"title":"Non-functional requirements in model-driven software product line engineering","authors":"J. Gonzalez-Huerta, E. Insfrán, S. Abrahão, J. McGregor","doi":"10.1145/2420942.2420948","DOIUrl":"https://doi.org/10.1145/2420942.2420948","url":null,"abstract":"Developing variant-rich software systems through the application of the software product line approach requires the management of a wide set of requirements. However, in most cases, the focus of those requirements is limited to the functional requirements. The non-functional requirements are often informally defined and their management does not provide traceability mechanisms for their validation. In this paper, we present a multimodel approach that allows the explicit representation of non-functional requirements for software product lines both at domain engineering, and application engineering levels. The multimodel allows the representation of different viewpoints of a software product line, including the non-functional requirements and the relationships that these non-functional requirements might have with features and functionalities. The feasibility of this approach is illustrated through a specific example from the automotive domain.","PeriodicalId":442342,"journal":{"name":"NFPinDSML '12","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128089787","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}
引用次数: 20
Modelling and multi-objective optimization of quality attributes in variability-rich software 多变量软件中质量属性的建模与多目标优化
NFPinDSML '12 Pub Date : 2012-10-01 DOI: 10.1145/2420942.2420944
Rafael Olaechea, Steven T. Stewart, K. Czarnecki, Derek Rayside
{"title":"Modelling and multi-objective optimization of quality attributes in variability-rich software","authors":"Rafael Olaechea, Steven T. Stewart, K. Czarnecki, Derek Rayside","doi":"10.1145/2420942.2420944","DOIUrl":"https://doi.org/10.1145/2420942.2420944","url":null,"abstract":"Variability-rich software, such as software product lines, offers optional and alternative features to accommodate varying needs of users. Designers of variability-rich software face the challenge of reasoning about the impact of selecting such features on the quality attributes of the resulting software variant. Attributed feature models have been proposed to model such features and their impact on quality attributes, but existing variability modelling languages and tools have limited or no support for such models and the complex multi-objective optimization problem that arises. This paper presents ClaferMoo, a language and tool that addresses these shortcomings. ClaferMoo uses type inheritance to modularize the attribution of features in feature models and allows specifying multiple optimization goals. We evaluate an implementation of the language on a set of attributed feature models from the literature, showing that the optimization infrastructure can handle small-scale feature models with about a dozen features within seconds.","PeriodicalId":442342,"journal":{"name":"NFPinDSML '12","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122225617","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}
引用次数: 65
An infrastructure for multi-level optimisation through property annotation and aggregation 通过属性注释和聚合实现多级优化的基础设施
NFPinDSML '12 Pub Date : 2012-10-01 DOI: 10.1145/2420942.2420947
F. Penczek, R. Kirner, R. Poss, C. Grelck, A. Shafarenko
{"title":"An infrastructure for multi-level optimisation through property annotation and aggregation","authors":"F. Penczek, R. Kirner, R. Poss, C. Grelck, A. Shafarenko","doi":"10.1145/2420942.2420947","DOIUrl":"https://doi.org/10.1145/2420942.2420947","url":null,"abstract":"Optimising software for efficiency on a parallel hardware platform by analysing the performance of the application is often a complex and time-consuming task. In this paper we present a constraint annotation and aggregation system that allows programmers to annotate code by using a dedicated language for describing functional and extrafunctional properties, such as for example algorithmic complexity, scaling factors or the number of required cores. The goal is to derive properties of the entire application that are parametrised over characteristics of the execution platform to assist programmers in better understanding the behaviour of an application and to assist the execution platform in making informed mapping and scheduling decisions.","PeriodicalId":442342,"journal":{"name":"NFPinDSML '12","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125777162","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}
引用次数: 2
Towards a model driven refinement process through architecture evaluation 通过架构评估实现模型驱动的细化过程
NFPinDSML '12 Pub Date : 2012-10-01 DOI: 10.1145/2420942.2420946
Grzegorz Loniewski, Etienne Borde, E. Insfrán
{"title":"Towards a model driven refinement process through architecture evaluation","authors":"Grzegorz Loniewski, Etienne Borde, E. Insfrán","doi":"10.1145/2420942.2420946","DOIUrl":"https://doi.org/10.1145/2420942.2420946","url":null,"abstract":"Real-time embedded systems engineering is a complex process used in the development of industrial systems or products. The development of these systems may need to consider the assessment of numerous different and interrelated quality attributes. The Model-Driven Development approach implies many benefits for this process, owing to the use of high-level models and model transformations. However, it must be carefully applied, since all the quality attributes must be considered if acceptable results are to be attained. In this paper, we propose a method for the incremental refinement of transformations based on the non-functional requirements tradeoff analysis and on the study of its impact on the implementation of transformations. The approach employs sensitivities and the tradeoff identification method. The approach is illustrated with a simple example.","PeriodicalId":442342,"journal":{"name":"NFPinDSML '12","volume":"195 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116465404","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}
引用次数: 3
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信