Session coalgebras: A coalgebraic view on session types and communication protocols

Compositional methods are central to the development and verification of software systems. They allow breaking down large systems into smaller components, while enabling reasoning about the behaviour of the composed system. For concurrent and communicating systems, compositional techniques based on behavioural type systems have received much attention. By abstracting communication protocols as types, these type systems can statically check that programs interact with channels according to a certain protocol, whether the intended messages are exchanged in a certain order. In this paper, we put on our coalgebraic spectacles to investigate session types, a widely studied class of behavioural type systems. We provide a syntax-free description of session-based concurrency as states of coalgebras. As a result, we rediscover type equivalence, duality, and subtyping rela

Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols

Compositional methods are central to the development and verification of software systems. They allow to break down large systems into smaller components, while enabling reasoning about the behaviour of the composed system. For concurrent and communicating systems, compositional techniques based on behavioural type systems have received much attention. By abstracting communication protocols as types, these type systems can statically check that programs interact with channels according to a certain protocol, whether the intended messages are exchanged in a certain order. In this paper, we put on our coalgebraic spectacles to investigate session types, a widely studied class of behavioural type systems. We provide a syntax-free description of session-based concurrency as states of coalgebras. As a result, we rediscover type equivalence, duality, and subtyping relations in terms of canonical coinductive presentations. In turn, this coinductive presentation makes it possible to elegantly derive a decidable type system with subtyping for $\pi$-calculus processes, in which the states of a coalgebra will serve as channel protocols. Going full circle, we exhibit a coalgebra structure on an existing session type system, and show that the relations and type system resulting from our coalgebraic perspective agree with the existing ones.Comment: 36 pages, submitte

Linguistic Refactoring of Business Process Models

In the past decades, organizations had to face numerous challenges due to intensifying globalization and internationalization, shorter innovation cycles and growing IT support for business. Business process management is seen as a comprehensive approach to align business strategy, organization, controlling, and business activities to react flexibly to market changes. For this purpose, business process models are increasingly utilized to document and redesign relevant parts of the organization's business operations. Since companies tend to have a growing number of business process models stored in a process model repository, analysis techniques are required that assess the quality of these process models in an automatic fashion. While available techniques can easily check the formal content of a process model, there are only a few techniques available that analyze the natural language content of a process model. Therefore, techniques are required that address linguistic issues caused by the actual use of natural language. In order to close this gap, this doctoral thesis explicitly targets inconsistencies caused by natural language and investigates the potential of automatically detecting and resolving them under a linguistic perspective. In particular, this doctoral thesis provides the following contributions. First, it defines a classification framework that structures existing work on process model analysis and refactoring. Second, it introduces the notion of atomicity, which implements a strict consistency condition between the formal content and the textual content of a process model. Based on an explorative investigation, we reveal several reoccurring violation patterns are not compliant with the notion of atomicity. Third, this thesis proposes an automatic refactoring technique that formalizes the identified patterns to transform a non-atomic process models into an atomic one. Fourth, this thesis defines an automatic technique for detecting and refactoring synonyms and homonyms in process models, which is eventually useful to unify the terminology used in an organization. Fifth and finally, this thesis proposes a recommendation-based refactoring approach that addresses process models suffering from incompleteness and leading to several possible interpretations. The efficiency and usefulness of the proposed techniques is further evaluated by real-world process model repositories from various industries. (author's abstract

Digital participatory platforms in urban planning

Digital technologies for public participation in the form of 3D and 2D geoparticipation, generalist/multifunctional and bespoke digital portals are increasingly being harnessed by local government to crowdsource local knowledge and engage the public in urban planning policies as a means of increasing the transparency, legitimacy and effectiveness of planning processes. These forms of public participation initiated by local government typically go beyond statutory requirements and provide evidence of a participatory turn in urban planning practice. Current innovations are such that they outpace research about the effectiveness of digital engagement in participatory planning practices. Through a qualitative meso-investigation about the use of digital participatory platforms (DPPs) in urban planning, this thesis contributes much-needed empirical evidence based on 29 online survey responses and 54 interviews with a total of 83 planning professionals for 25 digital platforms deployed in 61 use-cases in cities across Europe, North America and Australia. Additionally, interviews with 13 software providers provide cumulative insight about DPP use-cases. The findings indicate that objectives for using DPPs are multiple, context-dependent, and relate to perceived levels of influence. DPPs’ influence on urban planning processes and decisions is typically indirect in that they are typically used as part of an ecosystem of tools for public participation, as part of continuous processes of innovation and experimentation. Theoretically, the research reconceptualises digital platforms for public participation as hybrid socio-technical systems. The thesis also provides valuable recommendations for planning professionals and software providers to better take stock of the identified socio-technical interdependencies and help improve DPP workflow integrations. The combined empirical, theoretical and methodological findings highlight that planning workflows and processes both shape the use of DPPs and are reshaped by them through recursive processes of DPP innovation

Täpne ja tõhus protsessimudelite automaatne koostamine sündmuslogidest

Töötajate igapäevatöö koosneb tegevustest, mille eesmärgiks on teenuste pakkumine või toodete valmistamine. Selliste tegevuste terviklikku jada nimetatakse protsessiks. Protsessi kvaliteet ja efektiivsus mõjutab otseselt kliendi kogemust – tema arvamust ja hinnangut teenusele või tootele. Kliendi kogemus on eduka ettevõtte arendamise oluline tegur, mis paneb ettevõtteid järjest rohkem pöörama tähelepanu oma protsesside kirjeldamisele, analüüsimisele ja parendamisele. Protsesside kirjeldamisel kasutatakse tavaliselt visuaalseid vahendeid, sellisel kujul koostatud kirjeldust nimetatakse protsessimudeliks. Kuna mudeli koostaja ei suuda panna kirja kõike erandeid, mis võivad reaalses protsessis esineda, siis ei ole need mudelid paljudel juhtudel terviklikud. Samuti on probleemiks suur töömaht - inimese ajakulu protsessimudeli koostamisel on suur. Protsessimudelite automaatne koostamine (protsessituvastus) võimaldab genereerida protsessimudeli toetudes tegevustega seotud andmetele. Protsessituvastus aitab meil vähendada protsessimudeli loomisele kuluvat aega ja samuti on tulemusena tekkiv mudel (võrreldes käsitsi tehtud mudeliga) kvaliteetsem. Protsessituvastuse tulemusel loodud mudeli kvaliteet sõltub nii algandmete kvaliteedist kui ka protsessituvastuse algoritmist. Antud doktoritöös anname ülevaate erinevatest protsessituvastuse algoritmidest. Toome välja puudused ja pakume välja uue algoritmi Split Miner. Võrreldes olemasolevate algoritmidega on Splint Miner kiirem ja annab tulemuseks kvaliteetsema protsessimudeli. Samuti pakume välja uue lähenemise automaatselt koostatud protsessimudeli korrektsuse hindamiseks, mis on võrreldes olemasolevate meetoditega usaldusväärsem. Doktoritöö näitab, kuidas kasutada optimiseerimise algoritme protsessimudeli korrektsuse suurendamiseks.Everyday, companies’ employees perform activities with the goal of providing services (or products) to their customers. A sequence of such activities is known as business process. The quality and the efficiency of a business process directly influence the customer experience. In a competitive business environment, achieving a great customer experience is fundamental to be a successful company. For this reason, companies are interested in identifying their business processes to analyse and improve them. To analyse and improve a business process, it is generally useful to first write it down in the form of a graphical representation, namely a business process model. Drawing such process models manually is time-consuming because of the time it takes to collect detailed information about the execution of the process. Also, manually drawn process models are often incomplete because it is difficult to uncover every possible execution path in the process via manual data collection. Automated process discovery allows business analysts to exploit process' execution data to automatically discover process models. Discovering high-quality process models is extremely important to reduce the time spent enhancing them and to avoid mistakes during process analysis. The quality of an automatically discovered process model depends on both the input data and the automated process discovery application that is used. In this thesis, we provide an overview of the available algorithms to perform automated process discovery. We identify deficiencies in existing algorithms, and we propose a new algorithm, called Split Miner, which is faster and consistently discovers more accurate process models than existing algorithms. We also propose a new approach to measure the accuracy of automatically discovered process models in a fine-grained manner, and we use this new measurement approach to optimize the accuracy of automatically discovered process models.https://www.ester.ee/record=b530061

A Civil Society: The Public Space of Freemason Women in France, 1744–1944

A Civil Society explores the struggle to initiate women as full participants in the masonic brotherhood that shared in the rise of France’s civil society and its “civic morality” on behalf of women’s rights. As a vital component of the third sector during France’s modernization, freemasonry empowered women in complex social networks, contributing to a more liberal republic, a more open society, and a more engaged public culture. James Smith Allen shows that although women initially met with stiff resistance, their induction into the brotherhood was a significant step in the development of French civil society, including the promotion of women’s rights in the late nineteenth century. Pulling together the many gendered facets of masonry, Allen draws from periodicals, memoirs, and archival material to account for the rise of women within the masonic brotherhood in the context of rapid historical change. Thanks to women’s social networks and their attendant social capital, masonry came to play a leading role in French civil society and the rethinking of gender relations in the public sphere

A capability-based context modelling method to enhance digital service flexibility

The thesis argues that the enterprises need to understand their application context to be able to offer flexible digital services. Furthermore, after analysing the state of research in Services Science, it concludes that different roles with varying backgrounds participate to design and implementation of digital services, which adds the need for alignment between those as a further challenge for flexibility. To fulfil this, the thesis designs a context modelling method and evaluates it by means of Design Science Research (DSR).Digitalisierung in der Dienstleistungökonomie erfordert, die Auswirkungen von veränderten Anwendungskontexten an die zu erbringenden Services genau zu verstehen. Es wird nach der Analyse des Standes der Technik in Services Science festgestellt, dass unterschiedliche Rollen in der Gestaltung und Umsetzung von Digital Services beteiligt sind, was die Notwendigkeit der Abstimmung zwischen diesen Rollen als eine wichtige Herausforderung an die Flexibilität stellt. Um ein solches Alignment zu erreichen, entwickelt dieser Beitrag eine Kontextmodellierungsmethode und evaluiert diese mittels DSR