Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.authorMeedeniya, Dulani Apeksha
dc.contributor.authorPerera, Galhenage Indika Udaya Shantha
dc.contributor.authorBowles, Juliana Kuster Filipe
dc.date.accessioned2016-03-16T12:00:04Z
dc.date.available2016-03-16T12:00:04Z
dc.date.issued2015-12-18
dc.identifier.citationMeedeniya , D A , Perera , G I U S & Bowles , J K F 2015 , Transformation and composition of software design models for Model Driven Development . in Proceedings 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS) . IEEE , pp. 31-36 , 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS) , Peradeniya , Sri Lanka , 17/12/15 . https://doi.org/10.1109/ICIINFS.2015.7398981en
dc.identifier.citationconferenceen
dc.identifier.isbn9781509017416
dc.identifier.otherPURE: 241350556
dc.identifier.otherPURE UUID: 30d2ba7c-f58d-44d8-8b81-14e766c4daa8
dc.identifier.otherScopus: 84964664312
dc.identifier.otherORCID: /0000-0002-5918-9114/work/58055310
dc.identifier.otherWOS: 000412187900006
dc.identifier.urihttp://hdl.handle.net/10023/8422
dc.description.abstractSoftware models play a significant role with the growth of software system development based on Model Driven Development (MDD) approach. Model transformations and compositions are the heart of MDD and allow the development of complex systems and their automated derivation. Moreover, software development of large and complex systems uses a collection of models, where model composition and decomposition are required. Various research studies have been done on specifying and executing MDD processes; however only a few of those have considered the validity of such transformations, thus safe composition and decomposition of models. This paper presents a general approach for model composition for the transformation from UML sequence diagrams to Coloured Petri Nets and validates the correctness of model composition using a mathematical proof. These transformations are based on formal rules, which have already been proven to be strongly consistent.
dc.language.isoeng
dc.publisherIEEE
dc.relation.ispartofProceedings 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS)en
dc.rights© 2015, Publisher / the Author(s). This work is made available online in accordance with the publisher’s policies. This is the author created, accepted version manuscript following peer review and may differ slightly from the final published version. The final published version of this work is available at ieeexplore.ieee.org / https://dx.doi.org/10.1109/ICIINFS.2015.7398981en
dc.subjectUML sequence diagramen
dc.subjectColour Petri neten
dc.subjectModel transformationen
dc.subjectModel compositionen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subjectT-NDASen
dc.subject.lccQA75en
dc.titleTransformation and composition of software design models for Model Driven Developmenten
dc.typeConference itemen
dc.description.versionPostprinten
dc.contributor.institutionUniversity of St Andrews.School of Computer Scienceen
dc.identifier.doihttps://doi.org/10.1109/ICIINFS.2015.7398981


This item appears in the following Collection(s)

Show simple item record