Detta arbete har bedrivits i syfte att kartlägga funktionalitet, teknik och användningsområde gällande Web Services. Innehållet utgör således en teoretisk utvärdering av Web Services, samt tester av grundläggande programmeringslösningar. De frågor arbetet ämnar besvara är hur en Web Services på lämpligt sätt kan baseras på en befintlig tjänst, samt på vilket sätt denna Web Services kan göra aktuell tjänst lättare att använda. Dessutom belyses eventuella problem som kan uppstå i samband med denna Web Services-anpassning. I syfte att presentera ett lösningsförslag på ovan nämnda frågor granskades, via en litteraturstudie, ett antal informatikrelaterade begrepp liksom faktorer förknippade med kommersiell verksamhet på Internet. Erhållen teoretisk fakta analyserades via empiriskt arbete. Resultaten av analysen indikerar att en Web Services baserad på karttjänsten MapService kan innebära vissa fördelar för det aktuella företaget såväl som för deras kunder. Att bredda tjänsteutbudet med en marknadsdominerande standard innebär vissa fördelar för ett företag, inte minst i form av ett potentiellt större kundunderlag. Kundens vinster utgörs främst av för ändamålet utformade toolkits. Dessa hjälpmedel och verktyg underlättar implementationen av aktuell tjänst. Den ansats som här valts, att designa Web Servicen som en parser (tolk/konverterare) vars huvudsakliga syfte är att förmedla kommunikation mellan användare och befintlig tjänst, har vissa fördelar. Främst det faktum att redan befintlig funktionalitet kan utnyttjas. All kommunikation mellan användare och server hanteras av Web Servicen, som enligt denna princip utgör ett nytt gränssnitt med vilket tjänsten MapService kan användas. Till följd av det omfattande teoretiska utredningsarbetet har detta arbete inte genererat några prototyper, annat än på ett teoretiskt plan. Det problem som återstår är att utreda exakt hur ovan nämnda parser skall vara utformad, för att sedan implementera all funktionalitet som en helhet.

In system-on-chips, system architecture designs greatly affect cost, performance, and power consumption of the systems. In system design time, we thus need to perform system architecture exploration. In order to effectively support architecture exploration, we improve de-efficiency of current architecture description languages and produce new ways of architecture description, including multiple architecture pattern descriptions and generalized coding description. Together with existing architecture description methods, we form a generalized architecture description language. In this thesis research, in order to support verification of designs in the generalized architecture description language, we designed its simulator software. The simulator should support the descriptions of the architecture description language, including structural description, behavioral description, coding description, multiple architecture pattern descriptions, and hardware data structures. We implemented the simulator software in several software modules, including simulator engine, parser design, interpreter design, generalized decoder design, multiple architecture pattern descriptions, and hardware data structures. We thus can effectively support the verification capability of the architecture description language.

Konstanz, Univ., Diplomarb., 1999.

The goal of diploma thesis is disquisition on existing file format intended for data transmission over computer network. Choose one of the compared file format and create a file structure for transmission sports data. Assess the structure of files from existing sports data suppliers and create their own structure. Compare the possible ways of distribution of created data files and give recommendations for services implementers.

This thesis deals with the web form automatization. It contains a short introduction to the HTML and XHTML markup languages and their facilities for the definition of forms. Next, there is a short overview of the HTTP protocol and XML markup language and a method of the form description using XML is proposed. The thesis contains a description of tool for creating XML file from HTML document and a description of a data sender tool using a CSV data file and an XML form description. Next, there is a description of the algorithms used in the implementation. The conclusion includes the achieved results and the improvements for the future.

Unmanned aerial systems (UAS) have become wildly popular over the past decade. With the increased demand of these systems, it is imperative for agencies such as the Federal Aviation Administration (FAA) to integrate rules and regulations of UAS into the National Airspace System (NAS). In 2023, a UAS Integration Safety and Security Technology Ontology (ISSTO) was developed in the Web Ontology Language (OWL) to aid in this integration. To further aid UAS integration into the NAS, it becomes necessary to develop methods for training new pilots, air traffic control operators, drone operators, etc. This paper proposes a query application that allows new operators to query through ISSTO and efficiently access UAS and counter-UAS information from the knowledge domains contained within the ontology. These knowledge domains include information on various FAA regulations and authorizations, National Airspace classifications, counter-UAS procedures and more. The application developed in this thesis serves as a proof of concept for a commercialized training product.

Diss.--Institut für deutsche Sprache und Literatur--Köln--Universität, 1992.

In the age of system-on-chip designs, design complexity of systems increases continuingly. This results in difficulty of design convergence. In design exploration of system architectures, we need to design, specify, and verify system designs effectively. By employing an architecture description language (ADL), we can effectively support specification and verification of system level designs. Existing ADLs have certain de-efficiencies in specification capabilities. We designed and improved specification capabilities in our architecture description language. Specification techniques in our ADL include behavioral description, structural description, regular structure description, built-in architecture feature description, and data integration description. In this thesis research, we focus on supporting verification capability of our ADL. We designed a simulator of the ADL. The simulation mechanisms include language input design, simulation data structure construction, behavioral simulation, structural simulation, regular architecture simulation, built-in architecture feature simulation, and data integration mechanism. With the ADL simulator, we can verify functionality and performance of architecture designs specified in the ADL. Simulation results can thus be used to guide design exploration and help design convergence.

Techn. Universiẗat, Diss., 2001--Berlin.

The diploma thesis deals with design and implementation of user styles designer in the application TEXonWeb. It contains the analysis of current state of the application and development of its components. It describes possibilities of typesetting in TeX/LaTeX system, mainly in the area of creating user styles. It provides comparison of some similar oriented systems. It also includes the theory of formal languages and compilers. Part of the work is description of the interface design, implementation of styles designer and styles parser. There are mentioned possibilities of next development too.