Lehre ↵

〉 Software Engineering
〉 Fortg.-Praktikum

∇ DB Seminar

SS 08 √

Generated by ConceptManager
Everything is in motion.
KonzeptManagerLogo

Peggy Schmidt

Herrmann-Rodewald-Str. 3
24118 Kiel
Zimmer:405

Telephone	+49-431/880-7323
Fax	+49-431/880-4054
E-Mail	pesc at is.informatik.uni-kiel.de
.

print version

Datenbankseminar im Sommersemester 2008

Die Arbeitsgruppe "Technologie der Informationssysteme" bietet im Sommersemester 2008 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.

Vorbesprechungstermin:

Donnerstag, 07.02.2008; 16:00 Uhr; HRS 3 Zimmer 405

Themenübersicht:

Nr.

Thema

Architektur von Web-Informationssystemen (DB-Design von Web-Services)

[PS00]	Günter Preuner and Michael Schrefl. A three-level schema architecture for the conceptual design of web-based information systems: from web-data management to integrated web-data and web-process management. World Wide Web, 3(2):125-138, 2000. [ bib ]
[GCD05]	Michael Goul, Karen Corral, and Haluk Demirkan. Database Schema Design for a Web Services Supply Chain Manager: Requirements and Proposed Infrastructure. Information Systems Frontiers, 7(3):257-271, 2005. [ bib ]

Wiederverwendung

[PS00]	Colette Roland, Vronique Plihon, Jolita Ralyt: Specifying the Reuse Context of Scenario Method Chunks World Wide Web [ bib ]
[GCD05]	Marie-Noelle Terrasse, Marinette Savonnet, George Becker, and Eric Leclercq UML-Based Metamodeling for Information System Engineering and Evolution [ bib ]

Geschachtelte Transaktionen

[SM05]	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. [ bib \| http ]
[BHL⁺00]	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. [ bib ]

Konstruktion und Integration von Wissen

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

Formale Semantik von UML-Aktivitätsdiagrammen

[Esh06]	Rik Eshuis. Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol., 15(1):1-38, 2006. [ bib ]
[SH05]	Harald Störrle and Jan Hendrik Hausmann. Towards a Formal Semantics of UML 2.0 Activities. In Liggesmeyer et al. [LPG05], pages 117-128. [ bib ]

Anwendungsspezifische Sprachen

[SMH03]

T. Sloane, M. Mernik, and J. Heering. When and how to develop domain-specific languages, 2003.
[ bib | .html ]

Superimposed Information

[BDM02]

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

Datenbanksemantik von Sprachen anstelle von Chomsky-Semantik

[Hau07]

Roland Hausser. Comparing the Use of Feature Structures in Nativism and in Database Semantics. In Hannu Jaakkola, Yasushi Kiyoki, and Tokuda Takehiro, editors, Information Modelling and Knowledge Bases XIX. IOS Press Ohmsha, 2007.
[ bib | .html | .pdf ]

CASL und Insititutions

[MHST03]

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.
[ bib ]

10.

Automaten fuer XML

[IPV06]

Th. Schwentick: Automata for XML - A Survey. JCSS 73, S. 289-315, 2007 In ESWC, pages 664-678, 2006.
[ bib ]

11.

Anfragekomplexitaet bei XPath

[IPV06]

The complexity of XPath query evaluation and XML typing Georg Gottlob and Christoph Koch and Reinhard Pichler and Luc Segoufin In ESWC, pages 664-678, 2006.
[ bib ]

12.

Enthaltensein bei XPath

[IPV06]

F. Neven, Th. Schwentick: XPath containment in the presence of disjunction, DTDs, and variables. Proc. 9th Int. Conf. on Database Theory, S. 315-329, 2003.
[ bib ]