A Formal Semantics of UML Sequence Diagram
ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
Towards Formalizing UML Activity Diagrams in CSP
ISCSCT '08 Proceedings of the 2008 International Symposium on Computer Science and Computational Technology - Volume 02
Visualizing Use Case Sets as BPMN Processes
REV '08 Proceedings of the 2008 Requirements Engineering Visualization
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Using Traceability to Support SOA Impact Analysis
SERVICES '11 Proceedings of the 2011 IEEE World Congress on Services
UML-compiler: a framework for syntactic and semantic verification of UML diagrams
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
Traceability between service component and class: a model based approach
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Service Oriented Architecture caters to the "Separation of Concerns" and incorporates reusability, granularity, modularity, componentization and interoperability. There are many software products that have been developed in the object-oriented paradigm. To incorporate the positive aspects of the service-oriented paradigm, they need to be evolved to the service-oriented domain. In this paper, we define an integrated approach towards consistent evolution of Object Oriented (OO) paradigm to the Service Oriented (SOA) domain. There are some proven Object Oriented Design Tools that can be used for Service Oriented Application design incorporating both the behavioral and structural aspects. The work in this paper involves a set of activities like formalizing the different UML diagrams, formal mapping of object components to service level components and establishing consistency among them. We also establish a traceability model for consistent evolution of Service Oriented Applications from existing Object Oriented Applications by mapping behavioral and structural artifacts of both domains. This will establish traceability from implementation phases back to the requirements phases of an SOA application.