中文簡(jiǎn)介

軟件與系統(tǒng)建模（Sosym）是一本國(guó)際季刊（英文版），主要關(guān)注與軟件和系統(tǒng)建模語(yǔ)言和技術(shù)的開(kāi)發(fā)和應(yīng)用有關(guān)的理論和實(shí)踐問(wèn)題。該雜志的目的是出版高質(zhì)量的作品，進(jìn)一步了解建模語(yǔ)言和技術(shù)的理論基礎(chǔ)，對(duì)建模經(jīng)驗(yàn)進(jìn)行嚴(yán)格分析，并引入可擴(kuò)展的建模技術(shù)和過(guò)程，以促進(jìn)軟件的嚴(yán)格、高效或經(jīng)濟(jì)開(kāi)發(fā)。該雜志特別強(qiáng)調(diào)建模語(yǔ)言和技術(shù)的理論基礎(chǔ)，以及對(duì)“現(xiàn)實(shí)世界”建模經(jīng)驗(yàn)的嚴(yán)格分析。理論工作和基于經(jīng)驗(yàn)深入分析的工作之間的平衡為研究人員提供了見(jiàn)解，可以為未來(lái)更好的建模語(yǔ)言和技術(shù)的研究提供信息，并為建模從業(yè)者提供了對(duì)建模語(yǔ)言和技術(shù)的更深入理解，從而使其能夠更有效地應(yīng)用。該雜志的目標(biāo)是研究人員、實(shí)踐者和學(xué)生，他們對(duì)高質(zhì)量的建模研究和嚴(yán)格分析的建模經(jīng)驗(yàn)產(chǎn)生的結(jié)果具有既得利益。我們邀請(qǐng)作者提交論文，討論和分析有關(guān)軟件和系統(tǒng)建模語(yǔ)言、技術(shù)、工具、實(shí)踐和其他方面的研究挑戰(zhàn)和經(jīng)驗(yàn)。以下是一些特別感興趣的主題領(lǐng)域，但該雜志發(fā)表了廣泛的軟件和系統(tǒng)建模問(wèn)題：領(lǐng)域特定的模型和建模標(biāo)準(zhǔn)基于模型的測(cè)試技術(shù)基于模型的仿真技術(shù)建模語(yǔ)言（如UML）的形式語(yǔ)法和語(yǔ)義嚴(yán)格的基于模型的分析模型組成、細(xì)化和轉(zhuǎn)換軟件語(yǔ)言工程科學(xué)與工程建模語(yǔ)言語(yǔ)言適應(yīng)與寫(xiě)作元建模技術(shù)測(cè)量模型和語(yǔ)言的質(zhì)量模型工程的本體論方法從模型生成測(cè)試和代碼工件模型綜合方法論模型開(kāi)發(fā)工具環(huán)境網(wǎng)絡(luò)物理系統(tǒng)建模數(shù)據(jù)密集型建模從數(shù)據(jù)推導(dǎo)顯式模型案例研究和經(jīng)驗(yàn)報(bào)告，具有重要的建模經(jīng)驗(yàn)教訓(xùn)建模語(yǔ)言與技術(shù)的比較分析建模實(shí)踐的科學(xué)評(píng)估有關(guān)更多信息，請(qǐng)?jiān)L問(wèn)www.sosym.org，其中包含最近的社論，以及有關(guān)不同論文類(lèi)別（如定期調(diào)查/概述和特殊主題）提交過(guò)程的信息。

投稿網(wǎng)址：https://mc.manuscriptcentral.com/sosym

英文簡(jiǎn)介

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).