A Provenance-Aware Policy Language (cProvl) and a Data Traceability Model (cProv) for the Cloud

Provenance plays a pivotal in tracing the origin of something and determining how and why something had occurred. With the emergence of the cloud and the benefits it encompasses, there has been a rapid proliferation of services being adopted by commercial and government sectors. However, trust and security concerns for such services are on an unprecedented scale. Currently, these services expose very little internal working to their customers; this can cause accountability and compliance issues especially in the event of a fault or error, customers and providers are left to point finger at each other. Provenance-based traceability provides a mean to address part of this problem by being able to capture and query events occurred in the past to understand how and why it took place. However, due to the complexity of the cloud infrastructure, the current provenance models lack the expressibility required to describe the inner-working of a cloud service. For a complete solution, a provenance-aware policy language is also required for operators and users to define policies for compliance purpose. The current policy standards do not cater for such requirement. To address these issues, in this paper we propose a provenance (traceability) model cProv, and a provenance-aware policy language (cProvl) to capture traceability data, and express policies for validating against the model. For implementation, we have extended the XACML3.0 architecture to support provenance, and provided a translator that converts cProvl policy and request into XACML type.

Space: Irrealis objects in technology policy and their role in a new political economy

In this article, I show how new spaces are being prefigured for colonization in new economy policy discourses. Drawing on a corpus of 1.3 million words collected from legislatures throughout the world, I show the role of policy language in creating the foundations of an emergent form of political economy: The analysis is informed by principles from critical discourse analysis (CDA), classical political economy and critical media studies. It foregrounds a functional aspect of language called process metaphor to show how aspects of human activity are prefigured for mass commodification by the manipulation of realis and irrealis spaces. I also show how the fundamental element of any new political economy, the property element, is being largely ignored. Current moves to create a privately owned global space, which is as concrete as landed property - namely, the electromagnetic spectrum - has significant ramifications for the future of social relations in any global knowledge economy.

Conference Proceedings. Academic Mobility Blending Perspectives - Mobilité Académique Perspectives croisées

Les 21, 22 et 23 septembre 2006, le Département d’Études Françaises de l’Université de Turku (Finlande) a organisé une conférence internationale et bilingue (anglais et français) sur le thème de la mobilité académique ; le but de cette rencontre était de rendre possible la tenue d’un forum international et multidisciplinaire, susceptible d’être le siège de divers débats entre les différents acteurs de la mobilité académique (c’estàdire des étudiants, des chercheurs, des personnels enseignants et administratifs, etc.). Ainsi, ont été mis à contribution plus de cinquante intervenants, (tous issus de domaines aussi variés que la linguistique, les sciences de l’éducation, la didactique, l’anthropologie, la sociologie, la psychologie, l’histoire, la géographie, etc.) ainsi que cinq intervenants renommés1. La plupart des thèmes traités durant la conférence couvraient les champs suivants : l’organisation de la mobilité, les obstacles rencontrés par les candidats à la mobilité, l’intégration des étudiants en situation d’échange, le développement des programmes d’études, la mobilité virtuelle, l’apprentissage et l’enseignement des langues, la prise de cosncience interculturelle, le développement des compétences, la perception du système de mobilité académique et ses impacts sur la mobilité effective. L’intérêt du travail réalisé durant la conférence réside notamment dans le fait qu’il ne concentre pas uniquement des perspectives d’étudiants internationaux et en situation d’échange (comme c’est le cas de la plupart des travaux de recherche déjà menés sur ce sujet), mais aussi ceux d’autres corps : enseignants, chercheurs, etc. La contribution suivante contient un premier corpus de dixsept articles, répartis en trois sections : 1. Impacts de la mobilité étudiante ; 2. Formation en langues ; 3. Amélioration de la mobilité académique. À l’image de la conférence, la production qui suit est bilingue : huit des articles sont rédigés en français, et les neuf autres en anglais. Certains auteurs n’ont pas pu assister à la conférence mais ont tout de même souhaité apparaître dans cet ouvrage. Dans la première section de l’ouvrage, Sandrine Billaud tâche de mettre à jour les principaux obstacles à la mobilité étudiante en France (logement, organisation des universités, démarches administratives), et propose à ce sujet quelques pistes d’amélioration. Vient ensuite un article de Dominique Ulma, laquelle se penche sur la mobilité académique régnant au sein des Instituts Universitaires de Formation des Maîtres (IUFM) ; elle s’est tout particulièrement concentrée sur l’enthousiasme des stagiaires visàvis de la mobilité, et sur les bénéfices qu’apporte la mobilité Erasmus à ce type précis d’étudiant. Ensuite, dans un troisième article, Magali Hardoin s’interroge sur les potentialités éducationnelles de la mobilité des enseignantsstagiaires, et tâche de définir l’impact de celleci sur la construction de leur profil professionnel. Après cela arrive un groupe de trois articles, tous réalisés à bases d’observations faites dans l’enseignement supérieur espagnol, et qui traitent respectivement de la portée qu’a le programme de triple formation en langues européennes appliquées pour les étudiants en mobilité (Marián MorónMartín), des conséquences qu’occasionne la présence d’étudiants étrangers dans les classes de traductions (Dimitra Tsokaktsidu), et des réalités de l’intégration sur un campus espagnol d’étudiants américains en situation d’échange (Guadalupe Soriano Barabino). Le dernier article de la section, issu d’une étude sur la situation dans les institutions japonaises, fait état de la situation des programmes de doubles diplômes existant entre des établissements japonais et étrangers, et tente de voir quel est l’impact exact de tels programmes pour les institutions japonaises (Mihoko Teshigawara, Riichi Murakami and Yoneo Yano). La seconde section est elle consacrée à la relation entre apprentissage et enseignement des langues et mobilité académique. Dans un premier article, Martine Eisenbeis s’intéresse à des modules multimédia réalisés à base du film « L’auberge espagnole », de Cédric Klapish (2001), et destinés aux étudiants en mobilité désireux d’apprendre et/ou améliorer leur français par des méthodes moins classiques. Viennent ensuite les articles de Jeanine Gerbault et Sabine Ylönen, lesquels traitent d’un projet européen visant à supporter la mobilité étudiante par la création d’un programme multimédia de formation linguistique et culturelle pour les étudiants en situation de mobilité (le nom du projet est EUROMOBIL). Ensuite, un article de Pascal Schaller s’intéresse aux différents types d’activités que les étudiants en séjour à l’étranger expérimentent dans le cadre de leur formation en langue. Enfin, la section s’achève avec une contribution de Patricia KohlerBally, consacrée à un programme bilingue coordonné par l’Université de Fribourg (Suisse). La troisième et dernière section propose quelques pistes de réflexion destinées à améliorer la mobilité académique des étudiants et des enseignants ; dans ce cadre seront donc évoquées les questions de l’égalité face à la mobilité étudiante, de la préparation nécessitée par celleci, et de la prise de conscience interculturelle. Dans un premier chapitre, Javier Mato et Bego

Formal modelling for digital media distribution

Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological progress made it possible to create a recording of a phenomenon; first as an analogue recording onto a physical object, and later digitally, as a sequence of bits to be interpreted by a computer. By the end of the 20th century technological advances had made it feasible to distribute media content over a computer network instead of on physical objects, thus enabling the concept of digital media distribution. Many digital media distribution systems already exist, and their continued, and in many cases increasing, usage is an indicator for the high interest in their future enhancements and enriching. By looking at these digital media distribution systems, we have identified three main areas of possible improvement: network structure and coordination, transport of content over the network, and the encoding used for the content. In this thesis, our aim is to show that improvements in performance, efficiency and availability can be done in conjunction with improvements in software quality and reliability through the use of formal methods: mathematical approaches to reasoning about software so that we can prove its correctness, together with the desirable properties. We envision a complete media distribution system based on a distributed architecture, such as peer-to-peer networking, in which different parts of the system have been formally modelled and verified. Starting with the network itself, we show how it can be formally constructed and modularised in the Event-B formalism, such that we can separate the modelling of one node from the modelling of the network itself. We also show how the piece selection algorithm in the BitTorrent peer-to-peer transfer protocol can be adapted for on-demand media streaming, and how this can be modelled in Event-B. Furthermore, we show how modelling one peer in Event-B can give results similar to simulating an entire network of peers. Going further, we introduce a formal specification language for content transfer algorithms, and show that having such a language can make these algorithms easier to understand. We also show how generating Event-B code from this language can result in less complexity compared to creating the models from written specifications. We also consider the decoding part of a media distribution system by showing how video decoding can be done in parallel. This is based on formally defined dependencies between frames and blocks in a video sequence; we have shown that also this step can be performed in a way that is mathematically proven correct. Our modelling and proving in this thesis is, in its majority, tool-based. This provides a demonstration of the advance of formal methods as well as their increased reliability, and thus, advocates for their more wide-spread usage in the future.

English-Spanish bilingual learners of Portuguese as a third language: non-redundant acquisition and its typological nature

This chapter has two goals: (a) to discuss the Spanish-Portuguese interface in current formal language acquisition research and (b) to highlight the contributions of this language pairing in the emerging field of formal third language acquisition. The authors discuss two L3 acquisition studies (Montrul, Dias, & Santos, 2011; Giancaspro, Halloran, & Iverson, in press) examining Differential Object Marking, a morphological case marker present in Spanish but not in Portuguese, arguing that the results show how data from Spanish-English bilinguals learning Brazilian Portuguese as an L3 illuminate the deterministic role of structural and typological similarity in linguistic transfer. The data provide supportive evidence for only one of three existing L3 transfer models: the Typological Proximity Model (Rothman, 2010, 2011, 2013).

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

Uma arquitetura baseada em SCTP e SIP para suporte a aplicações VoIP móveis e a especificação formal do seu módulo de controle

New versions of SCTP protocol allow the implementation of handover procedures in the transport layer, as well as the supply of a partially reliable communication service. A communication architecture is proposed herein, integrating SCTP with the session initiation protocol, SIP, besides additional protocols. This architecture is intended to handle voice applications over IP networks with mobility requirements. User localization procedures are specified in the application layer as well, using SIP, as an alternative mean to the mechanisms used by traditional protocols, that support mobility in the network layer. The SDL formal specification language is used to specify the operation of a control module, which coordinates the operation of the system component protocols. This formal specification is intended to prevent ambiguities and inconsistencies in the definition of this module, assisting in the correct implementation of the elements of this architecture

Seeing Turkish state formation processes: Mapping language and education census data

Language provides an interesting lens to look at state-building processes because of its cross-cutting nature. For example, in addition to its symbolic value and appeal, a national language has other roles in the process, including: (a) becoming the primary medium of communication which permits the nation to function efficiently in its political and economic life, (b) promoting social cohesion, allowing the nation to develop a common culture, and (c) forming a primordial basis for self-determination. Moreover, because of its cross-cutting nature, language interventions are rarely isolated activities. Languages are adopted by speakers, taking root in and spreading between communities because they are legitimated by legislation, and then reproduced through institutions like the education and military systems. Pádraig Ó’ Riagáin (1997) makes a case for this observing that “Language policy is formulated, implemented, and accomplishes its results within a complex interrelated set of economic, social, and political processes which include, inter alia, the operation of other non-language state policies” (p. 45). In the Turkish case, its foundational role in the formation of the Turkish nation-state but its linkages to human rights issues raises interesting issues about how socio-cultural practices become reproduced through institutional infrastructure formation. This dissertation is a country-level case study looking at Turkey’s nation-state building process through the lens of its language and education policy development processes with a focus on the early years of the Republic between 1927 and 1970. This project examines how different groups self-identified or were self-identified (as the case may be) in official Turkish statistical publications (e.g., the Turkish annual statistical yearbooks and the population censuses) during that time period when language and ethnicity data was made publicly available. The overarching questions this dissertation explores include: 1.What were the geo-political conditions surrounding the development and influencing the Turkish government’s language and education policies? 2.Are there any observable patterns in the geo-spatial distribution of language, literacy, and education participation rates over time? In what ways, are these traditionally linked variables (language, literacy, education participation) problematic? 3.What do changes in population identifiers, e.g., language and ethnicity, suggest about the government’s approach towards nation-state building through the construction of a civic Turkish identity and institution building? Archival secondary source data was digitized, aggregated by categories relevant to this project at national and provincial levels and over the course of time (primarily between 1927 and 2000). The data was then re-aggregated into values that could be longitudinally compared and then layered on aspatial administrative maps. This dissertation contributes to existing body of social policy literature by taking an interdisciplinary approach in looking at the larger socio-economic contexts in which language and education policies are produced.

Bibliotecas públicas, responsabilidade social e cidadania

Este trabalho de investigação visa estudar e compreender a responsabilidade social de três bibliotecas públicas da margem sul do Tejo, analisando de que forma estas contribuem para o desenvolvimento de cidadãos civicamente mais ativos. Neste sentido, determina-se que modelo de responsabilidade social aplicam, que meios utilizam para incentivar o envolvimento cívico e que parcerias estabelecem. O método de recolha de dados utilizado foi a entrevista, tendo esta sido realizada aos responsáveis de cada bibliotecas em análise. Os resultados evidenciam que não existe uma política formal de responsabilidade social, mas sim ações que se assemelham a modelos práticos de RS que se classificam nas Teorias Integrativas. Relativamente às iniciativas desenvolvidas pelas bibliotecas públicas para a promoção da cidadania, estas vão de encontro ao Manifesto da IFLA/UNESCO para as Bibliotecas Públicas, podendo dizer-se que as suas ações se encontram confinadas à responsabilidade legal da organização. As bibliotecas identificam os seus stakeholders, mas é necessário que estes possuam um papel mais ativo no desenvolvimento de iniciativas que respondam às suas expetativas e necessidades. Efetuam-se cinco recomendações para melhorar o desempenho das bibliotecas públicas no domínio da responsabilidade social e da cidadania: implementar políticas de responsabilidade social; respeitar os interesses dos stakeholders; apostar na formação em responsabilidade social; investir na aprendizagem ao longo da vida; e inovar, no sentido de desenvolver atividades que vão além do cumprimento do Manifesto da IFLA/UNESCO para as Bibliotecas Públicas.

Promoção da língua portuguesa no mundo : hipótese de modelo estratégico

De successifs Gouvernements du Portugal, Organisations du Gouvernement Portugais et ses représentants légitimes, non mal de fois, s’affolent à associer la Langue Portugaise non seulement à l’identité Nationale mais aussi comme un moyen de reconnaissance internationale du pays, liée à une vision plus élargie reliée au concept géolinguistique et géopolitique de Lusophonie. Un concept particulièrement important et opératif qu’il est assimilé à l’image d’autres langues de présence globale ou, du moins, comme des langues de communication international intercontinental – comme les pays Anglophones, Spanophones et Francophones -. Le but, est celui de promouvoir l’usage international de la langue portugaise aussi que le développement économique et social des huit pays rassemblés à la Communauté des Pays de Langue Portugaise (CPLP). Cette étude, essaye de trouver les relations entre le discours officiel diffusé et les programmes de chaque Gouvernement depuis 1974. Une recherche sur la promotion, diffusion et/ou défense de la langue portugaise soit en temps que PLE (Portugais Langue Étrangère), soit en temps que dans le domaine de l’usage de la Langue Portugaise dans les différents Forums Internationaux dont le Portugal et les autres pays de langue portugaise font partie. Les discours et les documents officiels nous présentent toujours la promotion et diffusion de la langue comme une priorité, un impératif national, il est donc aussi impératif de confronter tous ces mots, dits et écrits, avec la réalité de l’action politique, voir, la politique de la langue effectivement mise en place, par les successifs gouvernements.

Promoção da língua portuguesa no mundo : hipótese de modelo estratégico

Sucessivos Governos, Organizações Governamentais e responsáveis desses Governos e Organizações têm apresentado até ao presente e de forma veemente e repetida uma sistemática ligação da língua portuguesa não só à identidade nacional como também a uma forma de reconhecimento internacional ligada a uma visão mais ampla, geolinguística e geopolítica de uma Lusofonia, capaz de agir de forma concertada conforme ao exemplo de outros blocos político-linguísticos, como o Francófono, o Espanófono ou o Anglófono, por forma a promover o uso alargado da língua portuguesa como língua internacional e o desenvolvimento económico e social dos países membros da Comunidade de Países de Língua Portuguesa (CPLP). Este trabalho é um estudo sobre a indissociável relação entre as reiteradas afirmações constantes no discurso oficial e nos documentos legais que as suportam no que respeita à promoção e difusão do uso da Língua Portuguesa quer como Língua Estrangeira (PLE), quer na promoção do seu uso nas Organizações Internacionais de que Portugal, os Países de Língua Portuguesa ou de Língua Oficial Portuguesa fazem parte. Este discurso oficial sobre a língua e a documentação legal que a suporta, que surge sempre apresentado como uma prioridade política e como desígnio nacional, impõe a necessária confrontação entre a afirmação daqueles propósitos e a realidade da política de língua implementada de facto, ou seja, a forma como esse desígnio nacional é levado à prática pelo Estado e, logo, pelos governantes que agem em seu nome e definem esta política de língua externa ao longo de um período de cerca de 30 anos de democracia em que este estudo se centra.

Innovative implementation by non-state actors in environment-related areas : towards a positive implementation gap ?

This contribution (presented in the first International Conference on Public Policy (ICPP) in Grenoble in June 2013) explores the phenomena of innovation in action ("innovative implementation"). To do so, we operationalize "innovative implementation" as a strategy by which (coalitions of) non-state actors seek to develop ad hoc solutions to address a given environmental issue, going beyond what is provided for in formal policy designs. Following an inductive research strategy, we elaborate a conceptual framework whose main advantage is to bring the actors and their coalition (in all their diversity) back in the analysis. More concretely, we state that perceiving implementation as broader 'social interaction processes' (De Boer & Bressers 2011) within which actors play strategic 'games' (Bardach 1977, Scharpf 1997) opens interesting lines of research to better account for their innovative and strategic behaviours. In a second step, we apply this framework to three strategies of innovative implementation in different contexts, and identify on this basis empirical regularities in the individual pathways related to the emergence and success (or failure) of these strategies.

Vint-i-cinc anys de política i planificació lingüístiques

Bon dia a tothom. Estic content, com també tots vostès, de ser present avui aquí en aquest acte de celebració dels 25 anys de la Revista de llengua i dret. Per començar, crec que és de justícia agrair i reconèixer l"impuls i la tasca de les persones que l"han liderada en aquest temps, i també dels responsables polítics que han cregut en aquest projecte i que hi han donat el suport imprescindible perquè pogués ser una realitat. Em toca a mi ocupar-me d"aquests vint-i-cinc anys de política i planificació lingüístiques centrant-me més aviat en la situació o situacions catalanes. Ho faré no tant a mode de balanç recopilatori sinó més aviat intentant veure què hem après en aquests anys que ens pugui servir per als que vénen. Miraré, doncs, el passat però amb la vista posada cap al futur.

Sociolingüística versus política y planificación lingüísticas: distinciones entre los campos y nociones integradoras

En el marc de la visió del fenomen lingüístic com a complex més que no pas com a «objecte», l"aproximació sociolingüística se centra en la llengua i els seus contextos eco-socio-cognitius. Així, la perspectiva sociolingüística es constitueix ineluctablement de forma inter- i transdisciplinària, i se situa clarament en una cruïlla de camins i perspectives que ha d"interrelacionar. No obstant, avui dia la sociolingüística és encara una àrea fragmentada i amb moltes línies d"estudi poc integrades i comunicades, i per tant el seu repte actual i de cara al futur immediat és construir un marc teòric integrador propi en el qual puguin convergir els diferents angles i plans d"estudi. En aquesta recerca d"elements generals unificadors sobresurt una noció que podria actuar si més no d"element cohesionador, i és la que es refereix al fenomen de la sociosignificació extragramàtica relacionat amb la diversitat de «com diem les coses» els humans. Així en societats amb presència de llengües distintes, dir alguna cosa fent-ne servir una o altra pot ser considerat com a significatiu per als interlocutors, tal com pot succeir en el cas de la concurrència de distintes varietats geodialectals o sociodialectals, que poden ser valorades de diferent manera pels parlants. Així mateix, més en el pla interpersonal, la selecció de formes lingüístiques i paralingüístiques adequades és crucial si, per exemple, volem indicar enuig o bé alegria i actitud festiva. Aquesta perspectiva se situa més a prop del «gir cognitivista» en les ciències socioculturals, ja que postula la centralitat del cervell-ment en el control de la conducta humana i, per tant, del comportament lingüístic.