By Topic

Software Engineering Conference, 2007. ASWEC 2007. 18th Australian

Date 10-13 April 2007

Filter Results

Displaying Results 1 - 25 of 53
  • 2007 Australian Software Engineering Conference-Cover

    Publication Year: 2007 , Page(s): c1
    Save to Project icon | Request Permissions | PDF file iconPDF (110 KB)  
    Freely Available from IEEE
  • 2007 Australian Software Engineering Conference-Title

    Publication Year: 2007 , Page(s): i - iii
    Save to Project icon | Request Permissions | PDF file iconPDF (54 KB)  
    Freely Available from IEEE
  • 2007 Australian Software Engineering Conference-Copyright

    Publication Year: 2007 , Page(s): iv
    Save to Project icon | Request Permissions | PDF file iconPDF (44 KB)  
    Freely Available from IEEE
  • 2007 Australian Software Engineering Conference - TOC

    Publication Year: 2007 , Page(s): v - viii
    Save to Project icon | Request Permissions | PDF file iconPDF (53 KB)  
    Freely Available from IEEE
  • Message from the General Chair

    Publication Year: 2007 , Page(s): ix
    Save to Project icon | Request Permissions | PDF file iconPDF (28 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Message from the Research Program Chairs

    Publication Year: 2007 , Page(s): x
    Save to Project icon | Request Permissions | PDF file iconPDF (30 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Organizing Committee

    Publication Year: 2007 , Page(s): xi
    Save to Project icon | Request Permissions | PDF file iconPDF (30 KB)  
    Freely Available from IEEE
  • Steering Committee

    Publication Year: 2007 , Page(s): xi
    Save to Project icon | Request Permissions | PDF file iconPDF (30 KB)  
    Freely Available from IEEE
  • Research Program Committee

    Publication Year: 2007 , Page(s): xii
    Save to Project icon | Request Permissions | PDF file iconPDF (33 KB)  
    Freely Available from IEEE
  • Industry Program Committee

    Publication Year: 2007 , Page(s): xiii
    Save to Project icon | Request Permissions | PDF file iconPDF (32 KB)  
    Freely Available from IEEE
  • Additional reviewers

    Publication Year: 2007 , Page(s): xiii
    Save to Project icon | Request Permissions | PDF file iconPDF (32 KB)  
    Freely Available from IEEE
  • Modeling Change as a First-Class Entity

    Publication Year: 2007 , Page(s): 3
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (116 KB)  

    Summary form only given. Software systems must change to remain useful. Current programming languages and support environments, however, treat software systems as though they were static, unchanging, and globally consistent. We argue in favour of a more dynamic approach in which complex software systems can seen as a set of overlapping and constantly changing contexts. We report on some initial research activities pointing in this direction, and we lay out our vision for modeling and managing change as a first-class entity. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Engineering Large-Scale Software-Intensive Systems

    Publication Year: 2007 , Page(s): 4 - 6
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (87 KB)  

    Summary form only given. There are four major threats to successfully building large-scale software-intensive systems: (1) a failure to control the complexity that arises during the development process (2) a failure to achieve early resolution of deficiencies in informal statements/knowledge of stakeholders' needs (3) failure to construct a system that satisfies stakeholders' needs, and (4) a failure to effectively organize the project team. All four of these threats can be very significantly reduced by making maximum and effective use of the requirements information that expresses stakeholders' needs. This is achieved by choosing a representation that supports rigorous formalization and composition of individual requirements one at a time into an integrated, state-based, graphical view. It amounts to building a system 'out of' its requirements. The justification for, the processes, representations and results of applying this constructive approach to tackling the core problems associated with developing large-scale, dependable systems is presented. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Asset-Based Architecture Design Methodology for Rapid Telecom Service Delivery Platform Development

    Publication Year: 2007 , Page(s): 7 - 16
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (472 KB) |  | HTML iconHTML  

    In the telecom industry, it becomes increasingly important for operators to provide a service delivery platform (SDP) quickly to improve time-to-revenue cycle of new innovative value-added services at lower cost. A rapid architecture solution design method based on SDP capability model and SDP architecture blueprint is proposed to deal with this problem in this paper. SDP capability model and the corresponding SDP architecture blueprint are designed as two reusable assets for business requirement analysis and IT architecture design in telecom service delivery problem domain to reduce cost and improve quality. Furthermore, the linkage between SDP capability model and SDP architecture blueprint is built as the corner stone to speed up the solution design process. The approach on how to use capability model, architecture blueprint, and their linkage to perform customer requirement analysis and quick solution design throughout SDP engagements is introduced. This approach can facilitate developers to adopt asset-based service model in the rapidly growing telecom industry. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Pattern-Driven Process Model for Quality-Centered Software Architecture Design--A Case Study on Usability-Centered Design

    Publication Year: 2007 , Page(s): 17 - 26
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (266 KB) |  | HTML iconHTML  

    Quality requirements of software systems typically affect large portions of the system, and should be taken into account early in the design process. Patterns have become a mainstream technique to associate frequent quality-related design problems with proven solutions. We present a generic pattern-driven design process model, and apply this to usability, obtaining a usability-centered design process model. As a case study, we have applied the model to the usability-centered software architecture design of a stone crusher control system. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Prerequisites for Successful Architectural Knowledge Sharing

    Publication Year: 2007 , Page(s): 27 - 38
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (210 KB) |  | HTML iconHTML  

    Sharing knowledge pertaining to software architectures becomes increasingly important. If this knowledge is not explicitly stored or communicated, valuable knowledge dissipates. However, stakeholders will only share knowledge with each other if they are motivated to do so, or in other words if the necessary incentives are created. In this paper we identify three incentives for architectural knowledge sharing: the establishment of social ties, more efficient decision making, and knowledge internalization. Next, we discuss our experiences on how architectural knowledge is shared in a large software development organization. Based on these experiences we propose a set of prerequisites that need to be met to foster successful architectural knowledge sharing. The importance of these prerequisites is motivated by demonstrating that they create the identified incentives. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic Protocol Aggregation and Adaptation for Service-Oriented Computing

    Publication Year: 2007 , Page(s): 39 - 48
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (368 KB) |  | HTML iconHTML  

    Service oriented computing (SOC) is a paradigm for building new software applications from existing loosely-coupled services. During service composition, services available to play different roles in a composition may have variations in their business-level protocols. These protocols may involve communication between two services in a point-to-point relationship, or communication among more than two services. Furthermore, as the business processes change, those protocols need to be modified to reflect the changes. In this paper, we propose a method to describe protocols between roles that services will play in the composition by specifying the temporal constraints. An automated aggregation of those protocols is then carried out to produce role-centric views. Protocol compatibility of available services can then be checked against these views. We will show how our approach supports the incremental specification of protocols and the flexibility of changing protocols. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Configurable Event Correlation Architecture for Adaptive J2EE Applications

    Publication Year: 2007 , Page(s): 49 - 58
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (269 KB) |  | HTML iconHTML  

    Distributed applications that adapt as their environment changes are developed from self-managing, self-configuring and self-optimising behaviours. This requires constant monitoring of the state of the environment, and analysing multiple sources of events. Event correlation is the process of correlating monitored events from multiple sources for further analysis. It is essential that event correlation supports reliable event management with minimal delay. This paper describes the design and implementation of an event correlation architecture for adaptive J2EE applications. The architecture supports flexible configuration of event correlation in terms of the reliability and performance. This is especially useful in situations when multiple sources of events have different level of requirements for reliability and performance. We evaluate the performance overhead of this event correlation architecture and demonstrate its practical usage in a case study of an adaptive image server application. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Influence Control for Dynamic Reconfiguration

    Publication Year: 2007 , Page(s): 59 - 70
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (230 KB) |  | HTML iconHTML  

    Dynamic reconfiguration is a useful technique for software update because it can achieve an architectural change without shutdown of a system. However, so far in the state-of arts, there has not been an approach that can evaluate and control both the functional influence and performance influence of reconfiguration in a unified framework. In this paper, we present an approach that addresses the above drawback. In our approach, we use a reconfiguration algorithm and a reconfiguration scheduler to control these two types of influence. The algorithm reduces the logical performance influence by allowing old and new components coexisting and uses a version management mechanism to avoid functional side effect in the coexisting period. The scheduler controls the physical performance influence through restricting the processor time spent on the reconfiguration procedure. We implement the algorithm and the scheduler in our reconfiguration data flow model. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Formal Model of Service-Oriented Design Structure

    Publication Year: 2007 , Page(s): 71 - 80
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (416 KB) |  | HTML iconHTML  

    Service-oriented computing (SOC) is a promising paradigm for developing enterprise software systems. The initial concepts of service-orientation have been described in the research and industry literature and software tools for assisting in the development of service-oriented (SO) applications are becoming more widely used. Nonetheless, a precise description of what constitutes a SO system is yet to be formally defined, and the design principles of SOC are not well understood. Therefore, this paper proposes a formal mathematical model covering design artefacts in service-oriented systems and their structural and behavioural properties. This model promotes a better understanding of SO concepts, and in particular, enables the definition of structural software metrics in an unambiguous, formal manner. Finally, although the proposed model is generic, it can be customised to support particular technologies as shown in this paper where the model was tailored for BPEL4WS implementation. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Web Service Recommendation Based on Client-Side Performance Estimation

    Publication Year: 2007 , Page(s): 81 - 89
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (246 KB) |  | HTML iconHTML  

    Quality of service (QoS) is one of the important factors to be considered when choosing a Web service (WS). This paper focuses on performance which is one of the most important QoS attributes. Currently WS recommendation and selection are based on the advertised server-side performance. Since WS clients reside in a heterogeneous environment, performance experienced by clients for the same WS can vary widely. Therefore, WS recommendation based on server-side performance may not be very effective. We propose a WS analysis and recommendation framework that takes into account environment heterogeneity. The analysis framework helps establish WS profiles and client profiles, which are used in the recommendation process to estimate the client-side performance and to determine the most suitable WS provider. By carrying out experiments in the real world (Internet) environment, we demonstrate the fundamental concepts related to client-side performance estimation. Some recommendation scenarios which utilize these estimation techniques are also demonstrated. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tool Support for BPEL Verification in ActiveBPEL Engine

    Publication Year: 2007 , Page(s): 90 - 100
    Cited by:  Papers (8)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (504 KB) |  | HTML iconHTML  

    The BPEL is designed for integrating and orchestrating Web services and it provides the profound solution to model business process relying on Web service platform. ActiveBPEL is a commercial-grade open source implementation engine for BPEL. In this paper, we describe the work on tool support for the BPEL verification in ActiveBPEL. We implement the algorithm of the mapping from BPEL to timed automata, and integrate it into the ActiveBPEL. By using model checker UPPAAL engine, ActiveBPEL is enhanced and can verify the BPEL properties, such as deadlock and reachability. Moreover, those timed properties of BPEL specification can be checked in our framework as well. Some case studies are presented to show the usage of verification functionality in ActiveBPEL. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supporting OO Design Heuristics

    Publication Year: 2007 , Page(s): 101 - 110
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (370 KB) |  | HTML iconHTML  

    Heuristics have long been recognised as a way to tackle problems which are intractable because of their size or complexity. They have been used in software engineering for purposes such as identification of favourable regions of design space. Some heuristics in software engineering can be expressed in high-level abstract terms while others are more specific. Heuristics tend to be couched in terms which make them hard to automate. In our previous work we have developed robust semantic models of software in order to support the computation of metrics and the construction of visualisations which allow their interpretation by developers. In this paper, we show how software engineering heuristics can be supported by a semantic model infrastructure. Examples from our current work illustrate the value of combining the rigour of a semantic model with the human mental models associated with heuristics. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using Stealth Mixins to Achieve Modularity

    Publication Year: 2007 , Page(s): 111 - 116
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (107 KB) |  | HTML iconHTML  

    Organising a complex, interactive application into separate modules is a significant challenge. We would like to be able to evolve modules independently, and to add new modules into the system (or remove optional ones) without requiring major revisions to existing code. Solutions that rely on pre-planning when writing core modules are clumsy and error-prone, since programmers may omit to include all the required "hooks," unused hooks incur a runtime overhead, and any unanticipated extensions may still require significant code changes. Unfortunately, most languages do not provide adequate mechanisms for supporting the separation of modules. In this paper, we review partial solutions for typical object-oriented languages such as Java, and then present "stealth mixins", a much more satisfactory solution that can be built on top of Common Lisp. The Common Lisp solution was developed for Gsharp, a sophisticated graphical music score editor, and the technique has been used extensively throughout the program. We use Gsharp as a running example throughout this paper. However, the ideas are applicable to a wide range of applications. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Suitability of Object and Aspect Oriented Languages for Software Maintenance

    Publication Year: 2007 , Page(s): 117 - 128
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (150 KB) |  | HTML iconHTML  

    Program maintenance is an important and frequently a difficult part of the software life cycle. One reason for its difficulty is the presence of crosscutting concerns; aspects of a program that cannot be confined to a single program component. Crosscutting concerns defy the standard wisdom of program design that individual components should be highly cohesive (they should address only one concern) and loosely coupled (they should not share concerns with other components). We consider several approaches to a simple maintenance task in both object-oriented and aspect-oriented languages, analyzing how well they maintain high cohesion and low coupling. We conclude that none of these approaches is entirely satisfactory, and present a few changes to aspect oriented programming language design that would better support maintenance in the face of crosscutting concerns. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.