MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Freiheit, Jörn
Münch, Susanne
Schöttle, Hendrik
Sijanski, Grozdana
Zangl, Fabrice
dblp
dblp
dblp
dblp
dblp
Not MPG Author(s):
Münch, Susanne
Schöttle, Hendrik
Sijanski, Grozdana
Zangl, Fabrice
Editor(s):
Meersman, Robert
Tari, Zahir
Herrero, Pilar
Méndez, Gonzalo
Cavedon, Lawrence
Martin, David
Hinze, Annika
Buchanan, George
Pérez, María S.
Robles, Víctor
Humble, Jan
Albani, Antonia
Dietz, Jan L.G.
Panetto, Herve
Scannapieco, Monica
Halpin, Terry
Spyns, Peter
Zaha, Johannes Maria
Zimány, Esteban
Stefanakis, Emmanuel
Dillon, Tharam
Feng, Ling
Jarrar, Mustafa
Lehmann, Jos
de Moor, Aldo
Duval, Erik
Aroyo, Lora
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp
BibTeX cite key*:
Freiheit2005b
Title, Booktitle
Title*:
Enhanced Workflow Models as a Tool for Judicial Practitioners
EnhancedWorkflowModels.pdf (197.46 KB)
Booktitle*:
On the move to meaningful internet systems 2005: OTM 2005 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005
Event, URLs
Conference URL::
http://www.cs.rmit.edu.au/fedconf/index.php
Downloading URL:
http://www.springerlink.com/media/c5v8d08ewq6qnp4dybrl/contributions/e/b/g/2/ebg2ujlpwnq9jhu4.pdf
Event Address*:
Agia Napa, Cyprus
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
31 October 2005
Event End Date:
4 November 2005
Publisher
Name*:
Springer
URL:
http://www.springerlink.com/
Address*:
Berlin, Germany
Type:
Poster
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
3762
Number:
Month:
October
Pages:
26-27
Year*:
2005
VG Wort Pages:
2
ISBN/ISSN:
3-540-29739-1
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
In the past, attempts were made to make law and justice more accessible to general audience and to legal practitioners using models of legal texts. We present a new approach to make the judicial workflows easier to understand. By using process modelling methods, the developed representation emphasises on improving transparency, on promoting mutual trust and on formalising models for verification. To design semi-formal models interviews are used as well as legal texts are consulted. These models are formalised in a second step. The models are enhanced with hierarchies, modules and the generation of different views. Language problems are also treated. The subsequent formalised models are used to verify trigger events and timing of judicial workflows, which have very specific requirements in terms of periods of time and fixed dates. A new tool, Lexecute, is presented which gives new perspectives into justice and reveal new potentials for modelling methods in the field of justice.
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Research Context:
eJustice Project
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort



BibTeX Entry:
@INPROCEEDINGS{Freiheit2005b,
AUTHOR = {Freiheit, J{\"o}rn and M{\"u}nch, Susanne and Sch{\"o}ttle, Hendrik and Sijanski, Grozdana and Zangl, Fabrice},
EDITOR = {Meersman, Robert and Tari, Zahir and Herrero, Pilar and M{\'e}ndez, Gonzalo and Cavedon, Lawrence and Martin, David and Hinze, Annika and Buchanan, George and P{\'e}rez, Mar{\'i}a S. and Robles, V{\'i}ctor and Humble, Jan and Albani, Antonia and Dietz, Jan L.G. and Panetto, Herve and Scannapieco, Monica and Halpin, Terry and Spyns, Peter and Zaha, Johannes Maria and Zim{\'a}ny, Esteban and Stefanakis, Emmanuel and Dillon, Tharam and Feng, Ling and Jarrar, Mustafa and Lehmann, Jos and de Moor, Aldo and Duval, Erik and Aroyo, Lora},
TITLE = {Enhanced Workflow Models as a Tool for Judicial Practitioners},
BOOKTITLE = {On the move to meaningful internet systems 2005: OTM 2005 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005},
PUBLISHER = {Springer},
YEAR = {2005},
TYPE = {Poster},
VOLUME = {3762},
PAGES = {26--27},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Agia Napa, Cyprus},
MONTH = {October},
ISBN = {3-540-29739-1},
}


Entry last modified by Uwe Brahm, 06/09/2006
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Jörn Freiheit
Created
11/07/2005 10:46:38 AM
Revisions
2.
1.
0.

Editor(s)
Uwe Brahm
Christine Kiesel
Jörn Freiheit

Edit Dates
09-06-2006 19:02:04
25.04.2006 20:18:07
11/07/2005 10:46:41 AM


File Attachment Icon
EnhancedWorkflowModels.pdf