MDHPCL '12Pub Date : 2012-10-02DOI: 10.1145/2446224.2446229
Philipp Zech, M. Felderer, R. Breu
{"title":"Cloud risk analysis by textual models","authors":"Philipp Zech, M. Felderer, R. Breu","doi":"10.1145/2446224.2446229","DOIUrl":"https://doi.org/10.1145/2446224.2446229","url":null,"abstract":"The development of secure software systems strongly relies on the availability of a known risk profile. In cloud computing, such a known risk profile does not exist yet, resulting in highly insecure cloud deployments. In our paper we propose a textual modeling language for cloud deployments making it possible to derive a risk profile using a risk analysis, based on stable model semantics.","PeriodicalId":162559,"journal":{"name":"MDHPCL '12","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130900376","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}
MDHPCL '12Pub Date : 2012-10-02DOI: 10.1145/2446224.2446225
I. Ober, A. Gokhale, Geri Georg, M. Felderer, J. Bruel, D. Lugato
{"title":"MDHPCL 2012 workshop summary","authors":"I. Ober, A. Gokhale, Geri Georg, M. Felderer, J. Bruel, D. Lugato","doi":"10.1145/2446224.2446225","DOIUrl":"https://doi.org/10.1145/2446224.2446225","url":null,"abstract":"This paper provides a summary of the First International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL) held as a satellite event of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS) that took place in Innsbruck, Austria on October 2, 2012.","PeriodicalId":162559,"journal":{"name":"MDHPCL '12","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121463940","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}
MDHPCL '12Pub Date : 2012-10-02DOI: 10.1145/2446224.2446232
Faruk Caglar, Kyoungho An, A. Gokhale, T. Levendovszky
{"title":"Transitioning to the cloud?: a model-driven analysis and automated deployment capability for cloud services","authors":"Faruk Caglar, Kyoungho An, A. Gokhale, T. Levendovszky","doi":"10.1145/2446224.2446232","DOIUrl":"https://doi.org/10.1145/2446224.2446232","url":null,"abstract":"As cloud computing becomes increasingly popular and appealing, application and service providers increasingly face questions on whether moving to the cloud would be beneficial to their business, and how should the cloud deployment of their application be realized. Analysis techniques, such as simulations, hold promise in analyzing the benefits of moving to the cloud, and while generative mechanisms can automate the deployment of applications in the cloud. This paper describes how model-driven engineering (MDE) supports both these desired capabilities by providing intuitive and automated capabilities for driving simulations of cloud infrastructures and application services to analyze the benefits of moving the applications to the cloud, and automating the deployment of these applications in the cloud.","PeriodicalId":162559,"journal":{"name":"MDHPCL '12","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125086999","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}
MDHPCL '12Pub Date : 2012-10-02DOI: 10.1145/2446224.2446227
Fatima Alkandari, R. Paige
{"title":"Modelling and comparing cloud computing service level agreements","authors":"Fatima Alkandari, R. Paige","doi":"10.1145/2446224.2446227","DOIUrl":"https://doi.org/10.1145/2446224.2446227","url":null,"abstract":"Service-level agreements are a critical mechanism underpinning the pay-per-consumption model of business for cloud computing. Cloud providers make a variety of services of different qualities available on-demand for consumers. However, there is no standard ontology, vocabulary, or set of mechanisms that can be used for systematically and semi-automatically expressing and comparing cloud SLAs. We report on research investigating the use of MDE principles and technologies for making cloud SLAs easier to write, use and semi-automatically compare by domain experts. Our ultimate objective is to make it easier for non-experts to take decisions by programmatically comparing different cloud SLAs. We propose a metamodel for both cloud consumer requirement and cloud provider SLAs, and exploit model comparison technology for automating the comparison process.","PeriodicalId":162559,"journal":{"name":"MDHPCL '12","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131918869","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}
MDHPCL '12Pub Date : 2012-10-02DOI: 10.1145/2446224.2446228
B. Nagel, C. Gerth, Enes Yigitbas, Fabian Christ, G. Engels
{"title":"Model-driven specification of adaptive cloud-based systems","authors":"B. Nagel, C. Gerth, Enes Yigitbas, Fabian Christ, G. Engels","doi":"10.1145/2446224.2446228","DOIUrl":"https://doi.org/10.1145/2446224.2446228","url":null,"abstract":"In cloud-based systems, business process models compose loosely coupled services to fulfill a certain goal. In order to ensure a high quality of service (QoS) of these systems, irregularities and violations need to be detected and handled at runtime by adapting the system. As a consequence, engineering such systems requires an explicit modeling of adaptation rules, which define how the system is adapted under certain conditions. These rules are defined based on models that specify QoS agreements as well as service bindings and business processes that are adapted. In this paper, we present a modeling approach for adaptive, cloud-based systems which supports the explicit specification of adaptation rules. We are introducing a metamodel for specifying bindings between business processes and cloud services considering Service Level Agreements that define the required QoS. In order to express adaptations of business processes on different levels of granularity, we are using an extended metamodel including fragments that group multiple process elements.","PeriodicalId":162559,"journal":{"name":"MDHPCL '12","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134041114","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}
MDHPCL '12Pub Date : 2012-10-02DOI: 10.1145/2446224.2446231
M. Scheidgen, A. Zubow
{"title":"Map/reduce on EMF models","authors":"M. Scheidgen, A. Zubow","doi":"10.1145/2446224.2446231","DOIUrl":"https://doi.org/10.1145/2446224.2446231","url":null,"abstract":"Map/Reduce is the programming model in cloud computing. It enables the processing of data sets of unprecedented size, but it also delegates the handling of complex data structures completely to its users. In this paper, we apply Map/Reduce to EMF-based models to cope with complex data structures in the familiar an easy-to-use and type-safe EMF fashion, combining the advantages of both technologies. We use our framework EMF-Fragments to store very large EMF models in distributed key-value stores (Hadoop's Hbase). This allows us to build Map/Reduce programs that use EMF's generated APIs to process those very large EMF-models. We present our framework and two example Map/Reduce jobs for querying software models and for analyzing sensor data represented as EMF-models.","PeriodicalId":162559,"journal":{"name":"MDHPCL '12","volume":"190 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117349970","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}
MDHPCL '12Pub Date : 2012-10-02DOI: 10.1145/2446224.2446226
D. Draheim
{"title":"CASE 2.0: on key success factors for cloud-aided software engineering","authors":"D. Draheim","doi":"10.1145/2446224.2446226","DOIUrl":"https://doi.org/10.1145/2446224.2446226","url":null,"abstract":"Cloud Computing is here to stay. It offers a huge potential in many domains. In this talk we outline a cloud-driven approach to software engineering which we refer to as Cloud Aided Software Engineering (CASE 2.0). We are convinced that cloud computing is the natural candidate to boost tomorrow's software projects. Unfortunately, it is by far not enough to migrate current software engineering tool suites into the cloud and to work with them as usual to unlock the potential of the cloud. This talk aims at identifying the key success factors for cloud-based software engineering: deeply standardizing models, a highly integrated tool landscape, a focus shift onto group dynamics and cultural change management. Then, we explain some key innovations to turn CASE 2.0 into reality: orthogonal software modeling (OSM) and the single underlying model (SUM), the viable software process and the viable software product. Furthermore, we need to discuss a simple yet extremely important observation: the cloud offers a nearly perfect aid against copyright infringement. We will argue that this simple fact is amenable to completely change the face of software utilization.","PeriodicalId":162559,"journal":{"name":"MDHPCL '12","volume":"64 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121005172","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}
MDHPCL '12Pub Date : 2012-10-02DOI: 10.1145/2446224.2446230
Marc Palyart, I. Ober, D. Lugato, J. Bruel
{"title":"HPCML: a modeling language dedicated to high-performance scientific computing","authors":"Marc Palyart, I. Ober, D. Lugato, J. Bruel","doi":"10.1145/2446224.2446230","DOIUrl":"https://doi.org/10.1145/2446224.2446230","url":null,"abstract":"Tremendous computational resources are required to compute complex physical simulations. Unfortunately computers able to provide such computational power are difficult to program, especially since the rise of heterogeneous hardware architectures. This makes it particularly challenging to exploit efficiently and sustainably supercomputers resources. We think that model-driven engineering can help us tame the complexity of high-performance scientific computing software development by separating the different concerns such as mathematics, parallelism, or validation. The principles of our approach, named MDE4HPC, stem from this idea. In this paper, we describe the High-Performance Computing Modeling Language (HPCML), a domain-specific modeling language at the center of this approach.","PeriodicalId":162559,"journal":{"name":"MDHPCL '12","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124886358","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}