We invite authors to submit papers that discuss and analyze research challenges and experiences pertaining to software and system modeling languages, techniques, tools, practices and other facets. The following are some of the topic areas that are of special interest, but the journal publishes on a wide range of software and systems modeling concerns:Domain-specific models and modeling standards;Model-based testing techniques;Model-based simulation techniques;Formal syntax and semantics of modeling languages such as the UML;Rigorous model-based analysis;Model composition, refinement and transformation;Software Language Engineering;Modeling Languages in Science and Engineering;Language Adaptation and Composition;Metamodeling techniques;Measuring quality of models and languages;Ontological approaches to model engineering;Generating test and code artifacts from models;Model synthesis;Methodology;Model development tool environments;Modeling Cyberphysical Systems;Data intensive modeling;Derivation of explicit models from data;Case studies and experience reports with significant modeling lessons learned;Comparative analyses of modeling languages and techniques;Scientific assessment of modeling practices
我们邀请作者提交论文,讨论和分析与软件和系统建模语言、技术、工具、实践和其他方面有关的研究挑战和经验。以下是一些特别感兴趣的主题领域,但该杂志发表了广泛的软件和系统建模关注:领域特定的模型和建模标准;基于模型的试验技术模型基模拟技术UML等建模语言的形式化语法和语义;严格的基于模型的分析模型的组成、细化和转换;软件语言工程科学与工程中的建模语言语言顺应与写作元建模技术;模型和语言质量的测量模型工程的本体论方法从模型生成测试和代码工件;模型综合方法学;模型开发工具环境模拟信息物理系统数据密集建模;根据数据导出显式模型案例研究和经验报告,其中包含重要的建模经验教训;建模语言和技术的比较分析科学评估建模实践
Modeling languages in Industry 4.0: an extended systematic mapping study
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00757-6
Thirteen years of SysML: a systematic mapping study
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00735-y
Benchmarking bidirectional transformations: theory, implementation, application, and assessment
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00752-x
Contents for a Model-Based Software Engineering Body of Knowledge
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00746-9
Comparing and classifying model transformation reuse approaches across metamodels
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00762-9
Using empirical studies to mitigate symbol overload in iStar extensions
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00770-9
ChronoSphere: a graph-based EMF model repository for IT landscape models
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00725-0
A framework for FMI-based co-simulation of human–machine interfaces
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00754-9
CoqTL: a Coq DSL for rule-based model transformation
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00765-6
Maintaining consistency in networks of models: bidirectional transformations in the large
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00736-x
From analytical purposes to data visualizations: a decision process guided by a conceptual framework and eye tracking
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00742-z
Modelling the interplay of security, privacy and trust in sociotechnical systems: a computer-aided design approach
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00744-x
Design methods for the new database era: a systematic literature review
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00739-8
Toward a methodology for case modeling
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00766-5
Applying static code analysis for domain-specific languages
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00729-w
Enhancing secure business process design with security process patterns
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00743-y
Extending organizational capabilities with Open Data to support sustainable and dynamic business ecosystems
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00756-7
A security requirements modelling language for cloud computing environments
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00747-8
Design and automation of a COSMIC measurement procedure based on UML models
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00731-2
Early-stage analysis of cyber-physical production systems through collaborative modelling
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00753-w
Heterogeneous megamodel management using collection operators
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00738-9
Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00721-4
Understanding MDE projects: megamodels to the rescue for architecture recovery
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00748-7
ExpRunA : a domain-specific approach for technology-oriented experiments
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00749-6
Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00732-1
Mining reading patterns from eye-tracking data: method and demonstration
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00759-4
Lossless compaction of model execution traces
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00737-w
Models as the subject of research
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00751-y
On model-based analysis of organizational structures: an assessment of current modeling approaches and application of multi-level modeling in support of design and analysis of organizational structures
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00767-4
Ark: a constraint-based method for architectural synthesis of smart systems
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00764-7
Systematic review of matching techniques used in model-driven methodologies
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00760-x
The Software Language Extension Problem
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00772-7
Personal programming and the object computer
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00768-3
Towards high-level fuzzy control specifications for building automation systems
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00755-8
Guest editorial for EMMSAD’2018 special section
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00769-2
Special section of BPMDS’2017: enabling business transformation by business process modeling, development and support
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00771-8
Editorial to the theme section on model-based engineering of smart systems
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00758-5
Specification-driven predictive business process monitoring
来源期刊:Software and Systems ModelingDOI:10.1007/s10270-019-00761-w