Institut AIFB Modellbasierte Entwicklung betrieblicher Informationssysteme: Von der Workflow-Anwendung zur Produktmaschine Andreas Oberweis Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Universität Karlsruhe (TH) Juli 2004 ingvorlesung: Modellbasierte Softwareentwicklung
39
Embed
Andreas Oberweis Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Ringvorlesung: Modellbasierte Softwareentwicklung. Modellbasierte Entwicklung betrieblicher Informationssysteme: Von der Workflow-Anwendung zur Produktmaschine. Andreas Oberweis Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Universität Karlsruhe (TH) - PowerPoint PPT Presentation
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Inst
itut
AIF
B
Modellbasierte Entwicklung betrieblicher Informationssysteme: Von der Workflow-Anwendung zur
Beispiel: Registrierung eines Lebensversicherungsantrages
LV-ANTRAGLV-ANTRAG
PRODUKTDATENPRODUKTDATEN
VERTRAGSDATENVERTRAGSDATEN
PROVISIONS-PROVISIONS-DATENDATEN
LV-Antrags-LV-Antrags-registrierungregistrierung
<A,V,T,BN,BR>
<T,PS,BS>
<A,V,T,BN,BG>
<BR,P2>
ANTRAG-STELLER TARIF BERATER
LK25LR10LK20LR15
SchmitzHansen
MannGraf
01.06.0401.08.0401.07.0401.06.04
MayerMayer
SchulteHesse
BEGINNV-SUMME
10000250000100000
30000
V-NEHMER TARIF BEITRAG
LK20LR10LK20LR15
SchröderKrieger
WernerMey
01.06.0401.05.0401.03.0401.02.04
2500,00700,00250,0090,00
BEGINNV-SUMME
1000002500001000030000
TARIF
LK25LK20
LK30LR05
0,025
BEITRAGS-SATZ
PROVISIONS-SATZ
0.010,0090,0080,0012
BERATER
MayerSchulte
PROVISION
1028,001648,002569,00
0,0200,0180,0024
LR10LR15
0,00140,0015
0,00280,0030
Hesse
<BR,P1>P2=P1+(V*PS)
LK20LR15
HerzogSchäfer
01.03.0401.02.04
2500,0045,00
10000015000
BG=V*BS
25
AIF
B
• XML als Austauschformat für Petri-Netze, z.B. um Austausch zwischen verschiedenen Petri-Netz-Werkzeugen zu ermöglichen – Petri Net Markup Language PNML
http://www.informatik.hu-berlin.de/top/pnml/ – andere Ansätze
http://www.daimi.au.dk/PetriNets/standardisation/
• hier: XML als Modellierungssprache für Dokumente / Objekte in den Stellen (Prädikaten) von High-Level Petri-Netzen:– integrierte Beschreibung von Prozessen und XML-
Dokumenten
XML-Netze
High-Level Petri-Netze und XML
26
AIF
B
• Stellen repräsentieren "Container" für XML-Dokumente – jeder Stelle wird eine XML-DTD oder ein
XML-Schema zugewiesen– textuelle oder graphische Darstellung von
XML-DTD / -Schema• Kantenbeschriftung repräsentiert Filter für XML-
Dokumente• Transitionen repräsentieren Operationen auf XML-
Dokumenten
XML-Netze
27
AIF
B
• Einfügen eines vollständigen Dokumentes
• Einfügen von Teil-Dokumenten
• Löschen eines vollständigen Dokumentes
• Löschen von Teil-Dokumenten
Zugriff auf Teilstrukturen ist erforderlich:
• Beschriftung der Kanten mit einer Query-by-Example ähnlichen Notation
Operationstypen
28
AIF
BPreismodell eines E-Learning Providers
LA
account
*
solved test sheet
learner ID solution ID
static price model ID
*
*
debit account
static price model
*
ID determinant
weight. value
metadata
name dim.
learner
grp . membership
ID account no.
balance account no.
LE
LID AN GM
SPM
D SPM-ID
STS
LID SPM-ID
BA'=BA – f(D)
LA
BA' AN
BA AN
29
AIF
B
• Eine Transition t ist aktiviert für eine gegebene Markierung M und eine Instanziierung I der Variablen in seiner Umgebung, wenn– die entsprechenden Input-Dokumente von t in M existieren,– die entsprechenden Output-Dokumente von t noch nicht in M
existieren und– die Transitionsinschrift von t wahr ist für I.
• Eine aktivierte Transition kann schalten.
• Wenn eine Transition schaltet, werden– (Teil-)Dokumente aus den Eingangsstellen entfernt und – (Teil-)Dokumente in die Ausgangsstellen eingefügtentsprechend den jeweiligen instanziierten Kantenbeschriftungen.
• Entwicklung eines Fachinformationsystems Informatik (GI gemeinsam mit FIZ Karlsruhe, TU München, Uni Trier, Uni Karlsruhe; finanziert durch BMBF)
• Teilprojekt "Flexible Abrechnungssysteme für Elektronische Märkte" an der Universität Frankfurt/Main (im Rahmen des vom BMBF finanzierten Internetökonomie-Projektes)
• Generierung eines Studierendenverwaltungssystems zu einer gegebenen Prüfungsordnung
32
AIF
BProjekt: Fachinformations-system Informatik
io-port-Daten-management-system
Datensäuberung
DXF Import
Crawler Import
Portal Exports
ProduktionsDatenbank
Crawler
DBLP
CS
LeaBib
CCSB
33
AIF
BProjekt: Fachinformations-system Informatik
io-port-Portalsystem
PortalDatenbank
Generische Anfragekomponente
Benutzerschnittstelle (WWW)
AnfragekomponenteRetrievalsystem
AnfragekomponentePortalDatenbank
AnfragekomponenteCMS
AnfragekomponenteQuerybroker
Anwendungsfälle /Geschäftslogik
Web-Service
Index
QueryBroker
external DB(u.a. CONF)
Themenseiten
34
AIF
BProjekt: Flexible Abrechnungssysteme für elektronische Märkte
• Ziel: Beschleunigung des Prozesses für die Entwicklung eines Abrechnungssystems ausgehend von einem neuen Preismodell.
• Es wird eine formale Beschreibungssprache für Preismodelle entwickelt und dazu eine Preismaschine konzipiert, die entsprechend beschriebene Preismodelle umsetzt in ein passendes Abrechnungssystem.
• Künftige Abrechnungssysteme als Bestandteile elektronischer Marktplätze sollen so schnell und mit verhältnismäßig wenig Aufwand an neue Preismodelle angepasst werden können.
Elektronischer Marktplatz für digitale Produkte
Abrechnungs-systemPreismaschine
Produkt-maschine
Preismodell
35
AIF
BPreismodell
Statische Komponente (XML Schema)
Dokumente: z.B. Tarife, Verträge ...
Daten: z.B. Gesprächsdauern, Geodaten ...
Dynamische Komponente (höheres Petri-Netz)– Abläufe zur flexiblen Ermittlung der Preise– mit der Zeit veränderliche Parameter