9 research outputs found

    Creating a readable language for checking XML

    Get PDF
    Today sharing data is done everywhere. Doctors might want to share patient journal information. Patient journals may contain sensitive information that doctors do not want to share. The journals needs to be checked before they are shared. In this thesis, data and journals are coded in XML and checking journals and data is the same as validating XML. Validating XML documents is usually done by following rules from a validator. A validator processes XML documents and checks that the XML documents follows the validation rules. The issue with most validators today is that they cannot compare arbitrary elements in the XML document with each other and there are no mathematical operations to supply these comparisons. Sometimes there is a need to verify the validation rules. This might be done by someone who has little programming skills. The validator has to be readable so that this someone can verify that the validator matches the requirements. This thesis attempts to solve the issue with existing solutions by creating a readable language for validating XML documents. The solution is done in three steps: investigating similar solutions, implementing a validator, and testing the readability of the validator with a usability test.Idag delar man mycket information med varandra och ibland behöver vi se till att rÀtt sorts information delas. TÀnk om man t. ex rÄkar skicka sitt personnummer istÀllet för telefonnummer till nÄgon? Detta examensarbetet handlar om att utveckla ett enkelt verktyg som bekrÀftar att information som delas Àr rÀtt formad. Eftersom det blir viktigare att vara sÀker pÄ att information som delas Àr formad pÄ rÀtt sÀtt sÄ kommer fler mÀnniskor att komma i kontakt med att bekrÀfta information innan de delar den. Det finns en del verktyg som kan bekrÀfta information Ät dig men i vissa fall rÀcker inte dessa verktyg. Ett tillÀmpningsomrÄde Àr sjukhusjournaler. En lÀkare kanske vill dela med sig av ett specifikt fall, i t. ex utbildningssyfte, genom att skicka en patientjournal till en kollega. En patientjournal innehÄller mycket information om en patient som en lÀkare kanske inte kan eller vill dela, exempelvis patientens identitet. AlltsÄ anvÀnder lÀkaren ett program genererat med verktyget frÄn detta examensarbetet för att bekrÀfta att all privat (och annan potentiellt onödig) information inte finns med i journalen som lÀkaren tÀnker skicka. Företaget som examensarbetet utfördes pÄ, Advenica, har ett testfall som krÀver mer komplexa berÀkningar Àn vad dagens verktyg klarar av. Om det Àr viktigt att information bekrÀftas pÄ ett sÀkert sÀtt Àr det viktigt att nÄgon ser pÄ verktyget sÄ att det gör det som den verkligen ska göra. Idag Àr de flesta verktygen svÄrlÀsliga vilket gör det svÄrt att förstÄ om det som verktyget gör Àr korrekt. Examensarbetet resulterade i ett verktyg som skapar program som bekrÀftar om information som ska delas Àr formad pÄ rÀtt sÀtt. Verktyget anvÀnds genom att nÄgon, en programmerare med kunskap i Àmnet, skriver regler som sen anvÀnds för att generera ett program som bekrÀftar information. Reglerna Àr gjorda för att vara lÀttlÀsliga sÄ mÀnniskor utan programmeringsbakgrund kan förstÄ och kontrollera att reglerna Àr korrekt skrivna. De behöver inte skriva reglerna sjÀlva, det gör programmeraren. Programmen som genereras tar informationen och sÀger till anvÀndaren om informationen Àr formad pÄ rÀtt sÀtt. Om informationen inte Àr formad pÄ rÀtt sÀtt mÄste anvÀndaren Àndra informationen tills programmet accepterar informationen. Verktyget som utvecklas har tvÄ egenskaper som inte andra verktyg har: komplexa matematiska berÀkningar, nÀr man bekrÀftar information, samt att reglerna som verktyget tar Àr lÀttlÀsliga. Med hjÀlp av matematiska berÀkningar kan man se att informationen stÀmmer överens med mer komplexa krav. Exempelvis kan man berÀkna strÀckan mellan tvÄ koordinater pÄ jorden med hjÀlp av de matematiska berÀkningarna. Eftersom verktygets regler Àr lÀtta att kontrollera sÄ Àr det enkelt att lÄta en utomstÄende person se pÄ reglerna och sÀga om det Àr rÀtt regler för rÀtt syfte

    Spécification, validation et satisfiabilité [i.e. satisfaisabilité] de contraintes hybrides par réduction à la logique temporelle

    Get PDF
    Depuis quelques annĂ©es, de nombreux champs de l'informatique ont Ă©tĂ© transformĂ©s par l'introduction d'une nouvelle vision de la conception et de l'utilisation d'un systĂšme, appelĂ©e approche dĂ©clarative. Contrairement Ă  l'approche dite impĂ©rative, qui consiste Ă  dĂ©crire au moyen d'un langage formelles opĂ©rations Ă  effectuer pour obtenir un rĂ©sultat, l'approche dĂ©clarative suggĂšre plutĂŽt de dĂ©crire le rĂ©sultat dĂ©sirĂ©, sans spĂ©cifier comment ce «but» doit ĂȘtre atteint. L'approche dĂ©clarative peut ĂȘtre vue comme le prolongement d'une tendance ayant cours depuis les dĂ©buts de l'informatique et visant Ă  rĂ©soudre des problĂšmes en manipulant des concepts d'un niveau d'abstraction toujours plus Ă©levĂ©. Le passage Ă  un paradigme dĂ©claratif pose cependant certains problĂšmes: les outils actuels sont peu appropriĂ©s Ă  une utilisation dĂ©clarative. On identifie trois questions fondamentales qui doivent ĂȘtre rĂ©solues pour souscrire Ă  ce nouveau paradigme: l'expression de contraintes dans un langage formel, la validation de ces contraintes sur une structure, et enfin la construction d'une structure satisfaisant une contrainte donnĂ©e. Cette thĂšse Ă©tudie ces trois problĂšmes selon l'angle de la logique mathĂ©matique. On verra qu'en utilisant une logique comme fondement formel d'un langage de « buts », les questions de validation et de construction d'une structure se transposent en deux questions mathĂ©matiques, le model checking et la satisfiabilitĂ©, qui sont fondamentales et largement Ă©tudiĂ©es. En utilisant comme motivation deux contextes concrets, la gestion de rĂ©seaux et les architectures orientĂ©es services, le travail montrera qu'il est possible d'utiliser la logique mathĂ©matique pour dĂ©crire, vĂ©rifier et construire des configurations de rĂ©seaux ou des compositions de services web. L'aboutissement de la recherche consiste en le dĂ©veloppement de la logique CTLFO+, permettant d'exprimer des contraintes sur les donnĂ©es, sur la sĂ©quences des opĂ©rations\ud d'un systĂšme, ainsi que des contraintes dites «hybrides». Une rĂ©duction de CTL-FO+ Ă  la logique temporelle CTL permet de rĂ©utiliser de maniĂšre efficace des outils de vĂ©rification existants. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : MĂ©thodes formelles, Services web, RĂ©seaux

    Pattern-based segmentation of digital documents: model and implementation

    Get PDF
    This thesis proposes a new document model, according to which any document can be segmented in some independent components and transformed in a pattern-based projection, that only uses a very small set of objects and composition rules. The point is that such a normalized document expresses the same fundamental information of the original one, in a simple, clear and unambiguous way. The central part of my work consists of discussing that model, investigating how a digital document can be segmented, and how a segmented version can be used to implement advanced tools of conversion. I present seven patterns which are versatile enough to capture the most relevant documents’ structures, and whose minimality and rigour make that implementation possible. The abstract model is then instantiated into an actual markup language, called IML. IML is a general and extensible language, which basically adopts an XHTML syntax, able to capture a posteriori the only content of a digital document. It is compared with other languages and proposals, in order to clarify its role and objectives. Finally, I present some systems built upon these ideas. These applications are evaluated in terms of users’ advantages, workflow improvements and impact over the overall quality of the output. In particular, they cover heterogeneous content management processes: from web editing to collaboration (IsaWiki and WikiFactory), from e-learning (IsaLearning) to professional printing (IsaPress)

    Presenting multi-language XML documents : an adaptive transformation and validation approach

    Get PDF
    EThOS - Electronic Theses Online ServiceGBUnited Kingdo

    Entwicklung eines Editors zum Entwurf von Benutzerschnittstellen fĂŒr Web Services auf Basis der abstrakten UI-Beschreibungssprache WSGUI

    Get PDF
    Diese Diplomarbeit behandelt das Themengebiet der automatischen Erzeugung von grafischen BenutzeroberflĂ€chen (GUIs) im Kontext von Webservices. Es geht dabei konkret um einen Editor, mit dem Hinweise zur Generierung von Dialogen erstellt werden können. Diese Hinweise sollen dann von den dialogerzeugenden Anwendungen einbezogen werden, um eine dynamische Interaktion mit Webservices durch beliebige Nutzer ohne dienstspezifische Software zu ermöglichen. Die Arbeit fĂŒhrt in die aktuellen Techniken zur GUI-Generierung ein und stellt Transformationsprinzipien vor, die eine Generierung ausgehend von einem formalen Datenmodell ermöglichen. Dabei mĂŒssen mangelnde Modellparameter in Beschreibungen von Webservices manuell ausgeglichen werden (WSGUI-Konzepte). Diese Zielstellung fĂŒhrt zum Entwurf des WSGUI-Editors. Die anschließende Implementierung berĂŒcksichtigt darĂŒber hinaus Integrationsaspekte wie die Publizierung von WSGUI-Hinweisen, Einbindung von GUI-Übersetzungen und eine Vorschau auf die zu generierenden Dialoge. Abgeschlossen wird die Arbeit mit einer Bewertung des Editors, aber auch einer Reihe von VorschlĂ€gen zur Vereinfachung Ă€hnlich gelagerter zukĂŒnftiger Projekte im Umfeld von Webservices

    SchemaPath, a Minimal Extension to XML Schema for Conditional Constraints

    No full text
    In the past few years, a number of constraint languages for XML documents has been proposed. They are cumulatively called schema languages or validation languages and they comprise, among others, DTD, XML Schema, RELAX NG, Schematron, DSD, xlinkit. One major point of..

    A Missing Piece of RSS Technology

    Get PDF
    In the Information Age, people use RSS (Really Simple Syndication) Technology to help them to easily get the latest contents from websites by accessing only a single website as well as by using mobile devices. Several companies have started to use RSS for distributing their information to customers. However, most contents published via RSS technology are public and not confidential such as credit card information, financial business information etc. Since the RSS technology does not have a mechanism to ensure that the incoming information is really secure, in this paper we have proposed a Secure Information Notifying System with RSS Technology (SInfoNS). We have applied the RSS technology together with the cryptography to make any RSS document become secure before disseminating it to relevant users. The SInfoNS also uses XSL to apply to private information retrieval and XML schema and SchemaPath definitions have been created for validation. The results displayed on a user's mobile device provide users with the latest information. The results of this study confirm that our system will aggregate RSS documents and disseminate information to each user. The SInfoNS enables RSS technology for the use of private information that can be securely distributed.Cryptography, Really Simple Syndication, RSS, XML Schema, XSL
    corecore