A Model-Driven Engineering Framework for Component Models Interoperability
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
A classification and comparison of model checking software architecture techniques
Journal of Systems and Software
Developing next generation ADLs through MDE techniques
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Providing support for creating next generation software architecture languages
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
A model-driven approach for managing software architectures with multiple evolving concerns
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
ByADL: an MDE framework for building extensible architecture description languages
ECSA'10 Proceedings of the 4th European conference on Software architecture
A framework for the integration of MOF-compliant analysis methods
Proceedings of the Second Asia-Pacific Symposium on Internetware
Software and Systems Modeling (SoSyM)
Isomorphism in model tools and editors
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Model-Driven techniques to enhance architectural languages interoperability
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Going global with agile service networks
Proceedings of the 34th International Conference on Software Engineering
A case study on co-evolution of software artifacts using integrated views
Proceedings of the WICSA/ECSA 2012 Companion Volume
Model transformations in non-functional analysis
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Software performance antipatterns: modeling and analysis
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Flexible views for view-based model-driven development
Proceedings of the 18th international doctoral symposium on Components and architecture
View-centric engineering with synchronized heterogeneous models
Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling
Producing software by integration: challenges and research directions (keynote)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Hi-index | 0.00 |
Many architectural languages have been proposed in the last 15 years, each one with the chief aim of becoming the ideal language for specifying software architectures. What is evident nowadays, instead, is that architectural languages are defined by stakeholder concerns. Capturing all such concerns within a single, narrowly focused notation is impossible. At the same time, it is also impractical to define and use a “universal” notation, such as UML. As a result, many domain-specific notations for architectural modeling have been proposed, each one focusing on a specific application domain, analysis type, or modeling environment. As a drawback, a proliferation of languages exists, each one with its own specific notation, tools, and domain specificity. No effective interoperability is possible to date. Therefore, if a software architect has to model a concern not supported by his own language/tool, he has to manually transform (and, eventually, keep aligned) the available architectural specification into the required language/tool. This paper presents DUALLy, an automated framework that allows architectural languages and tools interoperability. Given a number of architectural languages and tools, they can all interoperate thanks to automated model transformation techniques. DUALLy is implemented as an Eclipse plugin. Putting it in practice, we apply the DUALLy approach to the Darwin/FSP ADL and to a UML2.0 profile for software architectures. By making use of an industrial complex system, we transform a UML software architecture specification in Darwin/FSP, make some verifications by using LTSA, and reflect changes required by the verifications back to the UML specification.