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

2013 International Symposium on Theoretical Aspects of Software Engineering最新文献

筛选
英文 中文
Aspect-Oriented Semantic Framework for Executable Models 面向方面的可执行模型语义框架
2013 International Symposium on Theoretical Aspects of Software Engineering Pub Date : 2013-07-01 DOI: 10.1109/TASE.2013.17
D. Mouheb, Raha Ziarati, M. Debbabi
{"title":"Aspect-Oriented Semantic Framework for Executable Models","authors":"D. Mouheb, Raha Ziarati, M. Debbabi","doi":"10.1109/TASE.2013.17","DOIUrl":"https://doi.org/10.1109/TASE.2013.17","url":null,"abstract":"Aspect-Oriented Modeling (AOM) has gained a lot of attention from researchers. It emerged as an appropriate paradigm to improve the modularization of crosscutting concerns at the software modeling phase. On the other hand, with the rise of Model-Driven Development, Executable UML (xUML) plays a central role since it allows modelers to specify detailed specifications that can be automatically transformed into code. In this paper, we provide a formal semantics for aspect matching and weaving on xUML models, particularly activity diagrams. The semantics is based on Continuation-Passing Style since it provides a concise and elegant description of aspect-oriented mechanisms. We first consider basic pointcuts. Then, we provide a semantics for the dataflow pointcut, which is useful from a security perspective.","PeriodicalId":346899,"journal":{"name":"2013 International Symposium on Theoretical Aspects of Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131182251","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
Engineering Multi-view Models for Model-Driven Engineering 用于模型驱动工程的工程多视图模型
2013 International Symposium on Theoretical Aspects of Software Engineering Pub Date : 2013-07-01 DOI: 10.1109/TASE.2013.8
A. V. Lamsweerde
{"title":"Engineering Multi-view Models for Model-Driven Engineering","authors":"A. V. Lamsweerde","doi":"10.1109/TASE.2013.8","DOIUrl":"https://doi.org/10.1109/TASE.2013.8","url":null,"abstract":"The effectiveness of model-driven engineering relies on our ability to build high quality models. This task is intrinsically difficult. We need to produce sufficiently complete, adequate, consistent, and well-structured models from incomplete, imprecise, and sparse material originating from multiple, often conflicting sources. The systems we need to consider generally comprises software components, devices and people.","PeriodicalId":346899,"journal":{"name":"2013 International Symposium on Theoretical Aspects of Software Engineering","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128466163","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
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver 利用SMT求解器利用属性类型图生成元模型实例
2013 International Symposium on Theoretical Aspects of Software Engineering Pub Date : 2013-07-01 DOI: 10.1109/TASE.2013.31
Hao Wu, Rosemary Monahan, James F. Power
{"title":"Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver","authors":"Hao Wu, Rosemary Monahan, James F. Power","doi":"10.1109/TASE.2013.31","DOIUrl":"https://doi.org/10.1109/TASE.2013.31","url":null,"abstract":"In this paper we present an approach to generating instances of metamodels using a Satisfiability Modulo Theories (SMT) solver as a back-end engine. Our goal is to automatically translate a metamodel and its invariants into SMT formulas which can be investigated for satisfiability by an external SMT solver, with each satisfying assignment for SMT formulas interpreted as an instance of the original metamodel. Our automated translation works by interpreting a metamodel as a bounded Attributed Type Graph with Inheritance (ATGI) and then deriving a finite universe of all bounded attribute graphs typed over this bounded ATGI. The graph acts as an intermediate representation which we then translate into SMT formulas. The full translation process, from metamodels to SMT formulas, and then from SMT instances back to metamodel instances, has been successfully automated in our tool, with the results showing the feasibility of this approach.","PeriodicalId":346899,"journal":{"name":"2013 International Symposium on Theoretical Aspects of Software Engineering","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133243932","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}
引用次数: 29
首页 上一页
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学术文献互助群
群 号：604180095
Book学术官方微信