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.

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.

Many companies in the domain of modeling and simulation are showing interest in the new emerging OpenModelica, an object oriented modeling and simulation platform based on Modelica language. The purpose of this thesis is to study if and how simulation libraries written in ExtendSim such as PaperFront, can be semi-automatically converted to equivalent Modelica libraries. The ExtendSim tool is based upon a C like language called ModL that is used for designing models. A prototype translator is developed for translating ModL to Modelica. One difficulty that had to be overcome was the fact that ExtendSim is a commercial tool which hides part of its model information in a binary format. The generated code from prototype translator can be viewed using any text editor or using the textual view of Modelica graphical editors such as OMEdit or Dymola. The implementation of the prototype translator is done using the Java based ANTLR tool, which generates a parser and a lexer from the defined grammar rules. Moreover, a set of templates is written using the StringTemplate language for the code generation. The prototype translator takes ModL code of an ExtendSim library file and generates an Abstract Syntax Tree (AST), which is then converted to an equivalent Modelica AST. This Modelica AST is later converted to textual Modelica code. Subject to limited resource availability and time constraints of the thesis work, the basic constructs of ModL language are supported by the translator e.g. data types, if-else statements, loops, procedures etc. The enhancements in the translator can be made in the future by adding support for remaining language features such as support for tracing and additional ModL built-in functions etc.