This paper proposes model-driven techniques to extend IBM's SOMA method towards migrating legacy systems into Service-Oriented Architectures (SOA). The proposal explores how graph-based querying and transformation...
详细信息
This paper proposes model-driven techniques to extend IBM's SOMA method towards migrating legacy systems into Service-Oriented Architectures (SOA). The proposal explores how graph-based querying and transformation techniques enable the integration of legacy assets into a new SOA and how these techniques can be integrated into the overall migration process. The presented approach is applied to the identification and migration of services in an open source Java software system.
To satisfy the requirement of user customized business processes, a special kind of computation independent model named well-structured sequential business process model was researched. The method to check the structu...
详细信息
To satisfy the requirement of user customized business processes, a special kind of computation independent model named well-structured sequential business process model was researched. The method to check the structure of sequential business process models was also proposed. The wellstructured sequential business process model was designed in business process modeling notation 1.1 version. It was converted to flowchart model in Windows Workflow Foundation 4.0 version directly, and the tool for model checking was implemented on Windows platform. Experimental results showed that this method supported model converting, and improved the quality of business process models.
In this paper we describe the aim, rationale and main objectives of the third edition of the Workshop on model-driven Web Engineering (MDWE2006), that was held in conjunction with ICWE 2006, in Palo Alto, California, ...
详细信息
ISBN:
(纸本)9781595934352
In this paper we describe the aim, rationale and main objectives of the third edition of the Workshop on model-driven Web Engineering (MDWE2006), that was held in conjunction with ICWE 2006, in Palo Alto, California, on July 11, 2006. We also describe the topics of interest to the workshop, and the list of presented papers.
In order to solve the problems of description and verification of semantic properties in modeldrivendevelopment, process algebra is introduced on the basis of extending typed category theory. A unified semantic desc...
详细信息
ISBN:
(纸本)9781450387354
In order to solve the problems of description and verification of semantic properties in modeldrivendevelopment, process algebra is introduced on the basis of extending typed category theory. A unified semantic description framework is established for the description and transformation of component-based softwaremodels, as well as the maintenance and verification of semantic properties in the process of model transformation. Category diagram is used to describe the semantics of architecture model, and typed morphism implies the dependency relationship between component objects, and typed functor is used to describe the mapping mechanism before and after model transformation. Application research shows that the framework well follows the essence and process requirements of model-drivendevelopment, and provides a new guidance framework for understanding, cognitive learning and promotion of softwaredevelopment research on the basis of model transformation.
暂无评论