Suomalainen suurtyö Seychellien hämähäkeistä

Kirjallisuusarvostelu

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.

OpenAIRE compatibility for DSpace repositories

Workshop at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Visuell läsning som kompetensområde : en pedagogisk studie i visuell grammatik inom multimodal digital kommunikation

Avhandlingens primära syfte är att upprätta en förståelse för visuell kompetens som en del av visuell litteracitet inom multimodal digital kommunikation i undervisningen. Avhandlingens sekundära syfte är att ur ett pedagogiskt perspektiv lyfta fram visuell litteracitet och visuell kompetens i multimodala diskussioner kring digital pedagogik. Forskningen är kvalitativ och har både teoretisk och empirisk förankring. Den empiriska studien har en fenomenologisk metodansats. Visuell kompetens innebär att visuell läsning behärskas, vilket förutsätter fungerande vokabulär, kritiskt förhållningssätt och kunskaper i läsning och tolkning och användning av bilder. Den visuella grammatikteorin innefattar bildens syntax och semantik. Bilden är ett kontextbundet fenomen, där kontexten berör sociala aspekter, bildens fysiska omgivning samt innehåll. Det empiriska resultatet är att visuell inverkan i undervisningen präglar förberedelser och lektionsmål, berör visuell kommunikationskompetens, inkluderar visuella element som verktyg, strävar involvera flera element i inlärningen och strävar efter att undvika passiva demonstrationer som undervisningsmetod. Bilder behövs som kommunikativt stöd, som inlärningsmetod och som en del i aktivitetspedagogisk undervisning. Genom stöd från läraren kan barnet nå visuell litteracitet som ett kompetensmål, vilket kan ske genom multimodal undervisning.

Defining Contexts in Context-Free Grammars

This thesis introduces an extension of Chomsky’s context-free grammars equipped with operators for referring to left and right contexts of strings.The new model is called grammar with contexts. The semantics of these grammars are given in two equivalent ways — by language equations and by logical deduction, where a grammar is understood as a logic for the recursive definition of syntax. The motivation for grammars with contexts comes from an extensive example that completely defines the syntax and static semantics of a simple typed programming language. Grammars with contexts maintain most important practical properties of context-free grammars, including a variant of the Chomsky normal form. For grammars with one-sided contexts (that is, either left or right), there is a cubic-time tabular parsing algorithm, applicable to an arbitrary grammar. The time complexity of this algorithm can be improved to quadratic,provided that the grammar is unambiguous, that is, it only allows one parsefor every string it defines. A tabular parsing algorithm for grammars withtwo-sided contexts has fourth power time complexity. For these grammarsthere is a recognition algorithm that uses a linear amount of space. For certain subclasses of grammars with contexts there are low-degree polynomial parsing algorithms. One of them is an extension of the classical recursive descent for context-free grammars; the version for grammars with contexts still works in linear time like its prototype. Another algorithm, with time complexity varying from linear to cubic depending on the particular grammar, adapts deterministic LR parsing to the new model. If all context operators in a grammar define regular languages, then such a grammar can be transformed to an equivalent grammar without context operators at all. This allows one to represent the syntax of languages in a more succinct way by utilizing context specifications. Linear grammars with contexts turned out to be non-trivial already over a one-letter alphabet. This fact leads to some undecidability results for this family of grammars

Trophic cascades in boreal landscapes: top predator protection on tree seedlings and forest grouse

Changes in the abundance of top predators have brought about notable, cascading effects in ecosystems around the world. In this thesis, I examined several potential trophic cascades in boreal ecosystems, and their separate interspecific interactions. The main aim of the thesis was to investigate whether predators in the boreal forests have direct or indirect cascading effects on the lower trophic levels. First, I compared the browsing effects of different mammalian herbivores by excluding varying combinations of voles, hares and cervids from accessing the seedlings of silver birch (Betula pendula), Scots pine (Pinus sylvestris) and Norway spruce (Picea abies). Additionally, I studied the effect of simulated predation risk on vole browsing by using auditory cues of owls. Moving upwards on the trophic levels, I examined the intraguild interactions between the golden eagle (Aquila chrysaetos), and its mesopredator prey, the red fox (Vulpes vulpes) and the pine marten (Martes martes). To look at an entire potential trophic cascade, I further studied the combined impacts of eagles and mesopredators on the black grouse (Tetrao tetrix) and the hazel grouse (Tetrastes bonasia), predicting that the shared forest grouse prey would benefit from eagle presence. From the tree species studied, birch appears to be the most palatable one for the mammalian herbivores. I observed growth reductions in the presences of cervids and low survival associated with hares and voles, which suggests that they all weaken regeneration in birch stands. Furthermore, the simulated owl predation risk appeared to reduce vole browsing on birches in late summer, although the preferred grass forage is then old and less palatable. Browsing by voles and hares had a negative effect on the condition and survival of Scots pine, but in contrast, the impact of mammalian herbivores on spruce was found to be small, at least when more preferred food is available. I observed that the presence of golden eagles had a negative effect on the abundance of adult black grouse but a positive, protective effect on the proportion of juveniles in both black grouse and hazel grouse. Yet, this positive effect was not dependent on the abundance foxes or martens, nor did eagles seem to effectively decrease the abundance of these mesopredators. Conversely, the protection effect on grouse could arise from fear effects and also be mediated by other mesopredators. The results of this thesis provide important new information about trophic interactions in the boreal food webs. They highlight how different groups of mammalian herbivores vary in their effects on the growth and condition of different tree seedlings. Lowered cervid abundances could improve birch regeneration, which indirectly supports the idea that the key predators of cervids could cause cascading effects also in Fennoscandian forests. Owls seem to reduce vole browsing through an intimidation effect, which is a novel result of the cascading effects of owl vocalisation and could even have applications for protecting birch seedlings. In the third cascade examined in this thesis, I found the golden eagle to have a protective effect on the reproducing forest grouse, but it remains unclear through which smaller predators this effect is mediated. Overall, the results of this thesis further support the idea that there are cascading effects in the forests of Northern Europe, and that they are triggered by both direct and non‐lethal effects of predation.

Dialogue journal writing: a tool for critical reflection in the adult ESL learner

This study attempted to determine whether or not dialogue journal writing encouraged critical reflection in the adult ESL (English as a Second Language) learner. According to research in adult education and anecdotal evidence, the process ofdialogue journal writing can facilitate critical reflection in the adult learner. However, little research has been conducted to examine whether or not journal writing can facilitate critical reflection in the second language learner. As a result, ten low-intermediate level adult ESL students from Brock University's Intensive English Language Programme participated in a dialogue journal writing programme in their writing class. The participants wrote journal entries over a 10-week period, and were interviewed once throughout the process to determine their perceptions ofthe journal writing experience. They also were observed by the researcher throughout the journal writing sessions to establish whether any behaviours or intrusions might affect the participants' writing processes. After the content ofthe journals and the interviews, and the observations made by the researcher were analysed, it was confirmed that, for these participants, dialogue journal writing did not necessarily encourage critical reflection. Moreover, the participants' perceptions ofjournal writing were that it helped them to practise the syntax, vocabulary, and rhetorical patterns ofEnglish; nevertheless, it did not foster critical reflection or thinking.

Four days at Niagara Falls, in North America /

Inscription in ink, t.p. verso: James Ainsworth Esq With the respectful com'ts of the author.

Recreational Development and the Lake Erie Shore Photographs,1967

John N. Jackson was born and raised in London England. He served in the Royal Navy, acquired a B.A. and a Ph.D, conducted research for a city planning office and lectured at the University of Manchester. He joined Brock University’s faculty in 1965 as a Professor of Applied Geography. Since his retirement in 1991 he has been Professor Emeritus to Brock. Throughout his time in academia Jackson has focused his research on the history of the modern city, both throughout Europe and Canada. Jackson has also completed specific research on the Niagara Peninsula; including industrial geography, recreation along the Lake Erie shore, St. Catharines early history, the Welland Canals, railway development, comparisons across the Niagara River. While living in the Niagara region Jackson has become involved in many community events. He has been the Director for the Bruce Trail Association, President of the Welland Canals Foundation, and been involved in local historical groups throughout the Niagara region.

John N. Jackson papers, 1960-1989, n.d.

John N. Jackson was born in Nottingham, England in 1926. He developed a passion for landforms and geography from his father, a high school math and science teacher who had studied geology. During the Second World War, he served in the British Navy. He received his BA from the University of Birmingham, and a PhD from the University of Manchester. After spending a year as a visiting professor at the University of British Columbia, he was hired in 1965 as the founding head of the Geography Department at Brock University. He taught at Brock for more than 25 years, immersing himself in the geography and history of the Niagara area. He became particularly interested in the history of the Welland Canals. He authored 20 books on various topics, including land use in Niagara, the history of St. Catharines, the Welland Canal, and railways in the Niagara Peninsula. He died in 2010, at the age of 84.

The "Bodega" Company Price List

A price list for The "Bodega" Company Limited. The company has branches throughout the United Kingdom, including: London, Birmingham, Manchester, Liverpool, Glasgow, Edinburgh, Dundee, Brighton, and Ryde. The final pages of the price list also include a reprinted article from "The Irish Times" concerning a case against the use of the Bodega Company name.

L-Fuzzy Structured Query Language

Lattice valued fuzziness is more general than crispness or fuzziness based on the unit interval. In this work, we present a query language for a lattice based fuzzy database. We define a Lattice Fuzzy Structured Query Language (LFSQL) taking its membership values from an arbitrary lattice L. LFSQL can handle, manage and represent crisp values, linear ordered membership degrees and also allows membership degrees from lattices with non-comparable values. This gives richer membership degrees, and hence makes LFSQL more flexible than FSQL or SQL. In order to handle vagueness or imprecise information, every entry into an L-fuzzy database is an L-fuzzy set instead of crisp values. All of this makes LFSQL an ideal query language to handle imprecise data where some factors are non-comparable. After defining the syntax of the language formally, we provide its semantics using L-fuzzy sets and relations. The semantics can be used in future work to investigate concepts such as functional dependencies. Last but not least, we present a parser for LFSQL implemented in Haskell.

Un formalisme pour la traçabilité des transformations

Dans le développement logiciel en industrie, les documents de spécification jouent un rôle important pour la communication entre les analystes et les développeurs. Cependant, avec le temps, les changements de personel et les échéances toujours plus courtes, ces documents sont souvent obsolètes ou incohérents avec l'état effectif du système, i.e., son code source. Pourtant, il est nécessaire que les composants du système logiciel soient conservés à jour et cohérents avec leurs documents de spécifications pour faciliter leur développement et maintenance et, ainsi, pour en réduire les coûts. Maintenir la cohérence entre spécification et code source nécessite de pouvoir représenter les changements sur les uns et les autres et de pouvoir appliquer ces changements de manière cohérente et automatique. Nous proposons une solution permettant de décrire une représentation d'un logiciel ainsi qu'un formalisme mathématique permettant de décrire et de manipuler l'évolution des composants de ces représentations. Le formalisme est basé sur les triplets de Hoare pour représenter les transformations et sur la théorie des groupes et des homomorphismes de groupes pour manipuler ces transformations et permettrent leur application sur les différentes représentations du système. Nous illustrons notre formalisme sur deux représentations d'un système logiciel : PADL, une représentation architecturale de haut niveau (semblable à UML), et JCT, un arbre de syntaxe abstrait basé sur Java. Nous définissons également des transformations représentant l'évolution de ces représentations et la transposition permettant de reporter les transformations d'une représentation sur l'autre. Enfin, nous avons développé et décrivons brièvement une implémentation de notre illustration, un plugiciel pour l'IDE Eclipse détectant les transformations effectuées sur le code par les développeurs et un générateur de code pour l'intégration de nouvelles représentations dans l'implémentation.

Questions à mouvement multiple en bulgare

Ce mémoire examine les questions à mouvement multiple en bulgare, en accordant une importance particulière aux mécanismes qui régissent l’ordre des syntagmes interrogatifs antéposés. Outre la présentation d’un phénomène linguistique complexe et très intéressant, l’étude propose un aperçu critique des hypothèses les plus importantes émises au fil des ans à propos des interrogatives multiples. Dans un premier temps, nous discutons des différentes approches renfermant l’idée que l’ordre des mots interrogatifs au début de la proposition dépend entièrement des règles syntaxiques. Ensuite, nous présentons les analyses qui tentent d’expliquer la problématique en faisant appel à des traits spécifiques des syntagmes Qu-, tels que [animé] ou [lié au discours]. Le rôle de la topicalisation et de la focalisation dans la formation des questions multiples, les projections fonctionnelles de la « périphérie gauche » en bulgare accueillant différents syntagmes, ainsi que la résomption comptent également parmi les sujets traités dans ce mémoire.