Attempto - From Specifications in Controlled Natural Language towards Executable Specifications

Deriving formal specifications from informal requirements is difficult since one has to take into account the disparate conceptual worlds of the application domain and of software development. To bridge the conceptual gap we propose controlled natural language as a textual view on formal specifications in logic. The specification language Attempto Controlled English (ACE) is a subset of natural language that can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage. The Attempto system translates specifications in ACE into discourse representation structures and into Prolog. The resulting knowledge base can be queried in ACE for verification, and it can be executed for simulation, prototyping and validation of the specification.Comment: 15 pages, compressed, uuencoded Postscript, to be presented at EMISA Workshop 'Naturlichsprachlicher Entwurf von Informationssystemen - Grundlagen, Methoden, Werkzeuge, Anwendungen', May 28-30, 1996, Ev. Akademie Tutzin

Communities in großen verteilten Systemen

Analysiert man Strukturen, z.B. in der menschlichen Gesellschaft, so stellt man fest, daß i.a. zwei grundlegende Strukturprinzipien unterschieden werden können: 1. Hierarchische Strukturen, bei denen meist eine baumförmige Informationsweiterleitung von unten nach oben und eine Entscheidungsausführung von oben nach unten charakteristisch ist und somit Leitungs- bzw. Entscheidungsinstanzen mehr oder weniger zentralistische Strukturen sind 1 sowie 2. Nachbarschaftsstrukturen, bei denen sich Informationsverteilung und Entscheidungsfindungsprozesse unmittelbar in einer Gruppe von sich untereinander kennender Nachbarn vollzieht, wobei eine Informationsweiterleitung auch rekursiv an weiter entfernte Nachbarn erfolgen kann 2. [... aus dem Text

Communities in großen verteilten Systemen

Analysiert man Strukturen, z.B. in der menschlichen Gesellschaft, so stellt man fest, daß i.a. zwei grundlegende Strukturprinzipien unterschieden werden können: 1. Hierarchische Strukturen, bei denen meist eine baumförmige Informationsweiterleitung von unten nach oben und eine Entscheidungsausführung von oben nach unten charakteristisch ist und somit Leitungs- bzw. Entscheidungsinstanzen mehr oder weniger zentralistische Strukturen sind 1 sowie 2. Nachbarschaftsstrukturen, bei denen sich Informationsverteilung und Entscheidungsfindungsprozesse unmittelbar in einer Gruppe von sich untereinander kennender Nachbarn vollzieht, wobei eine Informationsweiterleitung auch rekursiv an weiter entfernte Nachbarn erfolgen kann 2. [... aus dem Text

Cooperation between direct manipulation and proactive software agents in agent based information systems

Die wissenschaftliche Informationsbeshaffung wird zunehmend durch digitale Bibliotheken und verteilte Internetquellen gestützt. Dadurch bietet sich dem Nutzer schon von seinem Arbeitsplatz aus eine Fülle von Informationsangeboten, deren Inhalte aber bisher weitgehend isoliert nebeneinander existieren. Tiefe Verknüpfungen auf verschiedenen Handlungsebenen sind notwendig für die tatsächliche Nutzung des Potentials an Mehrwert, die in Reichweite scheint. Die Unterstützung des Anwenders in Hinblick auf Informationskompetenz und Recherchestrategie ist eine Notwendigkeit für ein zufriedenstellendes Ergebnis; das zeigen sowohl die theoretische Analyse, als auch die empirischen Studien, die die Konzeption und Implementation des Informationssystems DAFFODIL begleitet haben. Die Integration der Informationsquellen und strategische Unterstützung durch höhere Suchfunktionen erleichtert das Erreichen der Ziele des Nutzers. Die Unsicherheit bei der Recherche kann durch kontextnahe Vorschläge und Hilfestellungen reduziert werden. Im Kern wird der Frage nachgegangen, wie der Zielkonflikt zwischen proaktivem Verhalten der Software-Agenten zur Unterstützung der Anwender und deren grundlegendem Bedürfnis nach Handlungsautonomie aufgelöst werden kann. Ausgehend von diversen bekannten Verwendungsmustern von Software-Agenten wird gefolgert, dass die weitgehende Bewahrung der Benutzerautonomie und die unaufdringliche Präsentation von Vorlagen den Bedürfnissen der Anwender am besten entspricht. Auch bei der föderierten Integration verteilter Datenquellen können Software-Agenten die Aufgaben der Integration, der Homogenisierung von Metadatenschemata und der damit verbundenen semantischen Heterogenitätsbehandlung und das Filtern und Relevanzbewerten zusammengeführter Resultate übernehmen. Die prototypische Implementation im Rahmen von DAFFODIL belegt, dass dies möglich und produktivitätssteigernd ist. Die in DAFFODIL vorgenommene vertikale Implementierung der erfolgversprechenden Konzepte in Bezug auf die Arbeitsteilung zwischen Informationssystem und Anwender – auf allen Ebenen – und die durchgängige Begleitung durch empirische Evaluation ruft zur ganzheitlichen Herangehensweise an fachbezogene Literaturrecherchesysteme vor dem Hintergrund der aktuellen Informationsfülle auf. Die Ergebnisse zeigen: Das System kann nicht nur von Experten genutzt werden, sondern auch unerfahrene Anwender bei der erfolgreichen Recherche unterstützen

Methodological Aspects of a Data Reference Model for Campus Management Systems

Carolla M, Spitta T. Methodological Aspects of a Data Reference Model for Campus Management Systems. WI-MAW Rundbrief. Vol 38. Bonn: GI e.v.; 2014.It can be doubted, whether the student is a university's customer, but if he is regarded as such, a campus management system is a very important customer-induced service system. Our paper proposes an incremental ontology-based method for reference models, applied in the domain of German-speaking higher education institutions. The method is applied to gain a reference data model for campus management system systems being deployed since about three years as competing solutions for large universities. The model is developed validating it empirically using publicly available institutions' regulations. An important goal of our paper is, to give the readers of our community basic insights into the construction of an ontology, which is an important foundation of semantic modelling

Interaction Room - Eine Methode zur Förderung der Wertorientierung in Planung und Requirements Engineering von Informationssystemen

Software wird immer wichtiger in unserer Gesellschaft, trotzdem dauern IT-Projekte länger und werden teurer, als ursprünglich geplant, sie verfehlen ihre funktionalen und qualitativen Ziele oder werden vorzeitig abgebrochen. Durch inhärente Ungewissheit, Komplexität und mangelnde Wertorientierung wird eine realistische Projektplanung für die Entwicklung von Informationssystemen erschwert. Auf Basis eines unzureichenden Verständnisses über Anforderungen, Risiken und Ziele kann der zu leistende Aufwand nicht realistisch geschätzt werden, die daraufhin allokierten Ressourcen, bereitgestellten monetären Mittel und die geplante Projektlaufzeit reichen für eine erfolgreiche Projektumsetzung nicht aus. Die initiale Verständnisbildung über Anforderungen und Risiken geschieht in plangetriebenen Vorgehensweisen zu Beginn eines Projekts durch eine umfangreiche Analyse und möglichst vollständige Spezifikation. Das Schreiben vollständiger Spezifikationen ist jedoch unwirtschaftlich, weil soziotechnische Systeme nicht vollständig beschreibbar sind und emergente Anforderungen in erkenntnisgetriebenen Softwareprozessen zu Änderungen führen. In agilen Vorgehensweisen wird das Verständnis durch die gleichen Aktivitäten, jedoch in kurzen Zyklen und ohne vollständige Spezifikation zu Projektbeginn, durch enge Zusammenarbeit zwischen Kunden und Entwicklungsteams hergestellt. Um Projekte erfolgreich planen zu können, müssen die richtigen Anforderungen in angemessenem Detailniveau verstanden und dokumentiert sein. Plangetriebene und agile Vorgehensweisen liefern den organisatorischen Rahmen zur Herstellung eines expliziten und impliziten gemeinsamen Verständnisses. Das Erkennen erfolgskritischer Projektinhalte obliegt der Verantwortung einzelner Rolleninhaber in den Vorgehensweisen – eine strukturierte Herangehensweise, um die Aspekte eines Projektes explizit zu machen, die über Erfolg und Misserfolg eines Projektes entscheiden können, existiert nicht. Um einen Beitrag zum Erfolg von IT-Projekten durch deren realistische Planung zu leisten, wird in dieser Arbeit der Interaction Room vorgestellt: Eine Methode, in der interdisziplinäre Teams pragmatische Modelle über das Verhalten sowie die Struktur eines Informationssystems in moderierten Workshops skizzieren. Sie kennzeichnen Wert-, Aufwands- und Risikotreiber in Modellskizzen, die auf Interaction-Room-Landkarten visualisiert werden. Dabei veranschaulicht die Feature-Landkarte den funktionalen Projekt-umfang. Die Prozesslandkarte veranschaulicht durch das Informationssystem unterstützte Prozesse zur Erfüllung der funktionalen Anforderungen. Die Objektlandkarte veranschaulicht erzeugte und verarbeitete Geschäftsobjekte und die Integrationslandkarte veranschaulicht direkte Schnittstellen des Informationssystems zu benachbarten Systemen sowie ausgetauschte Geschäftsobjekte. Die Kennzeichnung von Wert-, Aufwands- und Risikotreiber geschieht mit Hilfe von getypten Annotationen, die von den Stakeholdern des interdisziplinären Teams auf die Landkarten geheftet, im Anschluss diskutiert und dokumentiert werden. Durch die Annotationstypen lassen sich z. B. Werte für Nutzer, Flexibilitätsanforderungen und Ungewissheit kennzeichnen. Die Erkenntnisse aus Inter-action-Room-Workshops werden in eine pragmatische Struktur für Anforderungsdokumente überführt und können dadurch unmittelbar in Softwareprozessen weiter verwendet werden. Zwischen November 2011 und Februar 2017 wurden 23 Analyse-, Neuentwicklungs-, Weiterentwicklungs- und Migrationsprojekte mit Industriepartnern unterschiedlicher Branchen durchgeführt. Auf dieser Datenbasis wurden unterschiedliche Methodenparameter auf Zusammenhänge untersucht. Erwartungsgemäß bestehen positive Zusammenhänge zwischen Metriken der Projektgröße, zwischen dem Vorschlag zur Verwendung von Annotationstypen und deren tatsächlicher Verwendung, sowie zwischen der Menge verwendeter Annotationstypen und der Anzahl Duplikate. Außerdem besitzen die Inter-action-Room-Annotationen positiven Einfluss auf die Genauigkeit der Aufwandsschätzung. Die Planung von Entwicklungsiterationen kann durch Interaction-Room-Landkarten unterstützt werden, wodurch eine quantitative Verbesserung bei der Identifikation von Arbeitspaketen beobachtet wurde. Die Verbesserung besitzt positiven Einfluss auf die Fortschrittsmessung während einer Iteration und damit auf ihre Erfolgsprognose. Die Intervention kann in ein übliches Vorgehen zur Planung von Entwicklungsiterationen integriert werden, weil sie von den Planenden nicht als störend wahrgenommen wurde