|
Tracks & Session
Special Tracks
-
Service Engineering in a
converging Telecommunications / Web 2.0 World
Organizers: T. Magedanz, TU Berlin and Fraunhofer
FOKUS, D; Noel Crespi, GET, F
-
Tools and Applications in
Industrial Software Quality Control
Organizers: Antti Huima, Conformiq Software (Espoo,
Finland); Alexander K.Petrenko ISPRAS (Moscow,
Russia)
-
Introduction of Multi-Core
Systems in Automotive Applications
Organizers: Jörn Schneider, Robert Bosch GmbH,
Stuttgart, Germany; Dirk Ziegenbein, ETAS GmbH,
Stuttgart, Germany; Björn Lisper, Mälardalen
University, Sweden; Christian Metzler, BMW Car IT,
Munich, Germany
-
Model-Driven SOA
Organizers: Schahram Dustdar, Karl M. Göschka,
Hong-Linh Truong, Uwe Zdun, Distributed Systems Group
Vienna University of Technology, Austria
-
Applications of Formal
Approaches to Service-Oriented Computing
Organizers: Stefania Gnesi and Bernd Krämer
-
Trustworthy Computing: Theories,
Methods, Tools and Experience in China and South East
Asia
Organizers: Jin Song Dong, National University of
Singapore; He Jifeng, East China Normal University,
China; Zhiming Liu, UNU-IIST. Macao; Jian Lu, Nanjing
University, China; Ji Wang, Changsha Institute of
Technology, China;
-
Non-Functional Requirements in
Embedded Systems
Organizers: Raimund Kirner (Real-Time Systems Group,
TU Vienna); Peter Puschner (Real-Time Systems Group,
TU Vienna); Christian Schallhart (Foundations of
Software Reliability and Theoretical Computer
Science, TU Munich); Helmut Veith (Formal Methods in
Systems Engineering, TU Darmstadt); Martin Wechs (BMW
Group, Research and Technology, Munich)
-
Processes, Methods and Tools for
Developing Educational Modules to Support Teaching
and Technology Transfer
Organizers: Ellen Francine Barbosa and José Carlos
Maldonado (University of São Paulo - ICMC/USP São
Carlos (SP) - Brazil)
-
Ubiquitous and Context Aware
Systems
Organizers: Karin Breitman (PUC-Rio, Brazil); Mike
Hinchey (LERO - Ireland); Edward Hermann Haeusler
(PUC-Rio, Brazil); Jean-Pierre Briot (UPMC - LIP6 -
France)
-
Formal Methods for Analysing and
Verifying Very Large Systems
Organizers: Jens Knoop (TU Vienna, Austria); Markus
Schordan (TU Vienna, Austria); Tom Ball (Microsoft
Research, USA)
-
Formal languages and methods for
designing and verifying avionics, space and transport
systems
Organizers: Yamine AIT AMEUR (LISI/ENSMA- Poitiers-
France) Bruno d'Ausbourg (ONERA/DTIM - Toulouse
France) Frédéric Boniol (IRIT/ENSEEIHT - Toulouse
France) Paul Gibson (IT Sud Paris - Evry, France)
Dominique Mery (LORIA - Nancy Université - France)
Virginie Wiels (ONERA/DTIM- Toulouse France)
Thematic Sessions
Special Tracks
top
-
Special Track on "Service
Engineering in a converging Telecommunications / Web
2.0 World"
part of the 3rd International Symposium On Leveraging
Applications of Formal Methods, Verification and
Validation (Isola 2008), Porto Sani Resort, Kassandra
(Greece), 13-16 October 2008,
http://www.cs.uni-potsdam.de/isola2008
The telecommunications, internet and information
technology worlds are converging. In this context
emerging service oriented architectures (SOAs) over
next generation networks (NGNs) are considered to be
of key importance for the rapid and efficient
creation, provisioning and delivery of seamless
multimedia information and communications services.
As the future converged telecommunications and
internet world will be an open environment, in which
various players, such as network providers, service
platform operators, as well as application and
content providers, will have to work together to
deliver an open set of services, the role of formal
methods, verification and validation will become of
increasing importance. This becomes even more
important when we look at the Web 2.0 and consider
the emergence of user generated content and
applications. In this special track we want to
provide a snapshot of the current modeling issues and
possible solutions in an emerging SOA-based
telecommunications/web 2.0 environment.
Topics of interest include:
- Lessons learned from
value added service design in classical fixed and
mobile telecommunications
- Value added service
engineering in voice over IP / SIP networks
- Service engineering in
Web 2.0 environments
- Service engineering for
converging networks / next generation networks (NGNs)
- Impacts of media
services / IPTV / Triple play on service engineering
- Service Creation,
Service Orchestration, Service Brokering in SOA based
telecom environments
- Design of emerging
converged network service enablers
- Model driven design for
telecommunications and integrated telecom/business
services
- Policy-based Service
Engineering
- User service creation
and service modeling
- Experiences in the
application of formal models and model driven design
for Telco Service Engineering
- Experiences from test
beds for advanced Telco Service Engineering
Important Deadlines:
Submission: May 4th
Acceptance: June 15th
Final version: July 15th
Early Registration: September 15th
Track Co-Chairs:
Thomas Magedanz, TU Berlin / Fraunhofer FOKUS,
Germany
Noel Crespi, GET, France
Track PC:
Eric Burger, BEA, USA
Klaus David, Kassel University, Germany
Stefan Holtel, Vodafone Research, Germany
Nick Hulsak, AT&T, USA
Ajit Jaokar, Futuretext, UK
Pieter Kritzinger, University of Capetown, South
Africa
Roberto Minerva, Telecom Italia, Italy
Ulrich Staiger, Deutsche Telekom, Germany
as PDF:
top
-
Tools and Applications in
Industrial Software Quality Control
Quality control (verification and validation) is one
of the most popular and research intensive domain in
software quality assurance. This Special Track
focuses on *formal techniques for quality control
that have been applied in the industry*.
As large scale deployments require integrated
approaches and a multidimensional view on software
development, this Special Track brings together
researchers working on formal techniques with tool
developers, practitioners, and experts from the
industry.
The Special Track will be part of the "2008
ISoLA International Symposium on Leveraging
Applications of Formal Methods, Verification, and
Validation".
Topics of interest include:
- Quality control tools
implementing formal methods,
- Verification and
validation support used in real-world software or
hardware design projects,
- Integration of different
formal techniques in computer systems development,
- Integration of different
formalization paradigms in industrial applications,
- Requirements and
standards analysis, modeling, and formalization,
- Interoperability
analysis,
- Real-life projects/case
studies used formal specification and models for
verification and validation,
- Deploying formal methods
in the industry,
- Metrics of software
development processes used formal methods
Track Organizers:
Antti Huima, Conformiq Software (Espoo, Finland)
Alexander K.Petrenko ISPRAS (Moscow, Russia)
top
-
Introduction of Multi-Core
Systems in Automotive Applications
Multi-core systems are making their way into
automotive applications. The major driver for this is
the growing need for more performance, paired with
the problems that come along with higher clock
frequencies of microprocessors, namely heat
dissipation, and EMC. The need of the automotive
industry is to parallelize their applications, to
keep these problems at bay. Yet parallelizing complex
legacy applications exceeding a million lines of code
like engine control, vehicle dynamics, or driver
assistance systems is not that easy. Those systems
where developed having a single execution unit in
mind. For efficiency reasons those systems often rely
on concepts exploiting the fact that a preemptable
single core system provides concurrency but no true
parallelism. What makes the situation worse is that
many of the applications have to guarantee hard
real-time constraints. The latter means that the
parallelized system has to provide predictable
real-time behaviour with as much system utilization
as possible.
In short: the migration to multi-cores systems is a
paradigm shift for the automotive industry and a
challenge for the research community. This paradigm
shift increases the need for suitable formal methods
and provides an excellent opportunity for
transitioning tailored methods from academia to
industry.
Contributions should be concerned with the questions
how formal, or semi-formal methods can support the
migration to multi-core systems, and how future
automotive multi-core systems should look like to
make them amenable to that support. The special track
aims at bringing together practitioners, researchers,
and experts from academia and industry.
Topics of interest include:
- Model based development
for multi-core systems
- Suitable levels and
methods of parallelization
- Automated analysis of
legacy applications to identify parallelizable parts
- Timing analysis for
multi-core systems (e.g. WCET analysis,
schedulability analysis)
- Real-time multi-core
operating systems
- Verification of
multi-core systems
- Performance optimization
and mapping of software components in multi-core
systems
Track Organizers:
Jörn Schneider, Robert Bosch GmbH, Stuttgart, Germany
Dirk Ziegenbein, ETAS GmbH, Stuttgart, Germany
Björn Lisper, Mälardalen University, Sweden
Christian Metzler, BMW Car IT, Munich, Germany
top
-
Model-Driven SOA
Service-oriented architectures (SOA) are increasingly
used in the context of business processes, enterprise
application integration, business-to-business
communication, and many other application areas. As a
consequence, many modeling domains need to be
considered and the different kinds of models need to
be integrated. For instance, among many other
modeling domains, we need to consider component
architectures, message flows, transactions,
dependability, security, workflows/business
processes, programming language (snippets), business
object designs, and organizational models. In
addition, application domains introduce domain
models, such as banking or insurance domain models.
For many of the modeling domains, formal models have
been proposed, but in many cases they are not well
integrated with each other and/or the technologies
used to implement them. The model-driven approach
offers a chance to overcome this problem.
The special track aims at bringing together
researchers and practitioners who work in this area.
The Special Track will be part of the 3rd ISoLA
Symposium (Int. Symposium on Leveraging Applications
of Formal Methods, Verification and Validation).
Topics of interest include:
- Integration of (formal)
models in a model-driven tool chain
- Integration of rigorous
development methods with model-driven techniques
- Integration of various
(formal) models in a SOA using model-driven
techniques
- Validation and
verification of models in a model-driven approach
- Mapping (formal) models
to (various) technologies using model-driven
techniques
- Model-driven development
methodology for SOA
- Tools for support of
model-driven SOA
- Model transformations of
SOA models
- QoS awareness and SLA
contracts in model-driven SOA
- Application areas and
case studies
Track Organizers:
Schahram Dustdar, Distributed Systems Group Vienna
University of Technology, Austria
Karl M. Göschka, Distributed Systems Group Vienna
University of Technology, Austria
Hong-Linh Truong, Distributed Systems Group Vienna
University of Technology, Austria
Uwe Zdun, Distributed Systems Group Vienna University
of Technology, Austria
as PDF:
top
-
Applications of Formal
Approaches to Service-Oriented Computing
Service-oriented computing (SOC) is an emerging
paradigm for developing loosely coupled,
interoperable, evolvable applications. SOC exploits
the pervasiveness of the Internet and its related
technologies. SOC systems deliver application
functionality as services to either end-user
applications or other services. The visionary promise
of SOC is a world of cooperating services where
application components are assembled with little
effort into a network of services that can be loosely
coupled to create dynamic business processes and
agile applications that span organizations and
computing platforms.
Service oriented computing promises to help companies
to create new value from existing investments, reuse
efforts across many projects and resources, and
achieve new levels of agility through greater
flexibility and lower cost structures.
Service oriented computing encompasses many concepts
and technologies that find their origins in diverse
disciplines that are woven together in an intricate
manner. This constitutes a serious challenge for the
development of new generation service technologies
and engineering methods for service-based systems.
The proposed track seeks successful applications of
more advanced models, techniques and tools that are
both well- founded in rigorous and mathematical
approaches and are beneficial to current service
practice by overcoming the barriers of current
service-oriented computing solutions.
This special track aims to bring together researchers
and practitioners with different competences,
including software engineering, information systems,
grid computing, distributed systems, business process
management.
The Special Track will be part of the 2008 ISoLA
International Symposium on Leveraging Applications of
Formal Methods, Verification, and Validation.
Topics of interest include:
- service foundation
including architectural and computational models,
service infrastructures, dynamic configuration or
automated adaptation of service delivery to use
conditions
- service composition
models and techniques including QoS-driven and
SLA-driven composition, service adaptation and
customization
- service management
including discovery, introspection, resource
management, policy modeling and observation,
infrastructure services
- modeling, measurement
and monitoring of QoS and other non-functional
service properties
- trust, security &
privacy in SOC
- service and business
process modeling
- analysis, testing, and
verification of services
- case studies on SOC
based applications.
Track Organizers:
Stefania Gnesi ()
Bernd Krämer ()
top
-
Trustworthy Computing: Theories,
Methods, Tools and Experience in China and South East
Asia
A fundamental problem in computer science is how to
construct and document the correct models of a
software and how to construct the program to meet the
specification. After a half decade study in formal
methods, we now have gained a good theoretical
understanding of how to describe what programs do,
how they do it, and why they work. Theories and tools
have been developed and applied to the design,
development and manual verification of simple
programs of moderate size that are used in critical
applications. These have significantly improved the
trustworthiness of computing systems. The first
edition of this ISoLA special track was founded in
2006 in response to Tony Hoare's initiative on
the international Grand Challenge Project on Verified
Software. Since then, there has been a significantly
increasing effort in this area in China and South
East Asia, from "(almost) the entire research
community", including theoretical researchers,
compiler writers, tool builders, software developers
and users.
The aim of this Special Track is to call researchers,
practitioners and experts from universities and
industry in China and South East Asia to share and
exchange with the international community their
ideas, theoretical findings, experience in
development and use of theories, methods and tools in
trustworthy computing and systems development.
Topics of interest include:
- Software modelling and
specification
- Various Verification
techniques and their relations
- Correctness by design,
construction and compilation
- Integrating methods and
their theories
- Integrating formal
method tools
- Model transformation and
code generation
- Formal methods based
reverse engineering
- Formal methods based
testing
- Measurement, management
and evaluation of trustworthy software
- Reliable computing
environment modelling and construction
- Programming theory
- Software runtime monitor
and control
- Case studies
Track Organizers:
Jin Song Dong (), National University of
Singapore
He Jifeng (), East China Normal
University, China
Zhiming Liu () (coordinator), UNU-IIST.
Macao
Jian Lu (), Nanjing University, China
Ji Wang (), Changsha Institute of
Technology, China
Keynote
Speaker: Prof. He Jifeng, East China Normal
university
top
-
Non-Functional Requirements in
Embedded Systems
As embedded devices are tightly integrated into
complex environments, they are subject to a wide
variety of non-functional requirements concerning
dependability, robustness, security, execution time,
power consumption, economic cost and intellectual
property rights. Ranging from mobile entertainment
devices to safety critical automotive and aerospace
components, each application domain comes with its
own and distinctive combination of non-functional
requirements which reflect the forces present in the
respective domain.
Regardless of the application domain, the management
of non-functional requirements is critical to the
success of embedded systems from the early
development phases until system deployment. Thus, the
continuous and tool-supported management of
non-functional requirements throughout different
development phases, system views and abstraction
levels, as well as their assessment, experimental and
formal verification have been identified as major
challenges.
This special track will facilitate the exchange
between the industrial and academic communities
involved in embedded systems engineering. The special
track will be part of the 2008 ISoLA International
Symposium on Leveraging Applications of Formal
Methods, Verification, and Validation.
Topics of interest are contributions to
non-functional requirements in embedded systems,
including dependability, robustness, security,
execution time, power consumption, economic cost, and
intellectual property. In particular, papers are
sought in areas such as:
- Elicitation, management
and maintainability of non-functional requirements
- Representation of
non-functional requirements
- Assessment and
evaluation of non-functional requirements
- Experimental and formal
verification of non-functional requirements
- Code generation and
deployment guided by non-functional requirements
- Industrial best-practice
reports on the use of non-functional requirements in
embedded systems
Track Organizers:
Raimund Kirner (Real-Time Systems Group, TU Vienna)
Peter Puschner (Real-Time Systems Group, TU Vienna)
Christian Schallhart (Foundations of Software
Reliability and Theoretical Computer Science, TU
Munich)
Helmut Veith (Formal Methods in Systems Engineering,
TU Darmstadt)
Martin Wechs (BMW Group, Research and Technology,
Munich)
top
-
Processes, Methods and Tools for
Developing Educational Modules to Support Teaching
and Technology Transfer
Several initiatives on using new computing
technologies have been investigated in order to
facilitate the learning process in general. The
challenge is to provide ways to establish quality
educational products, capable of motivating the
students and effectively contribute to their
knowledge construction process in active learning
environments. Also, there is a need for a global
education, capable of crossing international,
cultural and social borders in order to prepare both
students and practitioners for the global market.
Educational modules can be explored in this
perspective. Basically, an educational module is a
concise unit of study, composed by theoretical and
practical content which can be delivered to learners
by using technological and computational resources.
For theoretical content, instructors use books,
papers, web information, slides, class annotations,
audio, video, and so on. Practical content is the
instructional activities and associated evaluations,
as well as their resulting artifacts (e.g.,
executable programs, experimental studies,
collaborative discussions). Theoretical and practical
content are integrated in terms of learning
materials. Learning environments, presentation tools
and mechanisms to capture classroom lectures and to
support discussion spaces and collaborative work are
examples of the required infrastructure for
delivering the learning materials. Besides that,
educational modules themselves should be evolvable,
reusable and adaptable to different educational and
training scenarios, according to the learner's
profile, instructor's preferences, learning goals
and course length, among others.
Similar to software products, educational modules
require the establishment and integration of methods,
tools and procedures into systematic processes aiming
at producing quality products. None of the
initiatives to address the problem of creating
educational modules considers a systematic process
for developing them. In short, the development of
such modules can involve developers from different
domains, working on multidisciplinary and
heterogeneous teams, geographically dispersed or not.
They should cooperate, sharing data and information
regarding the project. Furthermore, we should
consider the adoption of supporting tools, which can
be used either as part of the educational module
under construction or as a mechanism to automate its
development process.
This track aims at bring together researchers and
practitioners in the establishment and use of
systematic processes for creating and reusing
well-designed, highly flexible and configurable
educational modules, which would provide: (1)
transferability to different institutions and
learning environments; (2) effective support to
traditional learning approaches; and (3) effective
support to non-traditional environments, motivating
the transition from lecture-based to active learning.
The idea is to promote advance in the research and
practice in the area by aiding the establishment of
collaborations and joint projects.
In exploring this theme, we wish to encourage papers
within the following topics of interest:
- Teaching processes and
methodologies.
- Design of new courses
and materials.
- Learning environments
and tools.
- Studies of educational
practices.
- Industry-academia
collaboration models.
- Internet course delivery
techniques.
The track would be 3 hours-long (half-day track),
having 6 papers. Papers submitted for the track
should report on original research, must contain at
least 30% of new material compared to the
conference/workshop paper, and should not be under
consideration for publication by any other journal.
The track organizers will be in charge of managing
the review process of the papers submitted to the
track.
Track Organizers:
Ellen Francine Barbosa (University of São Paulo -
ICMC/USP, São Carlos (SP) - Brazil)
José Carlos Maldonado (University of São Paulo -
ICMC/USP, São Carlos (SP) - Brazil)
as PDF:
top
-
Ubiquitous and Context Aware
Systems
The anywhere/any time paradigm is becoming the new
challenge to the conception, design, and release of
the next generation of information systems. New
technologies, like Wi-fi networks and 3rd generation
mobile phones, are offering the infrastructure to
conceive information systems as ubiquitous, that is,
systems that are accessible from anywhere, at any
time, and with (almost) any electronic device.
Ubiquity is not yet another buzzword pushed by
emerging technologies, but rather a means of
supporting new business models and encouraging new
ways of working. Ubiquitous collaboration systems
require new conceptualizations, models,
methodologies, and support technologies to fully
explore its potential.
Although context-awareness is a central paradigm for
the implementation of ubiquitous systems, it still
lacks adequate methods and tools that support the
development of such systems. In particular, there is
urgent need of formal methods for modeling context,
describing the interplay between systems and
environments, and for enabling automatic or
semi-automatic verification or model checking tools.
Hence, in this special track we focus on formal
aspects and their application in this new and
challenging research field of ubiquitous and
context-aware systems.
Topics of interest include (but are not limited to):
- Formal context
representations
- Ontologies
- Category Theory
- Formal Data
Representation and Manipulation
- Specification modeling
and analysis of context aware systems using
- Process Algebras
- Logic based models
- Model checking
- Formalization and
V&V applied to:
- Information
Management
- Middleware for
Ubiquitous Computing Applications
- Web Information
Retrieval
- Knowledge Networks
and Management
- Web Agents and
Agent-based Systems
- Social Intelligence
Design
- Environment and
systems modeling
- Social Intelligence
Design
Session Organizers:
Karin Breitman (PUC-Rio, Brazil)
Mike Hinchey (LERO - Ireland)
Edward Hermann Haeusler (PUC-Rio, Brazil)
Jean-Pierre Briot (UPMC - LIP6 - France)
IMPORTANT DATES:
Submission: May 21th
Acceptance: June 16th
Final version: July 15th
Early Registr.: September 15th
as PDF:
top
-
Formal Methods for Analysing and
Verifying Very Large Systems
As the volume of existing software in the industry
grows at a rapid pace, the problems of understanding,
maintaining, and developing these systems require
ever more sophisticated and scalable methods for
analysing and verifying them. The complexity here
often results from the sheer size of the systems to
be routinely seen in practice these days, which often
requires the orchestrated use of diverse methods and
a careful balance of the usual trade-off between
run-time, memory-requirements, and precision of a
method. This track aims at investigating and
highlighting what advantages the usage of formal
methods can yield to address and overcome these
problems.
The track aims at bringing together researchers,
practitioners, and experts from academia and industry
working on the analysis and verification of systems,
especially of very large systems. Particularly
welcome are research papers presenting
- original contributions
- work-in-progress
- position papers
- reports on industrial
and open-source applications
- experience reports on
analysing and verifying systems, especially of very
large ones.
The type of a submission should be clearly marked as
an addition to the title of the paper.
The Special Track will be part of the 2008 ISoLA
International Symposium on Leveraging Applications of
Formal Methods, Verification and Validation.
Topics of interest include (but are not limited to):
- Formal methods and their
role and impact in this area
- Static and dynamic
methods and tools based on them for system analysis
and verification such as abstract interpretation,
data-flow analysis, model-checking, symbolic
analysis, and testing.
- Integration and
orchestration, scalability and precision of such
methods
- Experience reports and
case studies on preferably very large scale
industrial and open source applications including
acceptance problems
- Current and future
challenges.
Session Organizers:
Jens Knoop (TU Vienna, Austria)
Markus Schordan (TU Vienna, Austria)
Tom Ball (Microsoft Research, USA)
IMPORTANT DATES:
Submission: June 23rd
Acceptance: July 7th
Final version: July 15th
Early Registr.: September 15th
top
-
Formal languages and methods for
designing and verifying avionics, space and transport
systems
Due to safety constraints, avionics, aerospace and
more generally transport systems often have to go
through certification. This requires testing, and a
design process based on a set of tight rules.
However, due to their increasing complexity, there is
clearly no guarantee that such tight rules and
rigorous testing will lead to error free systems. An
alternative approach for helping embedded (transport)
system designers is formal methods, i.e. fundamental
languages, techniques and tools for design, analysis,
validation or transformation of systems in a provably
correct way. Indeed, formal techniques, in particular
formal specification languages and associated proof
tools, could be an advantageous alternative or at
least a good complement which would facilitate a
significant reduction in test phases. Several formal
languages methods, tools and techniques have been
applied for the development of such systems in
different parts of the world and they have been put
into practice during the development of actual,
specific programmes (aircraft, space vehicle...).
This thematic track is devoted to compile the
state-of-the-art in formal methods applied to the
development of avionics, aerospace and transport
systems. It will highlight on the recent advances in
the use of these methods. Particularly welcome are
reports, research and position papers, issued either
from the academic or industrial worlds, presenting
- original contributions
- work-in-progress
- position papers
- experiments on
industrial case studies.
The Special Track will be part of the 2008 ISoLA
International Symposium on Leveraging Applications of
Formal Methods, Verification and Validation.
Topics of interest include (but are not limited to):
- specification, design
and architecture languages
- validation and
verification methods for critical embedded systems,
such as model checking, proof based techniques...
- functional requirements
engineering
- methods for
human-machine interface verification
- case studies and project
results in the context of avionics and/or aerospace
applications.
Session Organizers:
Yamine AIT AMEUR (LISI/ENSMA- Poitiers- France.
)
Bruno d'Ausbourg (ONERA/DTIM - Toulouse France.
)
Frédéric Boniol (IRIT/ENSEEIHT - Toulouse France.
)
Paul Gibson (IT Sud Paris - Evry, France. )
Dominique Mery (LORIA - Nancy Université - France.
)
Virginie Wiels (ONERA/DTIM- Toulouse France.
)
IMPORTANT DATES:
Submission: June 23rd
Acceptance: July 7th
Final version: July 15th
Early Registr.: September 15th
as PDF:
Thematic Sessions
top
-
Tools for Service-oriented
DisCovery of Knowledge
A major challenge for third generation data mining
and knowledge discovery systems is the integration of
different data/knowledge resources (which are highly
diverse in nature in terms of representation and data
formats) and computer systems (tools for data
integration, data mining and knowledge discovery)
which are distributed across the network. The
emerging third generation data mining and knowledge
discovery systems should be able to mine distributed
and highly heterogeneous data found on
intranets/extranets/grid, and integrate efficiently
with operational data/knowledge management and data
mining systems.
Compared to contemporary search engines which provide
a means of locating data on the net, third generation
data mining and knowledge discovery systems will
provide a means for discovering patterns,
associations, changes and anomalies in networked
data, where each data source comes with its own
structure, semantics, data formats, names, concepts
and access methods. Currently, the burden falls on
the user to manually (via programs) convert between
the data formats, resolve conflicts, integrate data
and interpret results in order to make viable use of
this information.
This thematic session addresses novel approaches and
key tools which will make third generation data
mining and discovery of knowledge possible:
- Providing meta-data
(semantic annotations) of different information
resources (data, human-coded knowledge, and
machine-induced patterns and predictive models) and
data mining and knowledge discovery systems (pattern
mining and model discovery tools);
- Implementation of data
mining and knowledge discovery tools as services
available on the web. Such service-oriented data
mining and knowledge discovery systems will enable
meta-level search of data/knowledge resources and
systems, enabling the construction of knowledge
discovery scenarios (workflows of potentially
repeatable sequences of data mining and data
integration steps), resulting in improved pattern and
model discovery.
Topics:
- Frameworks for third
generation data mining and knowledge discovery
- Inductive databases,
Constraint-Based Data Mining and Inductive Queries
- Learning from data and
knowledge (texts, ontologies, ...)
- Service-oriented
approaches to data mining
- Meta-level annotations
and search for data mining services
- Data mining
workflows/scenarios
- Data mining on the grid
- Applications of
service-oriented data mining approaches in business,
ecological modeling, medicine, health care,
e-science, bioinformatics, ...
Foreseen contributions: we will use as a basis papers
from partners in a (future) European project and
sollicit additional papers from various researchers
in the field.
Session Organizers:
Axel Hahn (University of Oldenburg, Germany)
Nada Lavrac (Jozef Stefan Institute, Ljubljana,
Slovenia)
Joost Kok (Leiden University, The Netherlands)
as PDF:
top
-
Tackling the challenges of
Software Development Process for SMEs with Rigorous
Support and Open Source
Software development is a fast paced world, where
methods and technologies evolve daily, requiring the
producers to rapidly adapt their processes and tools
to the new needs to prevent losing their edge on the
market. Though these problems are a challenge for all
the companies that are not merely consumers of IT,
they afflict more small and medium enterprises (SME)
producing software, including the medium and small
software departments of manufacturers and (non IT)
service providers, because of severe limitation on
the available resources.
Rigorous approaches to the many aspects of software
development, including well-defined internal process
models, support for business analysis and modelling,
reuse of experience, adoption of best technologies
and practices and finally continuous formation of the
professionals - would be especially useful for SME,
where the development is so risky. Instead, in many
cases the daily urge for production completely
absorbs all resources and time. To improve the
adoption of good practices in SMEs, tools supporting
the development process are needed. But, on one hand
the commercial tools are often too expensive for SMEs
and on the other hand self-production is impossible,
due to the lack of competences on the formal aspects
that the tools should manage. A possible solution to
this impasse is a joint development by SME consortia
possibly involving educational/research institutions.
Indeed, in Europe several such initiatives have
recently taken place but, due to the fragmentation of
the potential market, the results are not
sufficiently known to other potentially interested
users. Another approach to the problem is the
adoption of open source systems. Indeed, in that case
the economical impact is limited to the costs of the
effort diverted from the production to tailoring the
system and training the users. Thus, the production
of open source systems supporting the process of
software development is becoming more and more
relevant to the practice in the SMEs.
This thematic session addresses rigorous approaches
and tools to support the software development process
for the SMEs, with a special interest for those
published as open source. We aim to spread
information about the available methodologies,
technologies and tools to help the end users, that is
the SMEs, to orient themselves among the existing
products and to define the requirements for more
integrated and challenging tools to be developed in
the future, hopefully providing the seeds for a
community capable of future cooperation and concerted
actions.
Topics:
Methodological and tool support, based on rigorous
theories and techniques, addressing the following
areas with a clear indication of applicability in the
context of SMEs:
- rigorous and easy to use
representations of internal process models;
- business analysis and
modelling;
- reuse and sharing of
experience;
- adoption of best
technologies;
- quality assessment and
management;
- managing and enforcing
security policies;
- continuous formation of
the professionals.
Foreseen contributions: we will use as a basis papers
from ongoing cooperative efforts between the academy
and industry. Moreover, we strongly solicit
additional papers from various researchers in the
field.
Session Organizers:
Ruth Breu (University of Innsbruck, Austria)
Maura Cerioli (Disi, Genova - Italy)
Enrico Pittaluga (ETT -Electronic Technology Team,
Genova - Italy)
|
|