We propose Hilda, a high-level language for developing data-driven web applications. The primary benefits of Hilda over existing development platforms are: (a) it uses a unified data model for all layers of the application, (b) it is declarative, (c) it models both application queries and updates, (d) it supports structured programming for web sites, and (e) it enables conflict detection for concurrent updates. We also describe the implementation of a simple proof-ofconcept Hilda compiler, which translates a Hilda application program into Java Servlet code. 1.

Abstract — In service-oriented Grid computing, great emphasis is placed on platform independence and cross-platform interoperability at the price of a higher initial software development complexity and cost. The Model Driven Architecture (MDA) approach to software development promises to reduce costs and increase reliability and flexibility of such complex distributed systems. In this paper, we introduce an MDA approach to service-oriented Grid application development and its prototypical implementation. To enable a better separation of development concerns, we propose a subdivision of the Platform Specific Model (PSM) into two parts, separating application functionality and Grid logic. This separation of concerns is maintained even at the code level using Java annotations, allowing domain experts to work on every level with only limited knowledge outside of their domain. I.

The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed a long tradition of establishing models and maintaining mappings between them. This paper introduces a formal definition of potential mappings between models with its corresponding syntax so as to create a uniform and integrated framework for adding, removing, and modifying mappings throughout the development life cycle. For the first time, the mappings can be established from any source model to any target model, one or many, in the same formalism. Those models include task, domain, presentation, dialog, and context of use, which is itself decomposed into user, platform, and environment. IDEALXML consists of a Java application allowing the designer to edit any model at any time, and any element of any model, but also to establish a set of mappings, either manually or automatically based on a mapping model.

Abstract. In this paper, an integrated development environment for service-oriented Grid applications integrated into the Eclipse platform is presented. Its design is based on model-driven software development principles, allowing domain experts to rapidly develop Grid applications by hiding the complexities of the Grid middleware. The functionality of the three main components supporting service creation, process creation and interactive debugging are presented and implementation issues are discussed. 1

A key aspect of the design of any software system is its architecture. An architecture description, from a runtime perspective, should provide a formal model of the architecture in terms of components and connectors, their ports and behaviours, and how they are composed together. The Unified Modelling Language (UML) is widely used in the design of software systems and has recently been extended to better support software architecture description. This paper presents the UML 2.0 Profile for π-ADL, a novel ADL that has been designed in the ArchWare European Project. It briefly presents π-ADL and its UML 2.0 Profile, then it illustrates through a case study how the UML 2.0 Profile for π-ADL can be used for formally modelling software architectures. The toolset for supporting the UML 2.0 Profile for π-ADL is outlined: it supports architecture modelling, architectural behaviour animation, and model checking of architectural properties.

Abstract. This paper presents an approach for visually modeling OWL DL and OWL Full ontologies based on the well-established visual modeling language UML. We discuss a metamodel for OWL based on the Meta-Object Facility, an associated UML profile as visual syntax, and transformations between both. The work we present supports modeldriven development of OWL ontologies and is currently undergoing the standardization process of the Object Management Group. After describing our approach, we present the implementation of our approach and an example, showing how the metamodel and UML profile can be used to improve developing Semantic Web applications. 1

Abstract: Studies have found that reworking defective requirements, design, and code typically consumes up to 50 percent of the total cost of software development. A defect has a high impact when it has been inserted in the design and is only detected in a later phase of a project. This increases project cost, time and may even jeopardize the success of a project. More time needs to be spent on analysis of the design of the project. When analysis techniques are applied on the design of a software system, the primary objective is to anticipate potential scenarios of failure in the system. The detection of defects that may cause failures and the correction is more cost effective in the early phases of the software lifecycle, whereas testing starts late and defects found during testing may require massive rework. In this article, we present a metric suite that guides the analysis during the risk assessment of failure modes. The computation of the metric suite bases on Simulink models. We provide tool support for this activity. 1

LIMITED DISTRIBUTION NOTICE: This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. Ithas been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and specific requests. After outside publication, requests should be filled only by reprints or legally obtained copies of the article (e.g., payment of royalties). Copies may be requested from IBM T. J. Watson Research Center, P.

On behalf of:

Abstract. Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engineering is that while UML, a widely used standard for specifying and constructing the models for a software-intensive system, has a four-layer metamodeling architecture, the standard OWL Web Ontology Language does not support reasoning over layered metamodels. OWL2 provides simple metamodeling by using a punning approach, however, the interpretation function is different based on the context, which leads to non-intuitive results. The OWL FA Language has a well defined metamodeling architecture. However, there is no study and tool for support reasoning over OWL FA. In this paper, we briefly discuss some reasoning tasks in OWL FA. We also provide OWL FA Tool kit, a simple tool kit for manipulating and reasoning with OWL FA. 1