Teduh Dirgahayu

Learn More
An approach to system specification defined by the Model-Driven Architecture (MDA) separates the specification of system functionality from the specification of the implementation of that functionality on a specific platform. To this end, the MDA proposes a framework for transforming a model into another model of the same system. The framework can also be(More)
This paper presents an approach for developing transformations from business process models to implementations that facilitates reuse. A transformation is developed as a composition of three smaller tasks: pattern recognition, pattern realization and activity transformation. The approach allows one to reuse the definition and implementation of pattern(More)
In this paper we present an approach for designing interaction behaviour in service-oriented enterprise application integration. The approach enables business analysts to actively participate in the design of an integration solution. In this way, we expect that the solution meets its integration goal and business requirements. The approach consists of four(More)
The success of software development projects to a large extent depends on the quality of the models that are produced in the development process, which in turn depends on the conceptual and practical support that is available for modelling, design and analysis. This paper focuses on model-driven support for service-oriented software development. In(More)
To tackle the complexity of inter-organizational business collaborations, the design of such collaborations may require explicit modelling at multiple abstraction levels. At a high abstraction level, the collaboration is specified as a single abstract interaction; and at a lower abstraction level, the collaboration is specified as a composition of(More)
In this paper we analyse the interaction mechanisms provided by Web services technology and by CORBA. Specifically we analyse the request/response, callback, polling and (multicast) message passing mechanisms. As a result we present coloured Petri nets that capture the behaviour of these mechanisms precisely. Based on our analysis we define concepts for(More)
This paper presents criteria for the adequacy of languages to represent interaction mechanisms. It then uses these criteria to analyse the adequacy of UML. We focus on the interaction mechanisms provided by Web Services technology and by CORBA for request/response, callback, polling and (multicast) message passing. We argue that the criteria for adequacy of(More)