#OnlineFirst SymboleoPC: checking properties of legal contracts Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo & John Mylopoulos doi.org/10.1007/s10270…

#OnlineFirst Requirements for modelling tools for teaching Jörg Kienzle, Steffen Zschaler, William Barnett, Timur Saglam, Antonio Bucchiarone, Silvia Abrahão, Eugene Syriani, Dimitris Kolovos, Timothy Lethbridge, Sadaf Mustafiz & Sofia Meacham doi.org/10.1007/s10270…

#OnlineFirst Systematizing modeler experience (MX) in model-driven engineering success stories Reyhaneh Kalantari, Julian Oertel, Joeri Exelmans, Satrio Adi Rukmono, Vasco Amaral, Matthias Tichy, Katharina Juhnke, Jan-Philipp Steghöfer & Silvia Abrahão doi.org/10.1007/s10270…

#SoSyM-Issue 2024/03 has been published: link.springer.com/journal/10270/…

#OnlineFirst A modeling-based approach for dependability analysis of a constellation of satellites Daniel Farias, Bruno Nogueira, Ivaldir Farias Júnior & Ermeson Andrade doi.org/10.1007/s10270…

It's time for something new💡! We are happy to announce a new submission category at #SoSyM: Tool Papers 🛠️ Articles can address any aspect of innovative software tools and systems. Find more details here: sosym.org/tool_paper/ We're looking forward to your #tool articles!

#OnlineFirst iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling Charlotte Verbruggen, Alexandre Goossens, Johannes De Smedt, Jan Vanthienen & Monique Snoeck doi.org/10.1007/s10270…

#OnlineFirst Using boundary objects and methodological island (BOMI) modeling in large-scale agile systems development Jörg Holtmann, Jennifer Horkoff, Rebekka Wohlrab, Victoria Vu, Rashidah Kasauli, Salome Maro, Jan-Philipp Steghöfer & Eric Knauss doi.org/10.1007/s10270…

#OnlineFirst Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr & Alexander Fay doi.org/10.1007/s10270…

#OnlineFirst Efficient construction of family-based behavioral models from adaptively learned models Shaghayegh Tavassoli & Ramtin Khosravi doi.org/10.1007/s10270…

We are delighted to present you the next part of the #MODELSconf24 program: The accepted SoSyM Journal Journal First papers are online 🎉 Congratulations to all authors and we are looking forward to your presentations! Details and links to the pdfs: conf.researchr.org/track/models-2…

#OnlineFirst Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system Maxime Méré, Frédéric Jouault, Loïc Pallardy & Richard Perdriau doi.org/10.1007/s10270…

#OnlineFirst TEC-MAP: a taxonomy of evaluation criteria and its application to the multi-modelling of data and processes Charlotte Verbruggen & Monique Snoeck doi.org/10.1007/s10270…

#OnlineFirst RBPMN: the value of roles for business process modeling Tarek Skouti, Ronny Seiger, Frank J. Furrer & Susanne Strahringer doi.org/10.1007/s10270…

The SoSyM 10 year most influential regular paper award for 2024 goes to: An approach for modeling and detecting software performance antipatterns based on first-order logics Vittorio Cortellessa, Antinisca Di Marco & Catia Trubiani doi.org/10.1007/s10270…

The SoSyM 10 year most influential theme section paper award for 2024 goes to: Multi-perspective enterprise modeling: foundational concepts, prospects and future research challenges Ulrich Frank doi.org/10.1007/s10270…

#SoSyM-Issue 2024/04 has been published: link.springer.com/journal/10270/…

#OnlineFirst Universal conceptual modeling: principles, benefits, and an agenda for conceptual modeling research Roman Lukyanenko, Binny M. Samuel, Jeffrey Parsons, Veda C. Storey, Oscar Pastor & Araz Jabbari doi.org/10.1007/s10270…

#OnlineFirst MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements Tong Li, Yiting Wang, Xiang Wei, Xueying Zhang & Yu Liu doi.org/10.1007/s10270…

#OnlineFirst Towards standarized benchmarks of LLMs in software modeling tasks: a conceptual framework Javier Cámara, Lola Burgueño & Javier Troya doi.org/10.1007/s10270…