MPM '12最新文献 - Book学术

Summary of the 6th International Workshop on Multi-Paradigm Modeling (MPM'12) 第六届多范式建模国际研讨会(MPM'12)综述

MPM '12 Pub Date : 2012-10-01 DOI: 10.1145/2508443.2508444

Cécile Hardebolle, Eugene Syriani, J. Sprinkle, T. Mészáros

{"title":"Summary of the 6th International Workshop on Multi-Paradigm Modeling (MPM'12)","authors":"Cécile Hardebolle, Eugene Syriani, J. Sprinkle, T. Mészáros","doi":"10.1145/2508443.2508444","DOIUrl":"https://doi.org/10.1145/2508443.2508444","url":null,"abstract":"At the heart of Multi-Paradigm Modeling (MPM) is the conviction that modeling \"everything\" explicitly, at the right level of abstraction and using the most appropriate formalism(s) is the key to success in model driven engineering. Indeed, the model based design of complex systems requires the use of multiple modeling languages to cope with the inherent heterogeneity of such systems, to offer different points of view on all their relevant aspects, to cover the different activities of the design cycle and to allow reasoning at different levels of detail during the design process. However, essential questions need to be answered in this context: those of the coupling, the combination, the composition, the transformation and the integration of models and of modeling formalisms. The aim of the Workshop on Multi-Paradigm Modeling is to provide a forum for both researchers and practitioners to share on the theories, methods and technologies that address the specific set of challenges of the MPM domain. The sixth edition of the Workshop on Multi-Paradigm Modeling (MPM'12) was held this year in Innsbruck, Austria, organized as a satellite event of MODELS. In this paper we summarize the results of this year's event.","PeriodicalId":176268,"journal":{"name":"MPM '12","volume":"4 4 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":"115904504","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

Renarrating linguistic architecture: a case study 重新定义语言架构:一个案例研究

MPM '12 Pub Date : 2012-10-01 DOI: 10.1145/2508443.2508454

V. Zaytsev

引用次数: 18

Viewpoints, formalisms, languages, and tools for cyber-physical systems 网络物理系统的视点、形式化、语言和工具

MPM '12 Pub Date : 2012-10-01 DOI: 10.1145/2508443.2508452

David Broman, Edward A. Lee, S. Tripakis, Martin Törngren

引用次数: 91

Industrial experiences from multi-paradigmatic modelling of signal processing 信号处理多范式建模的工业经验

MPM '12 Pub Date : 2012-10-01 DOI: 10.1145/2508443.2508445

Håkan Burden, Rogardt Heldal, Martin Lundqvist

引用次数: 3

Component-based modeling of dynamic systems using heterogeneous composition 使用异构组合的动态系统的基于组件的建模

MPM '12 Pub Date : 2012-10-01 DOI: 10.1145/2508443.2508456

Zsolt Lattmann, A. Nagel, T. Levendovszky, T. Bapty, S. Neema, G. Karsai

引用次数: 8

Maintaining consistency between system architecture and dynamic system models with SysML4Modelica 使用SysML4Modelica维护系统架构和动态系统模型之间的一致性

MPM '12 Pub Date : 2012-10-01 DOI: 10.1145/2508443.2508451

A. Reichwein, C. Paredis, A. Canedo, P. Witschel, Philipp Emanuel Stelzig, A. Votintseva, Rainer Wasgint

{"title":"Maintaining consistency between system architecture and dynamic system models with SysML4Modelica","authors":"A. Reichwein, C. Paredis, A. Canedo, P. Witschel, Philipp Emanuel Stelzig, A. Votintseva, Rainer Wasgint","doi":"10.1145/2508443.2508451","DOIUrl":"https://doi.org/10.1145/2508443.2508451","url":null,"abstract":"Nowadays many technical products include mechatronic systems that incorporate components from multiple disciplines --- mechanical, electronic, controls and software. In model-based design of mechatronic systems different kinds of models are used to model various system aspects, such as the system structure or its dynamic behavior. This often leads to a process that involves multiple formalisms and is concerned with the coupling of and transformation between models described in these formalisms. In this paper, an approach based on the OMG SysML-Modelica specification is introduced to facilitate the formal definition of dependencies between a system architecture view described in SysML and a continuous system dynamics view defined in Modelica. We discuss the problem of maintaining consistency between these two views. Taking into account the characteristics of the modeling languages, the design workflows, and current modeling tool capabilities, we present the advantages and challenges of modeling the dynamic behavior completely in SysML4Modelica followed by a transformation to Modelica. To overcome the disadvantages, a \"mixed-paradigm\" approach is proposed in which different parts of the dynamic system behavior are modeled at different levels of abstraction with different formalisms. Finally, an illustrative example is provided which focuses on practical issues related to the usage of SysML4-Modelica.","PeriodicalId":176268,"journal":{"name":"MPM '12","volume":"1 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":"122316801","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}

引用次数: 22

Heterogeneous modeling of gesture-based 3D applications 基于手势的3D应用的异构建模

MPM '12 Pub Date : 2012-10-01 DOI: 10.1145/2508443.2508447

R. Deshayes, Christophe Jacquet, Cécile Hardebolle, Frédéric Boulanger, T. Mens

引用次数: 9

Model-based specification, analysis and synthesis of servo controllers for lithoscanners 光刻机伺服控制器基于模型的规范、分析与综合

MPM '12 Pub Date : 2012-10-01 DOI: 10.1145/2508443.2508453

R. Schiffelers, W. Alberts, J. Voeten

引用次数: 30

Composing textual modelling languages in practice 在实践中构建文本建模语言

MPM '12 Pub Date : 2012-10-01 DOI: 10.1145/2508443.2508449

B. Meyers, A. Cicchetti, E. Guerra, J. Lara