-------- Forwarded Message -------- Subject: [AISWorld] CfP: Modeling Language Engineering and Execution (MLE'20) at MODELS'20 Date: Wed, 1 Jul 2020 17:17:36 +0200 From: Andreas Wortmann wortmann@se-rwth.de To: aisworld@lists.aisnet.org
------------------------------------------------------------ CALL FOR PAPERS ------------------------------------------------------------
2nd International Workshop on Modeling Language Engineering and Execution (MLE'20) at MODELS'20
https://mleworkshop.github.io/
------------------------------------------------------------
Software-intensive systems are complicated, driven by the need to integrate across multiple concerns. Consequently, the development of such systems requires the integration of different concerns and skills. These concerns can be covered by different domain-specific modeling languages, with specific concepts, technologies, and abstraction levels. This multiplication of languages eases the development related to each individual specific concern but raises language and technology integration problems at the different stages of the software life cycle. To reason about the global system as a whole, it is necessary to explicitly describe the different kinds of relationships that exist between the different languages used in its development. To support effective language integration, there is a pressing need to reify and classify these relationships, as well as the language interactions that the relationships enable. Equally, the proliferation of domain-specific modeling languages required increases the need for effective and efficient techniques for engineering languages and their support infrastructures (transformations, analysis tools, editors, execution infrastructure, debuggers, ...).
The Modeling Language Engineering and Execution (MLE) workshop aims at bringing together researchers and practitioners working on modeling-language and software-language engineering. It is a meeting opportunity for Software Language Engineering (SLE) enthusiasts within the software-modeling community.
The topics of interest for MLE 2020 include:
- Methodologies, languages, techniques, and methods for designing and implementing (executable) modeling languages - Composition, extension, and reuse of (executable) modeling languages and model execution tools - Heterogeneous modeling, simulation, and execution - Customization of (executable) modeling languages - Integration of (executable) modeling and programming languages - Semantics-aware model transformations and code generation - Scalability of model execution and execution-based model analysis - Execution of partial and underspecified models - Model execution with non-determinism and concurrency - Tracing model executions and analyzing model execution traces - Model execution tools for the (dynamic) validation, verification, and testing of systems (e.g., model animation, debugging, simulation, trace exploration, model checking, symbolic execution) - Automating the development of modeling and model execution tools Maintenance-related topics - Evolution in the context of executable modeling (e.g., evolution of executable modeling languages, execution semantics, executable models, model execution tools) - Verification of semantic conformance (e.g., among executable modeling languages, executable models, model execution tools) - Integration challenges for (executable) languages, from requirements to design, for analysis and simulation, during runtime, etc. - Case studies and experience reports on the successful or failed adoption of (executable) modeling in different domains - Surveys and benchmarks on the development of (executable) modeling languages, model execution, and model analyses
Submissions describing practical and industrial experience related to the use of executable and/or heterogeneous modeling languages are also encouraged, particularly regarding Cyber-Physical Systems, Industry 4.0, Internet of Things, Complex Adaptive Systems, Smart Cities and Buildings.
------------------------------------------------------------ Workshop Format ------------------------------------------------------------
The format of the workshop reflects the goals of the workshop: constructive feedback on submitted papers and other artifacts on the engineering or use of modeling languages, collaborations, and community building. Hence, there is less focus on presentations and more focus on producing and documenting a research content that identifies challenges, different forms of language engineering and integration, and relates existing solutions.
The workshop consists of a morning session in which a keynote and short presentations of the accepted papers will be given. A significant amount of time will be reserved for discussing each paper and their relations to each other. The afternoon is for working sessions dedicated to open discussions of the presented contributions and topics suggested by the participants.
------------------------------------------------------------ Submission ------------------------------------------------------------
We expect early research results about the aforementioned topics, descriptions of problems, case studies, experience reports, or solutions related to the topics of interest.
Each contribution must be described in 5 pages in ACM format.
Papers that describe use cases or novel approaches can be accompanied by concrete artifacts, such as models (requirements, design, analysis, transformation, composition, etc.), stored in a public repository. Artifacts should illustrate any experience on the conjoint use of different modeling languages.
All submissions have to follow the ACM format and must be submitted electronically in PDF format via Easychair (https://easychair.org/my/conference?conf=mle2020). They will be evaluated by at least three members of the program committee regarding novelty, correctness, significance, readability, and alignment with the workshop call. Furthermore, all submissions must be original work and must not have been previously published or being under review elsewhere. The accepted papers will be published as ACM online proceedings and indexed in DBLP and Scopus.
------------------------------------------------------------ Important Dates ------------------------------------------------------------
- Paper submission deadline: July 22, 2020 - Notification of acceptance: August 21, 2020 - Camera-ready deadline: August 28, 2020 - Workshop: October 18, 19 or 20, 2020
------------------------------------------------------------ Program Committee ------------------------------------------------------------
- Erwan Bousse (Université de Nantes) - Marsha Chechik (University of Toronto) - Federico Ciccozzi (Mälardalen University) - Tony Clark (Sheffield Hallam University) - Benoit Combemale (University of Toulouse) - Jonathan Corley (University of West Georgia) - Julien Deantoni (UNS- I3S- INRIA Sophia Antipolis Mediterranee) - Marjan Mernik (University of Maribor) - Gunter Mussbacher (McGill University) - Florian Noyrit (CEA LIST) - Richard Paige (University of York) - Bernhard Rumpe (RWTH Aachen University) - Matthias Schöttle (McGill University) - Safouan Taha (CentraleSupélec, LRI) - Federico Tomassetti (Strumenta) - Mark van den Brand (Eindhoven University of Technology)
------------------------------------------------------------ Organizers ------------------------------------------------------------
- Andreas Wortmann (RWTH Aachen University) - Steffen Zschaler (King’s College London) - Taylor L. Riché (National Instruments)