VAO '14最新文献 - Book学术

Viewpoints and Views in Hardware Platform Modeling for Safe Deployment 面向安全部署的硬件平台建模的观点和观点

VAO '14 Pub Date : 2014-07-22 DOI: 10.1145/2631675.2631682

Uwe Pohlmann, Matthias Meyer, A. Dann, Christopher Brink

引用次数: 6

Criteria for Orthographic Viewpoints 直角视点标准

VAO '14 Pub Date : 2014-07-22 DOI: 10.1145/2631675.2631680

C. Atkinson, Christian Tunjic

引用次数: 4

Towards Constraint-Based Model Types: A Generalised Formal Foundation for Model Genericity 迈向基于约束的模型类型:模型泛型的一般化形式基础

VAO '14 Pub Date : 2014-07-22 DOI: 10.1145/2631675.2631678

S. Zschaler

引用次数: 19

A View-based Approach Towards an Engineering Platform for Industrial Automation in the Cloud 基于视图的云工业自动化工程平台研究

VAO '14 Pub Date : 2014-07-22 DOI: 10.1145/2631675.2631679

Thomas Goldschmidt

{"title":"A View-based Approach Towards an Engineering Platform for Industrial Automation in the Cloud","authors":"Thomas Goldschmidt","doi":"10.1145/2631675.2631679","DOIUrl":"https://doi.org/10.1145/2631675.2631679","url":null,"abstract":"Recently, cloud computing gained more and more traction, not only in fast moving domains such as private and enterprise software, but also in more traditional domains such as industrial automation. To some extent this is also driven by the advent of the Internet of Things (IoT) which encompasses aspects from both automation as well as cloud computing. However, for rolling out automation software as a service solutions to low-end, long-tail markets with thousands of small customers important aspects for cloud scalability such as easy self service for the customer are still missing. There exists a large gap between the engineering efforts required to configure an automation system and the effort automation companies and their customers can afford. At the same time, tools for implementing Domain-Specific Languages (DSLs) have recently become more and more efficient and easy to use. Tailored DSLs that make use of abstractions for the particular (sub-)domains and omitting other complexities would allow customers to handle their applications in a SaaS-oriented, self-service manner. In this paper we present a view-based approach for engineering languages for a multi-domain automation cloud platform that facilitates modern DSL frameworks. This will allow automation SaaS providers to rapidly design sub-domain specific engineering tools based on a common platform. End-customers can then use these tailored languages to engineer their specific applications in an efficient manner.","PeriodicalId":302777,"journal":{"name":"VAO '14","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131959409","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

Model-Driven Security with A System of Aspect-Oriented Security Design Patterns 模型驱动的安全与面向方面的安全设计模式系统

VAO '14 Pub Date : 2014-07-22 DOI: 10.1145/2631675.2631683

P. Nguyen, Jacques Klein, Yves Le Traon

{"title":"Model-Driven Security with A System of Aspect-Oriented Security Design Patterns","authors":"P. Nguyen, Jacques Klein, Yves Le Traon","doi":"10.1145/2631675.2631683","DOIUrl":"https://doi.org/10.1145/2631675.2631683","url":null,"abstract":"Model-Driven Security (Mds) has emerged for more than a decade to propose sound Md methodologies for supporting secure systems development. Yet, there is still a big gap before making Mds more easily applicable, and adoptable by industry. Most current Mds approaches have not extensively dealt with multiple security concerns but rather a specific one, e.g. authorization. Besides, security patterns which are based on domain-independent, time-proven security knowledge and expertise, can be considered as reusable security bricks upon which sound and secure systems can be built. But security patterns are not applied as much as they could be because developers have problems in selecting them and applying them in the right places, especially at the design phase. In this position paper, we propose an exploratory Mds approach based on a System of aspect-oriented Security design Patterns (shortly called SoSPa) in which security design patterns are collected, specified as reusable aspect models to form a coherent system of them that guides developers in systematically selecting the right security design patterns for the job. Our Mds approach allows the selected security design patterns to be automatically composed with the target system model. The woven secure system model can then be used for (partial) code generation, including (configured) security infrastructures.","PeriodicalId":302777,"journal":{"name":"VAO '14","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133338084","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}

引用次数: 15

Proposal for a Multi-View Modelling Case Study: Component-Based Software Engineering with UML, Plug-ins, and Java 多视图建模案例研究的建议:使用UML、插件和Java的基于组件的软件工程

VAO '14 Pub Date : 2014-07-22 DOI: 10.1145/2631675.2631676

Max E. Kramer, M. Langhammer

{"title":"Proposal for a Multi-View Modelling Case Study: Component-Based Software Engineering with UML, Plug-ins, and Java","authors":"Max E. Kramer, M. Langhammer","doi":"10.1145/2631675.2631676","DOIUrl":"https://doi.org/10.1145/2631675.2631676","url":null,"abstract":"During the design and development of complex systems, multiple modelling languages are often necessary in order to describe a system for specific tasks and users. The resulting models can show parts of the same system from different perspectives or views, which is described by the term multi-view modelling. The overlap between individual views presents fundamental challenges, e.g. for sustaining consistency among views or for the creation of new views. A common multi-view modelling case study that covers essential challenges and requirements can be used as a basis for the comparison of approaches that address these challenges.\u0000 In this paper, we propose such a case study in the context of component-based software engineering with UML composite diagrams, Eclipse plug-ins, and Java code. We explain the overlap between the different views, propose new view types that aggregate information from several sources, and discuss essential challenges of multi-view modelling that are posed by this case study. These challenges are, for example, one-to-many and partial relations between elements of different views, and the constraint combination effects of different views. Our proposal contributes to the community effort that is required to obtain a common case study that enables an efficient comparison of multi-view modelling approaches.","PeriodicalId":302777,"journal":{"name":"VAO '14","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115983586","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

Query-driven incremental synchronization of view models 查询驱动的视图模型增量同步

VAO '14 Pub Date : 2014-07-22 DOI: 10.1145/2631675.2631677

Csaba Debreceni, Á. Horváth, Ábel Hegedüs, Z. Ujhelyi, I. Ráth, Dániel Varró

引用次数: 34

A Method for Aspect-oriented Meta-Model Evolution 面向方面的元模型演化方法

VAO '14 Pub Date : 2014-07-22 DOI: 10.1145/2631675.2631681

Reiner Jung, R. Heinrich, Eric Schmieders, M. Strittmatter, W. Hasselbring

引用次数: 16