A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics
2006
International Enterprise Distributed Object Computing Conference, Proceedings
Preserved Fulltext
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
2009
2009 Design, Automation & Test in Europe Conference & Exhibition
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2013
Automated Software Engineering : An International Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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
2006
2006 International Symposium on Industrial Embedded Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 6th international conference on Web engineering - ICWE '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 2006 international workshop on Service-oriented software engineering - SOSE '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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