征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

Models have long been used in the development of complex systems. Their use is becoming more prevalent in the software development domain as modeling techniques and tools mature. Despite this, there are many challenging issues that the modeling research community must address if software modeling practices are to become mainstream. Furthermore software and systems become more intertwined and the modeling techniques used for systems engineering need to be harmonized with software models. The primary goal of this workshop is to foster exchange of innovative ideas on the use of models in software engineering. Another goal of this workshop is to further promote cross-fertilization between the model-driven engineering (MDE) communities (e.g., MODELS) and software-engineering communities. Previous versions of the workshop showed that while there is great interest in collaborations and discussions across these communities, there are differences in terminologies and concepts that need to be harmonized for effective communication to take place. To ensure that discussions at the 2015 workshop progress beyond the basic alignment of concepts, potential workshop participants will be encouraged to familiarize themselves with the papers presented at the previous and current MiSE workshop in the calls for papers and for participation. The workshop provides a forum for discussing and critically analyzing modeling techniques with respect to their purposes in software engineering processes. Participants engage in the exchange of innovative technical ideas and experiences related to modeling, including modeling notations, abstraction techniques, modeling strategies, and use of models in development activities, including system configuration, system simulation, testing, and product line variability management. The purpose of a model and the domain it describes determine the types of abstractions that are useful and the degree of formality and precision needed. We identify the following major purposes of software modeling: Exploration: Models are used to explore and learn about the problem to be solved, where the “problem” can be, for example, requirements identification, system specification, system or component design, complex protocol or algorithm design. Of particular interest is the use of models to enable “what-if?” analysis and prognostics (e.g., prediction), such as via models of ‘big data’. Communication: Communication models are used to document software decisions (e.g., requirements, designs, and deployment decisions), or to enable discussion, conversation and negotiation between different stakeholder groups with different perspectives, vocabularies and needs.. Support for downstream activities: We use software models to answer questions or check properties (e.g., correctness, fitness of use) of the modeled artifact, to generate other artifacts, or to configure existing systems. Configurability and adaptation: We use models at runtime to configure the system and adapt it to changed needs of the users. A model of the environment also allows a system to capture its knowledge about the context it controls or communicates with.

征稿信息

重要日期

2015-01-30
摘要截稿日期

征稿范围

Workshop activities will focus on analyzing successful applications of software-modeling techniques to gain insights into challenging modeling problems, including: (1) identifying, describing, and using appropriate abstractions, (2) supporting incremental, iterative development through the use of appropriate model composition, transformation and other model manipulation operators, and (3) automated analysis of possibly large, possibly incomplete models to determine the presence or absence of desired and undesired properties. Topics of interest include: Modeling notations and tools Metamodeling Abstractions and modeling methodologies Model-based analysis and synthesis Model transformation and composition Model evaluation Model management Extracting models from software artifacts (e.g., program system or program understanding) Use of models for downstream activities (e.g., generating test cases) Modeling the system environment Models at runtime (e.g., for software adaptation) Models for “what-if?” analysis and prognostics Empirical studies Domain-specific modeling Variability management using models Model reuse Further uses of modeling
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    05月16日

    2015

    05月17日

    2015

  • 01月30日 2015

    摘要截稿日期

  • 05月17日 2015

    注册截止日期

主办单位
IEEE Computer Society
Association for Computing Machinery
联系方式
历届会议
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询