Datenbankseminar

Die Arbeitsgruppe "Technologie der Informationssysteme" bietet ein Seminar mit Vorträgen rund um aktuelle Forschungsthemen aus dem Bereich der Datenbanken und Informationssysteme an. Neben theoretischen Grundlagen werden auch Anwendungen und aktuelle Technologien angesprochen und diskutiert.

 


Vortragstermine

Datum

Vortragender

Betreuer

Thema

pdf

15.01.2009

D. Degraf

Prof. Thalheim

Formale Semantik von UML-Aktivitätsdiagrammen

 

22.01.2009

A. Shmidt

Prof. Klein

Automatic Complex Schema Matching Across Web Query Interfaces: A Correlation Approach

 

29.01.2009

E. Besel

Prof. Thalheim

Geschachtelte Transaktionen

 

 

 


Themenübersicht

Nr.

Thema

1.

Wiederverwendung

Colette Roland, Vronique Plihon, Jolita Ralyt: Specifying the Reuse Context of Scenario Method Chunks World Wide Web

@inproceedings{679735,
author = {Colette Rolland and V\'{e}ronique Plihon and Jolita Ralyt\'{e}},
title = {Specifying the Reuse Context of Scenario Method Chunks},
booktitle = {CAiSE '98: Proceedings of the 10th International Conference on Advanced Information Systems Engineering},
year = {1998},
isbn = {3-540-64556-X},
pages = {191--218},
publisher = {Springer-Verlag},
address = {London, UK},
}

Marie-Noelle Terrasse, Marinette Savonnet, George Becker, and Eric Leclercq UML-Based Metamodeling for Information System Engineering and Evolution

@inproceedings{conf/oois/TerrasseSBL03,
title = {UML-Based Metamodeling for Information System Engineering and Evolution.},
author = {Marie-Noëlle Terrasse and Marinette Savonnet and George Becker and Eric Leclercq},
booktitle = {OOIS},
crossref = {conf/oois/2003},
editor = {Dimitri Konstantas and Michel Léonard and Yves Pigneur and Shushma Patel},
pages = {83-94},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/oois/oois2003.html#TerrasseSBL03},
volume = {2817},
year = {2003},
description = {dblp},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article issn=0302-9743 volume=2817 spage=83}, isbn = {3-540-40860-6}, date = {2003-10-10},
keywords = {dblp }
}


2.

Geschachtelte Transaktionen

Patrick Sauter and Ingo Melzer. A comparison of ws-businessactivity and bpel4ws long-running transaction. In Paul Müller, Reinhard Gotzhein, and Jens B. Schmitt, editors, KiVS, Informatik Aktuell, pages 115-125. Springer, 2005.

@INPROCEEDINGS{conf/kivs/SauterM05,
TITLE = {A Comparison of WS-BusinessActivity and BPEL4WS Long-Running
Transaction.},
AUTHOR = {Patrick Sauter and Ingo Melzer},
BOOKTITLE = {KiVS},
CROSSREF = {conf/kivs/2005},
EDITOR = {Paul M�ller and Reinhard Gotzhein and Jens B. Schmitt},
PAGES = {115-125},
PUBLISHER = {Springer},
SERIES = {Informatik Aktuell},
URL = {http://dblp.uni-trier.de/db/conf/kivs/kivs2005.html#SauterM05},
YEAR = {2005},
BIBURL = {http://www.bibsonomy.org/bibtex/2008bbbdb23a72a0188851e44c4bd9f1d/dblp},
DESCRIPTION = {dblp},
ISBN = {3-540-24473-5},
DATE = {2005-03-09},
KEYWORDS = {dblp }
}
[http]

Brian Bennett, Bill Hahm, Avrahm Leff, Thomas Mikalsen, Kevin Rasmus, James Rayfield, and Isabelle Rouvellou. A distributed object oriented framework to offer transactional support for long running business processes. In Middleware '00: IFIP/ACM International Conference on Distributed systems platforms, pages 331-348, Secaucus, NJ, USA, 2000. Springer-Verlag New York, Inc.

@INPROCEEDINGS{338380,
AUTHOR = {Brian Bennett and Bill Hahm and Avrahm Leff and Thomas Mikalsen
and Kevin Rasmus and James Rayfield and Isabelle Rouvellou},
TITLE = {A distributed object oriented framework to offer transactional
support for long running business processes},
BOOKTITLE = {Middleware '00: IFIP/ACM International Conference on
Distributed systems platforms},
YEAR = {2000},
ISBN = {3-540-67352-0},
PAGES = {331--348},
LOCATION = {New York, New York, United States},
PUBLISHER = {Springer-Verlag New York, Inc.},
ADDRESS = {Secaucus, NJ, USA}
}

3.

Konstruktion und Integration von Wissen

Andrs Ekholm: A CONCEPTUAL FRAMEWORK FOR CLASSIFICATION OF CONSTRUCTION WORKS World Wide Web, 3(2):125-138, 2000.
Semantic Mappings in Description Logics for Spatio- emporal Database Schema Integration Information Systems Frontiers, 7(3):257-271, 2005.
Angelo Di Iorio, Valentina Presutti, and Fabio Vitali. WikiFactory: An Ontology-Based Application for Creating Domain-Oriented Wikis. In ESWC, pages 664-678, 2006.

@INPROCEEDINGS{IorioPV06,
AUTHOR = {Angelo Di Iorio and Valentina Presutti and Fabio Vitali},
TITLE = {{W}iki{F}actory: {A}n {O}ntology-{B}ased {A}pplication for {C}reating
{D}omain-{O}riented {W}ikis.},
BOOKTITLE = {{ESWC}},
YEAR = {2006},
PAGES = {664-678},
BIBSOURCE = {DBLP, dblp.uni-trier.de},
CROSSREF = {DBLP:conf/esws/2006},
DESCRIPTION = {DBLP Record 'conf/esws/IorioPV06'},
EE = {http://dx.doi.org/10.1007/11762256_48},
KEYWORDS = {2006 and blogging conference eswc european proceedings semantic web
wiki }
}

4.



Formale Semantik von UML-Aktivitätsdiagrammen

Rik Eshuis. Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol., 15(1):1-38, 2006.

Volume 15 ,  Issue 1  (January 2006) table of contents
Pages: 1 - 38  
Year of Publication: 2006
ISSN:1049-331X
URL = http://portal.acm.org/citation.cfm?doid=1125808.1125809
[pdf]

Harald Störrle and Jan Hendrik Hausmann. Towards a Formal Semantics of UML 2.0 Activities. In Liggesmeyer et al. [LPG05], pages 117-128.

@inproceedings{DBLP:conf/se/StorrleH05,
  author    = {Harald St{\"o}rrle and
               Jan Hendrik Hausmann},
  title     = {Towards a Formal Semantics of UML 2.0 Activities},
  booktitle = {Software Engineering},
  year      = {2005},
  pages     = {117-128},
  crossref  = {DBLP:conf/se/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

5.

Anwendungsspezifische Sprachen

T. Sloane, M. Mernik, and J. Heering. When and how to develop domain-specific languages, 2003.

@MISC{sloane03when,
AUTHOR = {T. Sloane and M. Mernik and J. Heering},
TITLE = {{W}hen and how to develop domain-specific languages},
YEAR = {2003},
TEXT = {T. Sloane M. Mernik, J. Heering. When and how to develop domain-specific
languages. Technical Report Technical Report, SEN-E0309, CWI, 2003.},
URL = {citeseer.ist.psu.edu/mernik03when.html}
}

6.

Superimposed Information

Shawn Bowers, Lois M. L. Delcambre, and David Maier. Superimposed schematics: Introducing e-r structure for in-situ information selections. In Spaccapietra et al, pages 90-104.

Book Series    Lecture Notes in Computer Science
Publisher    Springer Berlin / Heidelberg
ISSN    0302-9743 (Print) 1611-3349 (Online)
Volume    Volume 2503/2003
Book    Conceptual Modeling — ER 2002
DOI    10.1007/3-540-45816-6
Copyright    2003
ISBN    978-3-540-44277-6
DOI    10.1007/3-540-45816-6_17
Pages    90-104
Subject Collection    Computer Science
SpringerLink Date    Tuesday, January 01, 2002
[pdf]

7.

CASL und Insititutions

Till Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, and Andrzej Tarlecki. Casl - the common algebraic specification language: Semantics and proof theory. Computers and Artificial Intelligence, 22(3), 2003.

@article{DBLP:journals/cai/MossakowskiHST03,
  author    = {Till Mossakowski and
               Anne Elisabeth Haxthausen and
               Donald Sannella and
               Andrzej Tarlecki},
  title     = {Casl - The Common Algebraic Specification Language: Semantics
               and Proof Theory},
  journal   = {Computers and Artificial Intelligence},
  volume    = {22},
  number    = {3},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
[pdf]

8.

Integrating XML Data Sources Using Approximate Joins

S. Guha et al.: Integrating XML Data Sources Using Approximate Joins.

ACM Trans. on Database Systems, Vol. 31 (1), S. 161-207, 2006

@article{1132868,
author = {Sudipto Guha and H. V. Jagadish and Nick Koudas and Divesh Srivastava and Ting Yu},
title = {Integrating XML data sources using approximate joins},
journal = {ACM Trans. Database Syst.},
volume = {31},
number = {1},
year = {2006},
issn = {0362-5915},
pages = {161--207},
doi = {http://doi.acm.org/10.1145/1132863.1132868},
publisher = {ACM},
address = {New York, NY, USA},
}
[pdf]

9.

Benchmarking XML Database Implementations

H. Lu, et al.: What Makes the Differences: Benchmarking XML Database Implementations.

ACM Trans. on Internet Technologies, Vol. 5 (1), S. 154-194, 2005

@article{1052940,
author = {Hongjun Lu and Jeffrey Xu Yu and Guoren Wang and Shihui Zheng and Haifeng Jiang and Ge Yu and Aoying Zhou},
title = {What makes the differences: benchmarking XML database implementations},
journal = {ACM Trans. Interet Technol.},
volume = {5},
number = {1},
year = {2005},
issn = {1533-5399},
pages = {154--194},
doi = {http://doi.acm.org/10.1145/1052934.1052940},
publisher = {ACM},
address = {New York, NY, USA},
}
[pdf]

10.

Automatic Complex Schema Matching Across Web Query Interfaces: A Correlation Approach

B. He, K. C.-C. Chang: Automatic Complex Schema Matching Across Web Query

Interfaces: A Correlation Approach.

ACM Trans. on Database Systems, Vol. 31 (1), S. 346-395, 2006

@article{1132872,
author = {Bin He and Kevin Chen-Chuan Chang},
title = {Automatic complex schema matching across Web query interfaces: A correlation mining approach},
journal = {ACM Trans. Database Syst.},
volume = {31},
number = {1},
year = {2006},
issn = {0362-5915},
pages = {346--395},
doi = {http://doi.acm.org/10.1145/1132863.1132872},
publisher = {ACM},
address = {New York, NY, USA},
}
[pdf]

11.



Fuzzy Set and Hedge Algebras

Nguyen Cat Ho, A Topological Completion of Refined Hedge Algebras and a Model of Fuzziness of Linguistic Terms and Hedges, Fuzzy Sets and Systems 158(4) (2007) 436-451

@article{1223760,
 author = {Nguyen Cat Ho},
 title = {A topological completion of refined hedge algebras and a model of fuzziness of linguistic terms and hedges},
 journal = {Fuzzy Sets Syst.},
 volume = {158},
 number = {4},
 year = {2007},
 issn = {0165-0114},
 pages = {436--451},
 doi = {http://dx.doi.org/10.1016/j.fss.2006.09.013},
 publisher = {Elsevier North-Holland, Inc.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }
[pdf]

Nguyen Cat Ho and Nguyen Van Long, Fuzziness Measure on Complete Hedge Algebras and Quantifying Semantics of Terms in Linear Hedge Algebras, Fuzzy Sets and Systems 158(4) (2007) 452-47

@article{1223761,
author = {Nguyen Cat Ho and Nguyen Van Long},
title = {Fuzziness measure on complete hedge algebras and quantifying semantics of terms in linear hedge algebras},
journal = {Fuzzy Sets Syst.},
volume = {158},
number = {4},
year = {2007},
issn = {0165-0114},
pages = {452--471},
doi = {http://dx.doi.org/10.1016/j.fss.2006.10.023},
publisher = {Elsevier North-Holland, Inc.},
address = {Amsterdam, The Netherlands, The Netherlands},
}
[pdf]