DeepAI AI Chat
Log In Sign Up

Model Based Software Design: Tool Support for Scripting in Immersive Environments

by   Dulani Meedeniya, et al.

We present a prototype tool developed for the transformation of scenario-based specifications. The tool intended to support model based software development, in particular modelling Platform Independent Models (PIMs) for a given scenario and the transformation of the developed model into formalisms. The tool, which we named SD2CPN since it allows to transform the models from Umfied Modelling Language UML 2 Sequence Diagrams (SDs) into Coloured Petri nets (CPNs), helps software engineers to model the complex design scenarios comfortably and enables model checking with analysis of their designed PIMs. The context domain selected for the tool usage is programming in 3 dimensional immersive environments. The SD2CPN tool is evaluated by capturing immersive environment scenarios as SDs and transforming these into CPNs that enable flexible analysis of the state-event based program modelling in the immersive environments. Although the tool is considered for system development in immersive environments the generic nature of PIM support provided make it a general purpose tool for software development irrespective of the application domain and system scenario.


page 4

page 5

page 6


SD2CPN: A Model Transformation Tool for Software Design Models

The growth of software system development using Model Driven Development...

Orchestrating Tool Chains for Model-based Systems Engineering with RCE

When using multiple software tools to analyze, visualize, or optimize mo...

Supporting Modularity in Simulink Models

Model-Based Development (MBD) is widely used for embedded controls devel...

Tool Support for Transforming Unified Modelling Language Sequence Diagram to Coloured Petri-nets

Modern software systems are expected to be dependable and the developmen...

Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs

We formally define and implement a translation from domain models in the...

VeriFly: On-the-fly Assertion Checking via Incrementality

Assertion checking is an invaluable programmer's tool for finding many c...

Extending the OSLC standard for ECA-based automation in DevOps environments

The DevOps paradigm is taking over software development systems, helping...