Software and System Modeling (SoSyM) is a quarterly international journal that focuses on theoretical and practical issues pertaining to the development and application of software and system modeling languages, techniques, and methods, such as the Unified Modeling Language (UML). 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 present scalable modeling techniques and processes that facilitate rigorous and 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 will provide researchers with insights that can lead to better modeling languages and techniques, and will provide 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 that have a vested interest in results generated by high-quality modeling research and by rigorously analyzing modeling experiences.
We invite authors to submit papers that discuss and analyze concerns 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:
Methodological issues Development of modeling standards
Formal syntax and semantics of modeling languages such as the UML
Rigorous model-based analysis
Model composition and transformation
Measuring quality of models
Modeling support for aspect-oriented development
Ontological approaches to model engineering
Generating test and code artifacts from models
Model development tool environments
Case studies and experience reports with significant lessons learned
Comparative analyses of modeling languages and techniques
Scientific assessment of modeling practices
Each scientific paper will be thoroughly reviewed by at least four reviewers.
R. B. France, Colorado, USA
B. Rumpe, Braunschweig, Germany