Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Design of Personalization of Massive Open Online Courses

Massive Open Online Courses have been in the center of attention in the recent years. However, the main problem of all online learning environments is their lack of personalization according to the learners’ knowledge, learning styles and other learning preferences. This research explores the parameters and features used for personalization in the literature and based on them, evaluates to see how well the current MOOC platforms have been personalized. Then, proposes a design framework for personalization of MOOC platforms that fulfills most of the personalization parameters in the literature including the learning style as well as personalization features. The result of an assessment made for the proposed design framework shows that the framework well supports personalization of MOOCs.

The Design of Forest Taxation: A Synthesis with New Directions

Summary

Lomborg, Vanhanen ja Intelligent Design - kommentti Matti Kamppiselle

Kommentti Matti Kamppisen kirjoitukseen TT -lehdessä 1/2005

DFMA- Analysis and Aspects of Applying Internet Based Collaborative Design for Axial Eccentric Oil-Pump Design

The integrated system of design for manufacturing and assembly (DFMA) and internet based collaborative design are presented to support product design, manufacturing process, and assembly planning for axial eccentric oil-pump design. The presented system manages and schedules group oriented collaborative activities. The design guidelines of internet based collaborative design & DFMA are expressed. The components and the manufacturing stages of axial eccentric oil-pump are expressed in detail. The file formats of the presented system include the data types of collaborative design of the product, assembly design, assembly planning and assembly system design. Product design and assembly planning can be operated synchronously and intelligently and they are integrated under the condition of internet based collaborative design and DFMA. The technologies of collaborative modelling, collaborative manufacturing, and internet based collaborative assembly for the specific pump construction are developed. A seven-security level is presented to ensure the security of the internet based collaborative design system.

Design of adjustable packaging line

Diplomityön tavoite oli tutkia, mitä toimintoja ja tekniikoita uusi, joustava kartonkipakkauslinja sisältää ja mitkä suuntaukset pakkausteollisuudessa tulevat olemaan tärkeitä tulevaisuudessa. Pakkauslinjan päätoimintoja tarkasteltiin nykyisten jatulevaisuuden tekniikoiden pohjalta. Erityisesti tarkasteltiin laser-sovellusten käytön mahdollisuutta pakkauslinjan eri osatoiminnoissa. Katsaus pakkausteollisuuden tulevaisuuden näkymiin luotiin kirjallisuuden ja aikaisempien tutkimusten pohjalta, minkä perusteella työssä oletetaan, että yksilölliset ja monitoimipakkaukset tulevat lisääntymään tulevaisuudessa. Eri tuotantoerien välillä olevat asetusajat tulee saada minimoitua, mutta millä keinoin joustavuus on saavutettavissa? Yksi ratkaisu pakkausten valmistamisessa on käyttää robottisolua, mikä on mahdollista luultavasti ainakin kuppimuotoisten pakkausten kohdalla. Muutenkin robotiikka on lisääntymässä pakkausteollisuudessa. Digitaalisten painotekniikoiden kehitys on mahdollistanut yksilölliset painatukset. Tulevaisuudessa painatus on mahdollista tehdä pakkauslinjan loppupäässä, jopa vasta täytön ja suljennan jälkeen. Laserleikkaus on jo nyt käytössä, mutta tulevaisuudessa myös saumaus ja perinteinen nuuttaus on mahdollista tehdä lasersovelluksia käyttäen. Kehittynyt, väyläpohjainen ohjausjärjestelmä on tulevaisuudessa välttämätön joustavassa pakkauslinjassa. Internetin välityksellä toimiva etäohjattu virheenkorjausdiagnostiikka tulee myös olemaan itsestäänselvyys tulevaisuudessa. Kustannussäästöjä voidaan saavuttaa käyttämälläpakkauslinjassa modulaarista rakennetta. Standardiosien ja standardiosajärjestelmien käyttäminen pienentää myös käyttö- ja huoltokustannuksia. Tärkeää on kuitenkin muistaa, ettei joustavuutta voida saavuttaa pelkästään yhtä ominaisuutta tai tekniikkaa hyödyntäen vaan monia menetelmiä yhdistäen. Suunniteltavan pakkauslinjan toiminta on myös hyvä varmistaa käyttäen apuna mallinnusta ja simulointia.

Design of an Embedded Computer Board for Networking Applications

Tämä diplomityö tehtiin Convergens Oy:lle. Convergens on elektroniikan suunnittelutoimisto, joka on erikoistunut sulautettuihin järjestelmiin sekä tietoliikennetekniikkaan. Diplomityön tavoitteena oli suunnitella tietokonekortti tietoliikennesovelluksia varten asiakkaalle, jolta vaatimusmäärittelyt tulivat. Työ on rajattu koskemaan laitteen prototyypin suunnittelua. Työssä suunnitellaan pääasiassa WLAN-tukiaseman tietokone. Tukiasema onasennettavissa toimistoihin, varastoihin, kauppoihin sekä myös liikkuvaan ajoneuvoon. Suunnittelussa on otettu nämä asiat huomioon, ja laitteen akun pystyy lataamaan muun muassa auton akulla. Langattomat tekniikat ovat voimakkaasti yleistymässä, ja tämän työn tukiasema tarjoaakin varteenotettavan vaihtoehdon lukuisilla ominaisuuksillaan. Mukana on mm. GPS, Bluetooth sekä Ethernet-valmius. Langattomien tekniikoiden lisäksi myös sulautetut järjestelmät ovat voimakkaasti yleistymässä, ja nykyään mikroprosessoreita löytääkin lähesmistä vain. Tässä projektissa käytetty prosessori on nopeutensa puolesta kilpailukykyinen, ja siitä löytyy useita eri rajapintoja. Jatkossa tietokonekortille on myös tulossa WiMAX-tuki, joka lisää tukiaseman tulevaisuuden arvoa asiakkaalle. Projektiin valittu Freescalen MPC8321E-prosessori on PowerPC-arkkitehtuuriin perustuva ja juuri markkinoille ilmestynyt. Tämä toi mukanaan lisähaasteen, sillä kyseisestä prosessorista ei ollut vielä kaikkea tietoa saatavilla. Mekaniikka toi omat haasteensa mukanaan, sillä se rajoitti piirilevyn koonniin, että ylimääräistä piirilevytilaa ei juurikaan jäänyt. Tämän takia esimerkiksi DDR-muistit olivat haastavia reitittää, sillä muistivetojen on oltava melko samanpituisia keskenään. Käyttöjärjestelmänä projektissa käytetään Linuxia. Suunnittelu alkoi keväällä 2007 ja toimiva prototyyppi oli valmis alkusyksystä. Prototyypin testaus osoitti, että tietokonekortti kykenee täyttämään kaikki asiakkaan vaatimukset. Prototyypin testauksessa löytyneet viat ja optimoinnit on tarkoitus korjata tuotantomalliin, joten se antaa hyvän pohjan jatkosuunnittelua varten.

Design of a Condition Monitoring System for a Glass Wool Production Line

Työn tarkoituksena oli suunnitella kunnonvalvontajärjestelmä kahdelle lasivillan tuotantolinjalle. Suunnitteluprosessin lisäksi työssä on esitelty erilaisia kunnonvalvontamenetelmiä. Työn alussa on kerrottu erilaisista kunnonvalvontamenetelmistä, joilla voidaan seurata erilaisten laitteiden ja koneiden toimintakuntoa.Erityisesti työssä on tarkasteltu teollisuudessa yleistyviä kunnonvalvonnan värähtelymittauksia. Työssä suunniteltu kunnonvalvontajärjestelmä perustuu viiteen eri menetelmään, jotka ovat värähtelymittaus, lämpötilanmittaus lämpökameralla, lämpötilanmittaus kannettavalla mittarilla, kuuntelu elektronisella stetoskoopilla ja pyörivien osien kunnontarkkailu stroboskoopilla. Kunnonvalvontajärjestelmän suunnittelu on tehty useassa eri vaiheessa. Ensin työssä on kartoitettu tuotannon kannalta tärkeimmät laitteet ja niiden mahdolliset vikaantumistavat. Seuraavaksi on valittu sopivat kunnonvalvontamenetelmät ja tehty mittaussuunnitelma, jossa on esitetty eri laitteille suoritettavat mittaukset ja mittausten aikavälit.Lopuksi työssä on esitelty muutama esimerkkitapaus kunnonvalvontamenetelmien käytöstä sekä kerrottu mahdollisista tulevaisuuden kehitysmahdollisuuksista.

Customer perspective on sales model design

ei

Finding the Fit Between Engineering Design and Cost Information

This paper analyzes the possibilities of integrating cost information and engineering design. Special emphasis is put on finding the potential of using the activity-based costing (ABC) method. Today, the problem of cost estimation in engineering design is that there are two separate extremes of knowledge. On the one extreme, the engineers model the technical parametres behindcosts in great detail but do not get appropriate cost information to their elegant models. On the other extreme, the accounting professionals are stuck with traditional cost accounting methods driven by the procedures and cycles of financial accounting. Therefore, in many cases, the cost information needs of various decision making groups, for example design engineers, are not served satisfactorily. This paper studies if the activity-based costing (ABC) method could offer a compromise between the two extremes. Recognizing activities and activity chains as well as activity and cost drivers could be specially beneficial for design engineers. Also, recognizing the accurate and reliable product costs of existing products helps when doing variant design. However, ABC is not at its best if the cost system becomes too complicated. This is why a comprehensive ABC-cost information system with detailed cost information for the use of design engineers should be examined critically. ABC is at its best when considering such issues as which activities drive costs, the cost of product complexity, allocating indirect costs on the products, the relationships between processes and costs, and the cost of excess capacity.

DFM(A)-Aspects of an Advanced Cable Gland Design

Nowadays typical motor junction boxes do not incorporate cable glands, which would provide good electrical performance interms of electromagnetic compatibility. In this paper, a manufacturability and assembly analysis for the new construction of a rigid body feeder cable junction of an electric motor is presented especially for converter drives (practical tests were carried out at LUT during 2007). Although the cable junction should also clamp the cable to provide enough tensile strength, the phase conductors should not get squashed by the groundingconnection. In order to ensure good performance in an electrical mean especially in converter drives, the grounding of the cable should be connected 360 degrees around the cable. In this paper, following manufacturing technologies are discussed: traditional turning, precision and centrifugal casting, and rotation moulding. DFM(A)-aspects are presented in detail.