2,124 Hits in 3.8 sec

Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics

Ronan Barrett, Claus Pahl
2006 International Enterprise Distributed Object Computing Conference, Proceedings  
In this paper, we propose using Web service semantic descriptions in addition to Web service interfaces, to assist in the semi-automatic generation of the distribution pattern model.  ...  Previously, we presented a Model Driven Architecture using UML 2.0, which took existing service interfaces as its input and generated an executable Web service composition, guided by a distribution pattern  ...  These interfaces are transformed automatically, using the UML 2.0 model generator, into a UML 2.0 activity diagram.  ... 
doi:10.1109/edoc.2006.49 dblp:conf/edoc/BarrettP06 fatcat:hci33f2k4jan3jofikwlftsr5y

An MDE methodology for the development of high-integrity real-time systems

S. Mazzini, S. Puri, T. Vardanega
2009 2009 Design, Automation & Test in Europe Conference & Exhibition  
OMG general-purpose UML language [10] and/or specific profiles of it.  ...  HRT-UML/RCM applies the MDA approach to provide an architectural framework where: (i) the designer may define platform-independent models; (ii) platform-specific models are automatically produced from  ...  ACKNOWLEDGEMENTS The authors are grateful to Matteo Bordin, Marco Panunzio, Daniela Cancila, Marco Trevisan, Sue Maurizio (University of Padua) and Thanaële Preuss, Maria Rosaria Barone, and John Favaro  ... 
doi:10.1109/date.2009.5090837 dblp:conf/date/MazziniPV09 fatcat:g6bbytghbbbatbt5iaqsexayyq

A Technique to Represent and Generate Components in MDA/PIM for Automation [chapter]

Hyun Gi Min, Soo Dong Kim
2006 Lecture Notes in Computer Science  
The profile consists of UML extensions, notations, and related instructions to specify elements of CBD in MDA constructs.  ...  Model Driven Architecture (MDA) is a new software development paradigm where software is generated by a series of model transformations.  ...  Elements from UML 2.0 and EDOC are used in our profile; the elements for CB-PIM that are not supported by UML 2.0 [14] are extended from MOF. Our UML profile is MOF.  ... 
doi:10.1007/11693017_22 fatcat:d24imjnj4fherniistm3thia4y

Contracts for Multi-instance UML Activities [chapter]

Vidar Slåtten, Peter Herrmann
2011 Lecture Notes in Computer Science  
We present a novel way of encapsulating UML activities using interface contracts, which allows to verify functional properties that depend on the synchronization of parallel instances of software components  ...  Thereafter, we propose a more easily comprehensible graphical notation and clarify that the contracts are able to express the variants of multiplicity that we can encounter using UML activities.  ...  To support the reuse of software components for reactive, distributed software systems, we use collaborative building blocks described by multi-partition UML activities, each augmented with an interface  ... 
doi:10.1007/978-3-642-21461-5_20 fatcat:s3ons6bv75cmdgfzx2oycns47q

Experiences using Tedeso: an extensible and interoperable model-based testing platform

Roberto Silveira Silva Filho, William M. Hasling, Christof J. Budnik, Monica McKenna
2013 Automated Software Engineering : An International Journal  
This paper discusses the design of Tedeso, an extensible and interoperable model-based testing platform developed to facilitate the automatic generation of tests, while supporting the needs of different  ...  We also discuss some issues that come from the adoption of service-oriented architectures, showing how they have been managed in our platform.  ...  models from UML.  ... 
doi:10.1007/s10515-012-0118-3 fatcat:63uf7oq2hzfenale2j4fzzfce4

MDABench: Customized benchmark generation using MDA

Liming Zhu, Ngoc Bao Bui, Yan Liu, Ian Gorton
2007 Journal of Systems and Software  
The benchmark application is modeled in UML and generated by taking advantage of the existing community-maintained code generation "cartridges" so that current component technology can be exploited.  ...  We then extended the MDA framework to generate a load testing suite and automatic performance measurement infrastructure.  ...  With MDA, this requires a generation template. The configuration file can then be automatically generated from the UML model for different application designs.  ... 
doi:10.1016/j.jss.2006.10.052 fatcat:il6fbzojqzfgje52tnoc4qknxa

V3Studio: A Component-Based Architecture Modeling Language

Diego Alonso, Cristina Vicente-Chicote, Olivier Barais
2008 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008)  
V 3 Studio has been designed to model the structure and behavior of a wide variety of reactive systems by means of three complementary views, namely: one for describing the components of the architecture  ...  In order to show the feasibility and the benefits of the proposal, a simple but complete case study regarding the design of a vision guided robotic system will be presented.  ...  of activities inherit from this one.  ... 
doi:10.1109/ecbs.2008.9 dblp:conf/ecbs/AlonsoVB08 fatcat:lpzyjx3przf4tme2wdh7eb22mu

System Level Design with UML: a Unified Approach

S. Rouxel, G. Gogniat, J-P. Diguet, J-L. Philippe, C. Moy
2006 2006 International Symposium on Industrial Embedded Systems  
It is based on the Unified Modeling Language (UML) and combines a Software Defined Radio UML profile for implementing a real MDA approach with EDA tools for multi-level verifications from the type compatibility  ...  The main contributions of our work are the improvement of the original meta-model of the Software Radio UML profile which is currently under standardization and its integration within a unified design  ...  the basic types, warranting an automatically generation of interface specification through the IDL syntax language.  ... 
doi:10.1109/ies.2006.357482 dblp:conf/sies/RouxelGDPM06 fatcat:wyn7xnyjj5bele73zreqs25spy

Design Principles for Integration of Model-Driven Quality Assurance Tools

Othon Crelier, Roberto S. Silva Filho, William M. Hasling, Christof J. Budnik
2011 2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse  
In particular, we establish a set of design principles from the lessons learned in this integration.  ...  of the tool are leveraged.  ...  In particular, TDE/UML uses the category partition method [7] to generate tests based on activity and sequence UML diagrams that are annotated with control and data constraints as shown in Figure 2  ... 
doi:10.1109/sbcars.2011.11 dblp:conf/sbcars/CrelierFHB11 fatcat:ypjvciaff5eizjglwlrt3ejxy4

Model driven distribution pattern design for dynamic web service compositions

Ronan Barrett, Lucian M. Patcas, Claus Pahl, John Murphy
2006 Proceedings of the 6th international conference on Web engineering - ICWE '06  
These enterprise systems are built from many existing discrete applications, often legacy applications exposed using Web service interfaces.  ...  We therefore propose a novel approach which combines a Model Driven Architecture using UML 2.0 for modeling and subsequently generating Web service compositions, with a method for achieving dynamic decentralised  ...  The UML 2.0 model generator uses XSLT to transform the WSDL interfaces of the Web services participating in the composition, to a UML 2.0 activity diagram, which generates, using XML DOM, an XMI 2.0 [  ... 
doi:10.1145/1145581.1145612 dblp:conf/icwe/BarrettPPM06 fatcat:2m3gnw3qtbenlb3tfesfcoqkyu

Modeling and managing the variability of Web service-based systems

Chang-ai Sun, Rowan Rossing, Marco Sinnema, Pavel Bulanov, Marco Aiello
2010 Journal of Systems and Software  
Acknowledgements We thank everybody who has contributed to the implementation of the COVAMOF and VxBPEL frameworks. Without them, this research would not have been possible.  ...  This modeling is similar to modeling partitions in an activity diagram.  ...  This UML profile is conceptually compatible with the COVAMOF framework.  ... 
doi:10.1016/j.jss.2009.10.011 fatcat:ljyd4l54xfg2vfuwypstzpdiui

Model driven benchmark generation for web services

Liming Zhu, Ian Gorton, Yan Liu, Ngoc Bao Bui
2006 Proceedings of the 2006 international workshop on Service-oriented software engineering - SOSE '06  
We have provided a performance-tailored version of the UML 2.0 Testing Profile so architects can model a flexible and reusable load testing architecture, including test data, in a standards compatible  ...  A load testing suite and automatic performance measurement infrastructure are generated using the new cartridge.  ...  The load testing logic and random test data is derived from the load testing UML model and method signatures of the Web service interface.  ... 
doi:10.1145/1138486.1138494 fatcat:vlmwbtzgx5fqtaxablqmfoefpu

Modeling and Analysis of Non-functional Properties in Component-based Systems

Antonia Bertolino, Raffaela Mirandola
2003 Electronical Notes in Theoretical Computer Science  
The proposed approach relies on, and adapts to a CB framework, the concepts and steps of the SPE technology, and uses for modeling the standard RT-UML profile, reshaped according to the CB principles.  ...  This paper discusses methodologies for the specification and analysis of performance related properties of components and assemblies of components, and outlines an original approach, called the CB-SPE,  ...  Selic in [18, 13] provides a general framework (and relative guidelines) for the automatic performance model generation starting from RT-UML diagrams.  ... 
doi:10.1016/s1571-0661(04)81034-x fatcat:lv5lnbslerfxxoukwoapxhhrxq

A Model-Driven Framework for Component-Based Development [chapter]

Surya Bahadur Kathayat, Hien Nam Le, Rolv Bræk
2011 Lecture Notes in Computer Science  
The framework addresses the following important issues: (1) how to reduce the cost of making component reusable, (2) how to efficiently ensure compatibility among components in a composition, (3) how to  ...  The framework supports three kinds of reusable building blocks: (1) collaborations for global cross-cutting behaviors including services and interfaces; (2) roles or partial components for component compositions  ...  In our approach, components along with their interfaces may be automatically synthesized from service models [7, 8, 9] .  ... 
doi:10.1007/978-3-642-25264-8_13 fatcat:qngpyiwplzechi4r2clmmm57yy

Modeling and enforcing secure object flows in process-driven SOAs: an integrated model-driven approach

Bernhard Hoisl, Stefan Sobernig, Mark Strembeck
2012 Journal of Software and Systems Modeling  
To demonstrate our approach, we present a UML extension for secure object flows.  ...  We specify a formal and generic metamodel for secure object flows that can be used to extend arbitrary process modeling languages.  ...  Table 2 gives an overview of how each of the generic (CIM) definitions from Sect. 3 is mapped to our UML extension (PIM) for secure object flows.  ... 
doi:10.1007/s10270-012-0263-y fatcat:vygkoqsy5ng4npbx5mhvb4szqq
« Previous Showing results 1 — 15 out of 2,124 results