Software and Systems Modeling

Software and Systems Modeling (SoSyM) is a quarterly international journal (published in English) that focuses on theoretical and practical issues pertaining to the development and application of software and system modeling languages and techniques. The aim of the journal is to publish high-quality works that further understanding of the theoretical underpinnings of modeling languages and techniques, present rigorous analyses of modeling experiences, and introduce scalable modeling techniques and processes that facilitate rigorous, efficient or economical development of software.The journal is unique in its emphasis on theoretical foundations of modeling languages and techniques, and on rigorous analyses of "real-world" modeling experiences. The balance of theoretical works and works based on in-depth analyses of experiences offers insights to researchers that can inform future investigations into better modeling languages and techniques, and provides modeling practitioners with a deeper understanding of modeling languages and techniques that can lead to more effective application.The journal targets researchers, practitioners and students who have a vested interest in results generated by high-quality modeling research and by rigorously analyzed modeling experiences. 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 standardsModel-based testing techniquesModel-based simulation techniquesFormal syntax and semantics of modeling languages such as the UMLRigorous model-based analysisModel composition, refinement and transformationSoftware Language EngineeringModeling Languages in Science and EngineeringLanguage Adaptation and CompositionMetamodeling techniquesMeasuring quality of models and languagesOntological approaches to model engineeringGenerating test and code artifacts from modelsModel synthesisMethodologyModel development tool environmentsModeling Cyberphysical SystemsData intensive modelingDerivation of explicit models from dataCase studies and experience reports with significant modeling lessons learnedComparative analyses of modeling languages and techniquesScientific assessment of modeling practicesMore information can be found at www.sosym.org, which contains recent editorials, as well as information about the submission process for different paper categories (such as regular survey/overview, and special themes).

Software and Systems Modeling期刊中文简介

软件与系统建模（Sosym）是一本国际季刊（英文版），主要关注与软件和系统建模语言和技术的开发和应用有关的理论和实践问题。该杂志的目的是出版高质量的作品，进一步了解建模语言和技术的理论基础，对建模经验进行严格分析，并引入可扩展的建模技术和过程，以促进软件的严格、高效或经济开发。该杂志特别强调建模语言和技术的理论基础，以及对“现实世界”建模经验的严格分析。理论工作和基于经验深入分析的工作之间的平衡为研究人员提供了见解，可以为未来更好的建模语言和技术的研究提供信息，并为建模从业者提供了对建模语言和技术的更深入理解，从而使其能够更有效地应用。该杂志的目标是研究人员、实践者和学生，他们对高质量的建模研究和严格分析的建模经验产生的结果具有既得利益。我们邀请作者提交论文，讨论和分析有关软件和系统建模语言、技术、工具、实践和其他方面的研究挑战和经验。以下是一些特别感兴趣的主题领域，但该杂志发表了广泛的软件和系统建模问题：领域特定的模型和建模标准基于模型的测试技术基于模型的仿真技术建模语言（如UML）的形式语法和语义严格的基于模型的分析模型组成、细化和转换软件语言工程科学与工程建模语言语言适应与写作元建模技术测量模型和语言的质量模型工程的本体论方法从模型生成测试和代码工件模型综合方法论模型开发工具环境网络物理系统建模数据密集型建模从数据推导显式模型案例研究和经验报告，具有重要的建模经验教训建模语言与技术的比较分析建模实践的科学评估有关更多信息，请访问www.sosym.org，其中包含最近的社论，以及有关不同论文类别（如定期调查/概述和特殊主题）提交过程的信息。