Software and Data Technologies (eBook)

First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers

Joaquim Filipe, Boris Shishkov, Markus Helfert (Autoren)

eBook Download: PDF

2008 | 1. Auflage
XIII, 390 Seiten
Springer-Verlag
978-3-540-70621-2 (ISBN)

Infos

This book constitutes the best papers of the First International Conference on Software and Data Technologies, ICSOFT 2006, held in Setúbal, Portugal, September 11-14, 2006. The 25 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 187 submissions. The papers are organized in topical sections on programming languages, software engineering, distributed and parallel systems, information systems and data management, as well as knowledge engineering.

Inhalt

Preface 5
Organization 6
Table of Contents 9
Invited Papers 12
Adaptive Integration of Enterprise and B2B Applications 13
Introduction 13
Development or Integration? 14
Classifying Integration 15
Assuring Adaptive Integration 17
Defining Adaptiveness 17
Delivering Adaptiveness 21
Verifying Adaptiveness 23
Summary 24
References 25
Ambient Intelligence: Basic Concepts and Applications 26
Introduction 26
Ambient Intelligence 27
Smart Homes 29
Other Environments and Applications for AmI 31
SystemFlow 31
AmI Scenarios 32
Are We There Yet...? 34
Conclusions 35
References 35
How to Quantify Quality: Finding Scales of Measure 37
Finding and Developing Scales of Measure and Meters 37
Reference Library for Scales of Measure 37
Reference Library for Meters 38
Managing ‘What’ You Measure 38
Practical Example: Scale Definition 39
Language Core: Scale Definition 42
Principles: Scale Specification 44
Conclusions 46
References 46
Metamodeling as an Integration Concept 47
Introduction 47
Modeling and Metamodeling 49
Metamodels in Action: Design and Integration 50
Design 53
Integration 54
Semantic Integration and Interoperability Using Metamodels and Ontologies 55
Conclusions and Outlook 57
References 58
Engineering Object and Agent Methodologies 61
Methodologies and Method Engineering 61
Existing OO Method Fragments in the Open Repository 62
The Fame Project: New AO Method Fragments and a New Metamodel 63
AO Fragments 63
A New Metamodel 65
Summary 67
References 67
PART I Programming Languages 69
From Static to Dynamic Process Types 70
Introduction 70
Static Process Types 71
Dynamic Tokens 73
Dynamic Typing 74
Race-Free Programs 77
Discussion, RelatedWork 79
Conclusions 80
References 81
Aspectboxes: Controlling the Visibility of Aspects 83
Introduction 83
Motivation 84
Example Analysis 85
Scoping Aspects with Aspectboxes 86
Aspectboxes in a Nutshell 86
Namespace for Classes and Aspects 86
Executing Code in an Aspectbox 88
Absolute Isolation of Aspects 89
Implementation 89
Related Work 90
Conclusions 91
References 91
On State Classes and Their Dynamic Semantics 93
Introduction 93
An Example 94
A Calculus for STATEJ 95
Syntax 95
Operational Semantics 97
From STATEJ to JAVA 100
Related Work 103
Future Work 103
References 104
Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic 106
Introduction 106
IEEE 754R Decimal Floating-Point 107
Conversions between Decimal and Binary Formats 108
Decimal Floating-Point Addition 110
Decimal Floating-Point Multiplication 113
Decimal Floating-Point Division 114
Decimal Floating-Point Square Root 116
Conclusions 117
References 118
PART II Software Engineering 119
Bridging between Middleware Systems: Optimisations Using Downloadable Code 120
Introduction 120
Bridging 121
Downloadable Code 122
Optimising Transport-Level Bridging 123
Service Cache Manager 124
Optimising Service-Level Bridging 125
Device-Level Bridging 126
Optimising Device-Level Bridging 127
Event Handling 128
Implementation of Optimised Jini-UPnP Bridging 128
Assessment 129
Transport-Level Optimisation 129
Service-Level Optimisation 130
Device-Level Optimisation 130
Generality 131
Value of Work 131
Conclusions 132
References 132
MDE for BPM: A Systematic Review 134
Introduction 134
Systematic Reviews 136
Review Results 137
Studies Selection 137
Classification of Studies 138
Findings and Analysis 138
Conclusions and Future Work 141
References 142
Exploring Feasibility of Software Defects Orthogonal Classification 143
Introduction 143
Related Works 144
Study Motivations and View 144
Goal and Experiment Hypotheses 145
Experiment Planning and Operation 146
Independent Variables: Parameters, Blocking Variables and Factors 146
Dependent Variables 147
Results and Data Analysis 148
Descriptive Statistics 149
Hypothesis Testing 154
Discussion 156
Experiment Results 156
Threats to Validity 158
Conclusions and Future Works 158
References 159
Mapping Medical Device Standards Against the CMMI for Configuration Management 160
Introduction 160
Medical Device Industry 161
CMMED Development 162
Guideline Mapping 163
Goal 1: Establish Baselines 163
Goal 2: Track and Control Changes 166
Goal 3: Establish Integrity 167
Preliminary Feedback 169
Summary and Conclusions 170
References 171
A Systematic Review Measurement in Software Engineering: State-of-the-Art in Measures 172
Introduction 172
Systematic Reviews 173
The Systematic Review Process 174
Systematic Review about Software Measures 175
Result Analysis 176
Conclusions and Further Work 181
References 182
Engineering a Component Language: CompJava 184
Introduction 184
Language Requirements 185
CompJava Overview 188
Component Types 189
Low-Level Components 190
Implementing Provided Ports 190
Accessing Required Ports 191
Component Composition 192
Subcomponents 192
Connecting Ports with Plugs 192
Factoring Out SourceHandling 194
Dynamic Architectures 195
Conclusions 198
References 198
PART III Distributed and Parallel Systems 199
Towards a Quality Model for Grid Portals 200
Introduction 200
Quality Model for Grid Portals 201
Adaptation of the PQM Dimensions 201
Inserting New Dimensions 203
Definitive Model (G-PQM) 203
Applying G-PQM 204
GridPort Demo Portal 204
OGCE Portal 205
Conclusions and Future Work 207
References 207
Algorithmic Skeletons for Branch and Bound 209
Introduction 209
Branch and Bound 210
Branch and Bound Skeletons 212
Design with a CentralizedWork Pool Manager 212
Distributed Work Pool 214
Load Distribution and Knowledge Sharing 216
Termination Detection 217
Experimental Results 218
Conclusions 222
References 222
A Hybrid Topology Architecture for P2P File Sharing Systems 225
Introduction 225
P2P Overlay Networks 226
Description of the System 227
Obtaining the Identifiers and Joining the General Network 228
Joining the Sub-group 228
Management of the Hierarchy 228
Management of the Rendez-Vous Nodes 228
Registering the Shared Files 229
Search 229
Advantages of the System 229
Simulations 229
Conclusions 233
References 233
Parallel Processing of “Group-By Join” Queries on Shared Nothing Machines 235
Introduction 235
The BSP Cost Model 237
Computation of “Group-By Join” Queries 238
Presented Algorithm 239
Conclusions 244
References 245
Impact of Wrapped System Call Mechanism on Commodity Processors 247
Introduction 247
Scheduling Mechanisms in CEFOS 248
CEFOS for Fine-GrainedMultithreading 248
Display Requests and Data (DRD) Mechanism 249
WSC Mechanism 250
Evaluation: System Call Overhead 251
Estimation of the Effectiveness ofWSC 251
Performance Evaluation Using getpid() 253
Evaluation: Locality of Reference 254
cp Program 254
Performance Evaluation 256
Conclusions 257
References 258
PART IV Information Systems and Data Management 259
Adding More Support for Associations to the ODMG Object Model 260
Introduction 260
ORN and Related Work 262
Adding ORN to ODL 263
Associations in ODL 263
Adding ORN Syntax 264
ORN Semantics in ODL Context 266
Implementing ORN 268
Conclusions 270
References 271
Measuring Effectiveness of Computing Facilities in Academic Institutes: A New Solution for a Difficult Problem 273
Introduction 273
Proposed Model 274
Model Validation 275
Data Collection 276
Data Analysis and Results 276
Hypotheses 277
Conclusions 279
References 279
Combining Information Extraction and Data Integration in the ESTEST System 282
Introduction 282
Background 283
The ESTEST System 284
Integrate Data Sources 285
CreateMetadata to Assist the IE Process 288
Information Extraction Component 290
Integrate Results of IE 291
Remaining ESTEST Phases 291
Experiments with Road Traffic Accident Data 291
Related Work 292
Conclusions and Future Work 293
References 294
Introducing a Change-Resistant Framework for the Development and Deployment of Evolving Applications 296
Introduction 296
Defining the Puzzle 299
MDA and Microsoft Software Factories 299
Rethinking MDA 301
The Proposed Framework 302
Domain Model 303
Application Model 305
Operation Model 306
Discussion 307
Conclusions and Further Research 307
References 309
Smart Business Objects for Web Applications: A New Approach to Model Business Objects 310
Introduction 310
Related Work 312
Smart Business Object 313
High-Level Architecture of Smart Business Object 314
The Smart Business Object Schema 315
Smart Business Object Modelling Language 317
Creating Web Applications Using Smart Business Object 321
Creating a Customer Relationship Management (CRM) Application 322
Conclusions 324
References 324
A Data Mining Approach to Learning Probabilistic User Behavior Models from Database Access Log 326
Introduction 326
Problem Definition 327
Our Approach 329
Experiments 332
Conclusions 334
References 335
PART V Knowledge Engineering 336
Approximate Reasoning to Learn Classification Rules 337
Introduction 337
The Supervised Learning Method Sucrage 338
Rules Generation 338
Basic Inference Engine 340
Approximate Reasoning 340
Proximity between Observation and Premise 341
Approximate Inference 342
Approximate Reasoning to Learn New Rules 343
Method with a Constant Number of Rules 343
Method with Addition of Rules 344
Tests and Results 345
Results of the Method with a Constant Number of Rules 345
Results of the Method with Addition of Rules 346
Conclusions 347
References 348
Combining Metaheuristics for the Job Shop Scheduling Problem with Sequence Dependent Setup Times 350
Introduction 350
Problem Formulation 351
Genetic Algorithm for the SDJSS Problem 352
Decoding Algorithm 354
Local Search 355
Feasibility Checking 357
Makespan Estimation 358
Experimental Study 358
Conclusions 361
References 362
A Description Clustering Data Mining Technique for Heterogeneous Data 363
Introduction 363
Overview of Our Proposal 365
Formal Definitions 366
Finding Interesting Subdescriptions 368
Extracting Association Rules 369
Preliminary Results 371
Conclusions and Future Work 373
References 374
A Pattern Selection Algorithm in Kernel PCA Applications 376
Introduction 376
Algorithm 378
PCA Algorithm 378
KPCA Algorithms 380
KPCA Pattern Selection Algorithm 381
Data 383
Results 384
Discussion and Conclusions 387
References 388
Author Index 390

Produkt-Details

• Erscheint lt. Verlag: 1.1.2008
• Sprache: englisch
• Themenwelt: Informatik ► Datenbanken ► Data Warehouse / Data Mining
• Themenwelt: Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
• Themenwelt: Mathematik / Informatik ► Informatik ► Software Entwicklung
• Themenwelt: Informatik ► Theorie / Studium ► Algorithmen
• Schlagworte: aspect-orientation • case-based reasoning and development • Complexity • databases, data-mining and data-warehouses • Data Semantics • Declarative Languages • Dependable Computing • expert systems applications • geographic information systems • grid computing • high performance comoputing • information retireval • Information systems development • intelligent problem solving • internet information systems • knowledge management • Knowledge Representation • languages and compilers • load balancing and scheduling • machine learning • management information systems • Multi-agent Systems • Natural Language Processing • object-oriented programming • programming • Programming language • real-time software • reliable software technologies • Reverse Engineering • semantic Web technologies • software arch • Software Architectures • software components • Software Economics • Software engineering • software maintenance • ubiquitous computing • User Modeling • visual programming
• ISBN-10: 3-540-70621-6 / 3540706216
• ISBN-13: 978-3-540-70621-2 / 9783540706212