10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05)

16-20 June 2005

Filter Results

Displaying Results 1 - 25 of 83
  • 10th IEEE International Conference on Engineering of Complex Computer Systems - Cover

    Publication Year: 2005, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (45 KB)
    Freely Available from IEEE
  • Proceedings. 10th IEEE International Conference on Engineering of Complex Computer Systems

    Publication Year: 2005
    Request permission for commercial reuse | PDF file iconPDF (38 KB)
    Freely Available from IEEE
  • 10th IEEE International Conference on Engineering of Complex Computer Systems - Copyright Page

    Publication Year: 2005, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (46 KB)
    Freely Available from IEEE
  • 10th IEEE International Conference on Engineering of Complex Computer Systems - Table of contents

    Publication Year: 2005, Page(s):v - xii
    Request permission for commercial reuse | PDF file iconPDF (59 KB)
    Freely Available from IEEE
  • Message from the General Chairs

    Publication Year: 2005, Page(s): xiii
    Request permission for commercial reuse | PDF file iconPDF (32 KB) | HTML iconHTML
    Freely Available from IEEE
  • Welcome from the Program Chairs

    Publication Year: 2005, Page(s): xiv
    Request permission for commercial reuse | PDF file iconPDF (28 KB) | HTML iconHTML
    Freely Available from IEEE
  • Organizing Committee

    Publication Year: 2005, Page(s):xv - xvi
    Request permission for commercial reuse | PDF file iconPDF (33 KB)
    Freely Available from IEEE
  • Additional reviewers

    Publication Year: 2005, Page(s): xvii
    Request permission for commercial reuse | PDF file iconPDF (20 KB)
    Freely Available from IEEE
  • Software engineering approaches to semantic Web

    Publication Year: 2005
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (40 KB) | HTML iconHTML

    In recent years, researchers have begun to explore the potential of associating Web content with explicit meaning so that the Web content becomes more machine-readable and intelligent agents can retrieve and process information readily. The semantic Web (SW) proposed by W3C is one of the most promising and accepted approaches. It may have great impacts to the current Web. SW not only emerges from ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tutorial on multimedia content distribution and protection

    Publication Year: 2005
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (45 KB) | HTML iconHTML

    Currently, the digital-content market is growing very fast and it needs solutions of production, protection and distribution of massive content collections. This is a real challenge for many industries that are discovering the complexity of managing large digital content factories and distribution chains. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An introduction to self-healing Web services (tutorial summary)

    Publication Year: 2005
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (36 KB) | HTML iconHTML

    The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Service-oriented architectures (SoAs) define a new flexible coordination paradigm for integrating components (services) in unstable and evolving contexts, where the high degree of flexibility and dynamism requires that available functionality be discovered at run-time and its quality paramete... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for SOFL-based program review

    Publication Year: 2005, Page(s):6 - 7
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (70 KB) | HTML iconHTML

    Program review is a practical and cost-effective method for detecting errors in program code. This paper describes our recent work aiming to provide support for revealing errors which usually arise from inappropriate implementations of desired specifications. In our approach, the SOFL specification language is employed for specifying software systems. We provide a framework that guides reviewers t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An introduction to three perspectives on formal specification review

    Publication Year: 2005, Page(s):8 - 9
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (62 KB) | HTML iconHTML

    This paper gives an introduction to three perspectives on formal specification review. These three perspectives on specification review are: (1) data-oriented review, (2) process-oriented review, (3) scenario-oriented review. For every perspective, the critical properties to review and the corresponding review methods are put forward. This technique is applied to the SOFL specification language, w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of a tool for specification-based program review

    Publication Year: 2005, Page(s):10 - 11
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (133 KB) | HTML iconHTML

    Program review is an effective means for enhancing software quality. In this paper we describe the design of a software tool to support our proposed "function-path" approach to reviewing programs based on SOFL specifications. The approach includes four steps: (1) deriving all the functional scenarios from a formal specification, (2) generating all the necessary program paths in a program, (3) esta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal specification constructing tool for SOFL

    Publication Year: 2005, Page(s):12 - 13
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (162 KB) | HTML iconHTML

    The development of powerful software tools that apply and facilitate the use of formal notations and methodologies effectively has been crucial. This paper introduces a new software tool that fully supports the construction of SOFL specifications in a user-friendly manner. With this tool it would be helpful to construct a SOFL specification that consists of condition data flow diagrams and specifi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending SOFL features for AOP modeling

    Publication Year: 2005, Page(s):14 - 15
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (76 KB) | HTML iconHTML

    SOFL is a formal language and method for software system analysis, specification and design, and it fully supports structured techniques and object-oriented techniques. AOP (aspect-oriented programming) is a new technique for software development. Since AOP leads a completely different way from structured or object-oriented techniques, original SOFL can not been used for AOP modeling. In this pape... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extended SOFL features for the modeling of middleware-based transaction management

    Publication Year: 2005, Page(s):16 - 17
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (82 KB) | HTML iconHTML

    SOFL (structured object-oriented formal language) is a formal engineering language and method for software system analysis, specification and design. It has been used in many systems. But its limitations result in the lack of the support for the modeling of middleware-based transaction management. However, the transaction management has been the necessary feature of distributed applications. So we... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tools for an extended object modelling environment

    Publication Year: 2005, Page(s):20 - 23
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (93 KB) | HTML iconHTML

    MDA promises a high software return on investment by producing software that evolves easily and is more portable and interoperable. However, MDA has a high price, namely, the need for a unified modelling infrastructure and a rich range of tools to create, maintain and transform models. Without these, model-driven development will not be able to deliver on its promises. This paper presents a common... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Grammar-specified model-driven architectures

    Publication Year: 2005, Page(s):24 - 25
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (67 KB) | HTML iconHTML

    Instead of UML diagrams, an alternative approach is using graph grammars according to G. Rozenberg (1997) to specify meta-models. With the capability of formally specifying syntax in a visual fashion, graph grammars have gained much attention in recent years. Based on graph grammar formalism, called the reserved graph grammar (RGG) as stated in D.Q. Zhang et al. (2001), this paper proposes an intu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A strategy for component-based modeling and refinement

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

    We present a formal model for component-based development system that provides precise mathematical definitions for concepts like component, connector, software architecture as well as interface, type and behavior. Based on these concepts, we develop a refinement approach that captures the essential nature and principles of component-based design. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Principles, standards and tools for model engineering

    Publication Year: 2005, Page(s):28 - 29
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (57 KB) | HTML iconHTML

    We take here a broad view of model engineering as encompassing different approaches such as the OMG MDA/spl trade/ proposal as stated in R. Soley (2000), the Microsoft Software Factories view based in J. Greenfield (2004), and many others. We distinguish the three levels of principles, standards and tools to facilitate the discussion. We proposed the idea that there exist a common set of principle... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluating conformance of UML models to design patterns

    Publication Year: 2005, Page(s):30 - 31
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (115 KB) | HTML iconHTML

    In this paper, we describe an approach to checking conformance of UML class diagrams to design patterns. The technique provides a set of checks that evaluate syntactic and semantic pattern conformance. Syntactic pattern conformance is concerned with structural conformance of a class diagram to the structural properties of a pattern. Semantic pattern conformance is concerned with conformance of inv... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sequencing operations and creating objects

    Publication Year: 2005, Page(s):33 - 35
    Request permission for commercial reuse | PDF file iconPDF (305 KB) | HTML iconHTML
    Freely Available from IEEE
  • Modeling diverse and complex interactions enabled by middleware as connectors in software architectures

    Publication Year: 2005, Page(s):37 - 46
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (302 KB) | HTML iconHTML

    Middleware enables distributed components to interact with each others in diverse and complex manners. Such interactions should be modeled at architecture level for controlling the complexity of incorporating middleware into the target system. This paper extends a traditional architectural description language for describing the diverse and complex interactions enabled by middleware as complex con... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Secure software architectures design by aspect orientation

    Publication Year: 2005, Page(s):47 - 55
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (277 KB) | HTML iconHTML

    Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fashion and fell short in precise notations. This paper proposes a formal aspect-oriented approach to designing secure software architectures. The underlying formalism is the software architecture model (SAM) that combines ... View full abstract»

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