Checking Model Consistency in Service-Oriented Systems

Service-oriented architecture (SOA) and serverless computing have emerged as foundational technologies for modern IT systems, such as e-commerce platforms, banking and insurance solutions, healthcare applications, and gaming systems. As these systems grow in complexity and scale, there is an increasing demand for advanced modelling approaches that enable software engineers to verify and simulate system components during the development and maintenance phases. The goal of our research is to apply Model-Driven Engineering (MDE) techniques to build multi-faceted models of service-oriented systems, in order to ensure that transactions occur as expected, and ultimately evaluate whether a proposed design meets the goals and requirements of stakeholders. In this paper, we present work towards a prototype framework that leverages sequence diagrams, activity diagrams and goal models to represent the behaviour of the actual system as well as the intents of its stakeholders. The proposed framework aims to ensure the correctness and consistency among these multifaceted models, and any design changes are reflected in these models early in the software lifecycle, potentially uncovering noncompliant or unintended events and interactions.