By Topic

2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications

Date Aug. 30 2011-Sept. 2 2011

Filter Results

Displaying Results 1 - 25 of 89
  • [Front cover]

    Publication Year: 2011, Page(s): C1
    Request permission for commercial reuse | PDF file iconPDF (44 KB)
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2011, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (108 KB)
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2011, Page(s): iii
    Request permission for commercial reuse | PDF file iconPDF (154 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2011, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (119 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2011, Page(s):v - xi
    Request permission for commercial reuse | PDF file iconPDF (149 KB)
    Freely Available from IEEE
  • Message from General Chair

    Publication Year: 2011, Page(s): xii
    Request permission for commercial reuse | PDF file iconPDF (118 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from Program Chairs

    Publication Year: 2011, Page(s): xiii
    Request permission for commercial reuse | PDF file iconPDF (109 KB) | HTML iconHTML
    Freely Available from IEEE
  • SEAA 2011 Organizing Committee

    Publication Year: 2011, Page(s): xiv
    Request permission for commercial reuse | PDF file iconPDF (84 KB)
    Freely Available from IEEE
  • SEAA 2011 Program Committee and Reviewers

    Publication Year: 2011, Page(s):xv - xviii
    Request permission for commercial reuse | PDF file iconPDF (140 KB) | HTML iconHTML
    Freely Available from IEEE
  • SEAA 2011 Steering Committee

    Publication Year: 2011, Page(s): xix
    Request permission for commercial reuse | PDF file iconPDF (86 KB)
    Freely Available from IEEE
  • Message from IDoSeAA Symposium Chair

    Publication Year: 2011, Page(s): xx
    Request permission for commercial reuse | PDF file iconPDF (131 KB)
    Freely Available from IEEE
  • IDoSeAA Advisory Board

    Publication Year: 2011, Page(s): xxi
    Request permission for commercial reuse | PDF file iconPDF (97 KB)
    Freely Available from IEEE
  • MOCS Track Chairs' Message

    Publication Year: 2011, Page(s): 3
    Request permission for commercial reuse | PDF file iconPDF (135 KB) | HTML iconHTML
    Freely Available from IEEE
  • A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications

    Publication Year: 2011, Page(s):4 - 11
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1030 KB) | HTML iconHTML

    This paper presents an intuitive, precise and executable language, SCA-ASM, for model-based design and prototyping of service-oriented applications. The language combines the SCA (Service Component Architecture) capability of modeling and assembling heterogeneous service-oriented components in a technology agnostic way, with the rigor of the Abstract State Machines formal method able to model noti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Studying the Impact of Design Patterns on the Performance Analysis of Service Oriented Architecture

    Publication Year: 2011, Page(s):12 - 19
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (612 KB) | HTML iconHTML

    Design patterns for Service Oriented Architecture (SOA) suggest solutions for architectural, design and implementation problems, but these changes also affect performance and other non-functional properties. A performance model can be generated from a SOA software model (plus some implementation and deployment advice) and used to study these impacts. The paper proposes to propagate the change in t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Product-Process-Quality Framework

    Publication Year: 2011, Page(s):20 - 27
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (624 KB) | HTML iconHTML

    In this paper, we present the Product-Process-Quality Framework which provides a clear understanding of the differences between Component-based software engineering (CBSE) and Service-oriented software engineering (SOSE). We intend to provide a conceptual comparison to architects who have to deal with these two software development paradigms. This work completes existing ones which focus on the di... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Flexible Semantic-Preserving Flattening of Hierarchical Component Models

    Publication Year: 2011, Page(s):31 - 38
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (661 KB) | HTML iconHTML

    Hierarchical component models allow to better manage system design complexity compared to flat component models. However, many analysis techniques lack support for dealing with hierarchical models. This paper presents a general approach to use existing analysis on hierarchical component systems by means of a flattening transformation. The transformation can be partially applied, which provides a p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extracting Elements of Component-Based Systems from Natural Language Requirements

    Publication Year: 2011, Page(s):39 - 46
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (881 KB) | HTML iconHTML

    Extracting keywords from requirements has been done for various modelling purposes, e.g. for defining object-oriented analysis and design models, but it has not been done for mapping requirements directly to (executable) component-based systems. In this paper we argue that the latter is possible if the underlying component model provides suitable encapsulation and hence separation of key elements ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The W Model for Component-Based Software Development

    Publication Year: 2011, Page(s):47 - 50
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (433 KB) | HTML iconHTML

    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 Engineering. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Composable Controllers in Fractal: Implementation and Interference Analysis

    Publication Year: 2011, Page(s):51 - 54
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (439 KB) | HTML iconHTML

    Fractal component model provides controllers for adding extra-functional capabilities to component behaviors. However, controllers may interfere one with another and their composition is still a challenge. In this article, we extend Fractal with a support for composing controllers with reusable operators. Then, we discuss how to formally model and analyze, in Uppaal, Fractal systems with several c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Correct Implementation of Open Real-Time Systems

    Publication Year: 2011, Page(s):57 - 64
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (566 KB) | HTML iconHTML

    Correct and efficient implementation of open real-time systems is still a costly and error-prone process. We present a rigorous model-based implementation method of such systems based on the use of two models: (i) an abstract model representing the interactions between the environment and the application and its timing behavior without considering any execution platform, (ii) a physical model repr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of Real-Time Component-Based Applications on Open Platforms

    Publication Year: 2011, Page(s):65 - 72
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (502 KB) | HTML iconHTML

    This paper proposes a methodology for the design of hard real-time component-based applications that relies on a resource reservation paradigm. It enables configuring the applications to satisfy their timing requirements before knowing the workload of the platform in which they are deployed. The assembler carries out the design and schedulability analysis of an application based on a virtual execu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards Heterogeneous Composition of Distributed Real-Time and Embedded (DRE) Systems Using the CORBA Component Model

    Publication Year: 2011, Page(s):73 - 80
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (533 KB) | HTML iconHTML

    This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named CCM++. Experience from applying CCM++ on an example DRE shows can simplify heterogeneous DRE system composition while remaining spec-compliant. This therefore increases the portability of the solution to existing tools and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ReL: A Generic Refactoring Language for Specification and Execution

    Publication Year: 2011, Page(s):83 - 90
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (355 KB) | HTML iconHTML

    Refactoring is a powerful technique for improving the structural quality of software models and programs. Besides informal, example-driven descriptions of refactorings, a number of languages for specifying refactorings have been developed. Such refactoring languages are either specific to particular programming languages or to particular application purposes. In this paper, we present the generic ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Formal Framework for Retainment Patterns for Trace-Based Model Transformations

    Publication Year: 2011, Page(s):91 - 99
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (815 KB) | HTML iconHTML

    Model-to-model (M2M) transformations play an important role within model-driven development. Modern M2Mapproaches support incremental updates to the target model according to changes in the source model(s). Bidirectional transformation approaches even allow to incrementally translate target model changes back to the source model. However, in some cases, e.g., if the target model should be refined ... View full abstract»

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