Cuong M. Tran

Learn More
—Compositionality has the potential to enable a step-change in the scalability of formal design and verification methods for industrial-scale systems: by designing systems in a compositional manner, components can be modelled, specified, implemented, and verified independently and in parallel by different teams, leading to significant gains in terms of(More)
—The X-MAN tool has been developed in the Euro-pean project CESAR, for component-based system development. CESAR is a large industrial project that aims to develop a component-based technology that can be used for developing embedded systems in multiple domains, including automotives and avionics. X-MAN has been successfully evaluated by CE-SAR's external(More)
—For general (modular) system development with verification and validation (V&V), the V Model is the industrial standard. For component-based development, there is a well-understood standard process, but it does not specifically address V&V. In this paper, we propose such a model, that we call the W Model. We have implemented it using Model-Driven(More)
Currently, composition of web services is done by orchestration. An orchestration is a workflow that combines invocations of individual operations of the web services involved. It is therefore a composition of individual operations, rather than a composition of entire web services. In this paper we propose a different approach to web service composition,(More)
In some industrial domains, it is beneficial to model systems that are both data-driven and control-driven. The challenge to component-based development is to provide suitable component models for this purpose. In this paper we propose such a component model. We define the model, and present a model-driven implementation. We also illustrate its application(More)
Design patterns are typically defined informally, albeit in a standard format, and have to be programmed by the software designer into each new application. Thus although patterns support solution reuse, in practice this does not translate into code reuse. In this paper we argue that to achieve code reuse, patterns should be defined and used in the context(More)
Current software product line engineering tools mainly focus on variability in the problem space, and create product families by linking variability models to artefacts in the solution space. In this paper, we present a tool that can be used to define software architectures with explicit variation points, and hence product families, directly in the solution(More)