Presents the introductory welcome message from the conference proceedings. May include the conference officers' congratulations to all involved withthe conference event and publication of the proceedings record.
Presents the introductory welcome message from the conference proceedings. May include the conference officers' congratulations to all involved withthe conference event and publication of the proceedings record.
the proceedings contain 8 papers. the topics discussed include: mapping OCL into SQL: challenges and opportunities ahead;OCL visualization - a reality check;experimenting with functional features of the object constra...
the proceedings contain 8 papers. the topics discussed include: mapping OCL into SQL: challenges and opportunities ahead;OCL visualization - a reality check;experimenting with functional features of the object constraint language;a feasibility study on using classifying terms in alloy;native support for UML and OCL primitive data types enriched with uncertainty in use;reusable textual styles for domain-specific modeling languages;automatic generation of valid behavioral scripts from UML sequence diagrams;and emerging topics in textual modeling.
Software modeling and digital twins are transforming the way software engineers design, operate, and maintain complex systems. In this column, we highlight cutting-edge research presented at the ACM/IEEE 27th Internat...
详细信息
Software modeling and digital twins are transforming the way software engineers design, operate, and maintain complex systems. In this column, we highlight cutting-edge research presented at the ACM/IEEE 27thinternationalconference on model-drivenengineeringlanguages and systems (modelS 2024) and the 1st internationalconference on engineering Digital Twins (EDTconf 2024). the selected papers tackle critical challenges in improving system understanding, enhancing stakeholder communication, streamlining design and development processes, optimizing lifecycles, and enabling seamless integration of complex systems.
this edition of the "Practitioners' Digest" covers recent papers on novel approaches and tools to assist developers in modeling and architecting software systems from two conferences: the 26th ACM/IEEE I...
详细信息
this edition of the "Practitioners' Digest" covers recent papers on novel approaches and tools to assist developers in modeling and architecting software systems from two conferences: the 26th ACM/IEEE internationalconference on modeldrivenengineeringlanguages and systems (modelS) and the 20th IEEE internationalconference on Software Architecture (ICSA). Feedback or suggestions are welcome. Also, if you try or adopt any of the practices included in the column, please send us and the authors of the paper(s) a note about your experiences.
Appropriateness of models through modelling languages, tools, and methods is at the core of systemsmodelling. A concrete example is that useful abstraction depends on the contextual case of modelling purpose and need...
详细信息
ISBN:
(纸本)9798400706226
Appropriateness of models through modelling languages, tools, and methods is at the core of systemsmodelling. A concrete example is that useful abstraction depends on the contextual case of modelling purpose and need. Naturally, this results in different modelling formalisms and languages being appropriate at different stages of a common development process and for different stakeholders. In model-Based systemsengineering (MBSE) many stakeholders are involved in procedural modelling activities. Consequently, there is a need to identify appropriate modelling approaches at each modelling activity and development stage. Current MBSE adoption and application is still in early stages, and consequently lacking in overall modelling contextualisation. In this paper we discuss what facilitates an appropriate systemsengineeringmodel and how practitioners can reason about models in industrial contexts by providing an initial conceptual model of how model artefacts support governing systemsengineering concerns.
Since 2021 we have been using UML and OCL to represent the semantics of software systems undergoing re-engineering, to facilitate translation of legacy systems to functionally-equivalent versions in a new platform or ...
详细信息
ISBN:
(纸本)9798400706226
Since 2021 we have been using UML and OCL to represent the semantics of software systems undergoing re-engineering, to facilitate translation of legacy systems to functionally-equivalent versions in a new platform or software language. In this paper we assess the lessons learnt from this approach, particularly as regards the appropriateness of OCL to represent software semantics. We identify areas where natural extensions of OCL would be useful to represent program semantics, and indicate how these extensions can be incorporated into the OCL standard.
暂无评论