Software and Data Technolgoies - Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008

Preface

Organization

Table of Contents

Invited Speakers

User Defined Geo-referenced Information

Introduction

Hovering Information

Overview of the Hovering Information Concept

Analysis of the Hovering Information Concept

End-to-End QoS-Predictions’ Information Service

Basic Assumptions

Overview of the Concept and Service

Conclusions

References

Part I: Programming Languages

Extending the SSCLI to Support Dynamic Inheritance

Introduction

Background

Type Systems of Dynamically Typed Languages

Runtime Performance of Dynamically Typed Languages

Structural Reflection

$\Large{\textrevscr}{\small\textsc{Rotor}}$

The Object Model of $\Large{\textrevscr}{\small\textsc{Rotor}}$

Dynamic Inheritance

Design

Class-Based Model

Prototype-BasedModel

Implementation

The $setSuper$ Primitive Interface

Instance Manipulation

Class Manipulation

Current State of the Implementation

Conclusions

References

Scala Roles: Reusable Object Collaborations in a Library

Introduction

Objects and Roles

Compound Objects with Dynamic Proxies

Object Identity

Collaborations with Nested Types

Scala Roles in Action

Persons and Their Roles

Composite Design Pattern

Related Work

Conclusions

References

Part II: Software Engineering

Common Criteria Based Security Scenario Verification

Introduction

Scenario Language

Outline

Scenario Example

Verification of Scenarios

Rule

Evaluation

Rule Based on Common Criteria

Discussion

Related Works

Conclusions

References

A Software Infrastructure for User–Guided Quality–of–Service Tradeoffs

Introduction

Architectural Baseline

Quality–of–Service Tradeoffs

Evaluation of Usability

Coordinating Resource Usage

Evaluation

Adaptive Applications

Evaluation

Related Work

Conclusions

References

On the Multiplicity Semantics of the Extend Relationship in Use Case Models

Introduction

The Evolution of the Extend Relationship

The Interpretation of the Extension Point Concept

Discussion

Related Work

Conclusions and Future Work

References

Secure Mobile Phone Access to Remote Personal Computers: A Case Study

Introduction

Background

Security Issues

Proposed Security Model

Improving the Design

Implementation

Discussion

User Study

Related Work

Conclusions

References

Part III: Distributed and Parallel Systems

Understanding and Evaluating Replication in Service Oriented Multi-tier Architectures

Introduction

Replication in SOA

Basic Architecture

Replication

Replication Strategies

Categorization

Example Algorithm

Simulation

Simulation Architecture

Execution

Parameters

Selected Results

Related Work

Conclusions

References

Applying Optimal Stopping for Optimizing Queries to External Semantic Web Resources

Introduction

Performance and Scalability

The Search Test Stop Model

Preconditions

The Discrete Search Test Stop Model

Method

Cost Functions

Utility Distributions

Application

Evaluation

Performance

Web Services

Outlook and Conclusions

References

An Efficient Pipelined Parallel Join Algorithm on Heterogeneous Distributed Architectures

Introduction

Limitations of Parallel Execution Strategies in Multi-join Queries

Sequential Parallel Execution

Parallel Synchronous Execution

Segmented Right-Deep Execution

Full Parallel Execution

Parallelism in Multi-join Queries Using PDFA-Join Algorithm

Detailed Algorithm

Discussion

Conclusions

References

Part IV: Information Systems and Data Management

Declarative Business Process Modelling and the Generation of ERP Systems

Introduction

An Introduction to REA

An Object-Z Model

The REA Meta-model

The Runtime Model

A Domain Specific Language

Language Implementation

Automated Generation of Applications

Summary

References

Single Vector Large Data Cardinality Structure to Handle Compressed Database in a Distributed Environment

Introduction

Related Work

Existing HIBASE Compression Technique

Proposed Single Vector Large Data Cardinality (SVLDCS) Structure

Searching Technique

Explanation of the Searching Technique of (SVLDCS) Structure

Searching Time Analysis of SVLDC Structure

The Analysis of Storage Capacity of SVLDC Structure

Analytical Analysis of Storage Capacity Using Different Methods

Conclusions

References

Relaxed Approaches for Correct DB-Replication with SI Replicas

Introduction

Multiversion Histories

Generalized Snapshot Isolation

The Deferred Update Technique

1–Copy–GSI Schedules

Relaxing Assumptions

Conclusions

References

Measuring the Usability of Augmented Reality e-Learning Systems: A User–Centered Evaluation Approach

Introduction

Related Work

Evaluation Method and Procedure

Equipment

Participants and Tasks

Method and Procedure

Evaluation Results and Comparison

Answers to the Questionnaire

Most Mentioned Positive and Negative Aspects

Measures of Effectiveness and Efficiency

Conclusions and Future Work

References

Supporting the Process Assessment through a Flexible Software Environment

Introduction

State of the Art

EvalTOOL

Process Model Management

Application and Evaluation Model

EvalTOOL Application Example

EvalTOOL as Support to COMPETISOFT

Conclusions and Future Work

References

Part V: Knowledge Engineering

Increasing Data Set Incompleteness May Improve Rule Set Quality

Introduction

Blocks of Attribute-Value Pairs

Definability

Lower and Upper Approximations

LERS and LEM2

LEM2

LERS Classification System

Experiments

Conclusions

References

Anomaly Detection Using Behavioral Approaches

Introduction

Behavioral Approaches for Intrusion Detection

Why Standard Classification Rules Are Ineffective for Detecting Novel Attacks

Enhancing Bayesian Classification for Anomaly Detection

Using Zero Probabilities as Abnormal Evidence

Using Likelihood of Rare Attacks as Abnormal Evidence

Enhancing Decision Trees for Anomaly Detection

Decision Tree Classifiers

Decision Tree Adaptations for Anomaly Detection

Experimental Studies

Training and Testing Data Sets

Experiments on Standard/Enhanced Bayesian Classification Rule

Conclusions

References

Author Index