About
12
Publications
1,790
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
94
Citations
Publications
Publications (12)
An improved solution for resolving interdependencies between heterogeneous artifacts in software systems is provided. In an embodiment of the invention, a method for finding dependencies in a software system is provided, wherein the method includes: obtaining an input resource, wherein the resource includes a plurality of entry points to the softwa...
A service-oriented architecture can include a service provider comprising a plurality of service objects, each service object comprising a self-describing, self-contained, platform independent, modular unit of application logic. The service oriented architecture further includes a service object among the plurality of service objects that is a serv...
In one embodiment of the invention, a method for profile mapped model transformation for model driven architecture (MDA) development of service provisioning applications can be provided. The method can include mapping elements of a platform independent domain specific model to a platform specific domain specific model for a target platform with ste...
A business process attempts to encapsulate the delivery of a sequence of tasks, typically starting from accepting a service request and ending at certain points, such as the completion of the service. We propose a model-driven business process recovery framework that captures the essential functional features representing a business process. The fr...
A business software application often has two perspectives: the business flow and operation that the application intends to solve, and the source code and its design and flow upon which the application is built. As one changes and evolves, the other needs to be synchronized. This paper addresses an approach to synchronize these two models for effec...
In this paper, we consider interface contracts as a possible mechanism for improving semantic integrity in component-based
systems. A contract is essentially a formal speci.cation interleaved with code and allowing a component or object to unambiguously
specify its behaviour. The existing techniques that we survey are predominantly designed for obj...
The design and development of real-time software (i.e. software that must ensure timeliness while interacting with an external environment) is more difficult than for most other software. Modeling tools help deal with this complexity, allowing developers to view the system at various levels of abstraction, animate the models in a simulation environ...
nature of patterns: The mining and verification functions will be very difficult if flexibility of implementation is allowed.
The patterns in this paper build on the results of [McK00]: while design patterns have the potential to improve code quality and reuse, the costs associated with integrating them into an existing design/development environment can be prohibitive. Proposed are three organizational patterns for structuring the integration of patterns in such a way th...
Contents come from [QNX00] and [Krt98]. 2.1 QNX 4 Philosophy The QNX 4 RTOS is based on a very small microkernel which coordinates the interaction of system and user processes via message passing. 2.2 Microkernel The QNX 4 microkernel has four main responsibilities: . IPC: Inter-process communication mechanisms include blocking send(), receive(), r...
Real-time object-oriented modeling tools (e.g. Rational Rose-RT, i-Logix Rhapsody) allow developers to focus on software architecture by abstracting away low-level implementation details. We believe that design patterns can be very beneficial in this context, and present the rationale and concepts behind a proposal for the extension of such a tools...