1,721,117 research outputs found
Dataset in support of the doctoral thesis "Generic formal patterns for cloud native application development"
No full textThis dataset contains:
The Rodin platform archives contain as follow:
*AWS-Based_RHP_ROP.zip : Event-B model introducing RHP and ROPs patterns
*AWS-Based_RHP_SSR_Auth_Pattern.zip : Refinemtn RHP pattern for introcing authorization mechanism
*AWS-Based_RHP_ROP_Case_Studies.zip : Event-B model for case study scenarios by using RHP pattern and the proposed refinement strategy for authorisation mechanism.
The Rodin platform configuration is as follows.
- Rodin Platform 3.7.0 (www.event-b.org)
- Event-B Theory 4.0.0 (Rodin Update Site)
- Atelier B Provers 2.3.0 (Atelier-B Update Site)
- SMT Solvers 1.5.0 (Rodin Update Site)
The archive can be imported into the Rodin platform.</span
Generic formal patterns for cloud native application development
No full textWith advances in cloud computing and distributed systems, cloud-native applications provide immense flexibility to developers in terms of building scaleable and efficient applications and systems. One of the predominant architectures that epitomises this shift in modern application development is the service-oriented architecture (SOA). While SOA offers developers significant flexibility during system development, it inadvertently increases overall system complexity, which may result in design and implementation flaws.To deal with complexity, formal methods offer abstraction. By conceptualising systems at higher abstraction levels, they help developers and system architects achieve a better grasp of the system's entirety and its nuances. Moreover, in service-oriented architecture and cloud-native applications, access control is a crucial component because it serves as the gatekeeper, specifying who can access the system or use which resources or services. Therefore, it should be designed robustly to protect resources and ensure the application's security.In this research, we mainly focus on developing formal modelling patterns to assist cloud-native application developers in securely designing their cloud-native systems. Therefore, firstly, we will develop a set of formal modelling patterns for the functionalities of serverless systems in the Event-B environment. In the next stage, we incorporate an access control mechanism for the serverless system into our previously proposed patterns. Then, to illustrate the usefulness of our patterns and approach, we model two distinct scenarios of a project management application with serverless architecture. We conclude by summarising our findings and highlighting the research's prospective directions and potential applications
An event-B formal model for access control and resource management of serverless apps
No full textCloud computing technologies helps developers build scalable distributed apps. Serverless architecture, or Function as a Service (FaaS), which separates app business into multiple functions, is one of the cloud computing concepts that has gained popularity. Those functions can be developed and deployed independently without provisioning infrastructure.Despite the considerable advantages and increasing popularity of cloud-native apps, developers face many challenges when building their cloud-native applications. To ensure the robustness and security of cloud-native apps and protect crucial resources, the design and implementation of functions and associated access control systems play a pivotal role.In this paper, we have employed formal methods and tools to develop a set of patterns to help cloud-native application developers design robust serverless systems. We have used Event-B and its associated toolset, Rodin, to construct these formal patterns
Dataset in support of the conference paper "An Event-B Formal Model for Access Control and Resource Management of Serverless Applications"
No full textDataset title: RHP (Request Handling Pattern) and Authorization Mechanism.
The dataset contains Event-B developments for RHP (Request Handling Pattern) and refinements for authorization mechanism in AWS environment.
It supports the paper "An Event-B Formal Model for Access Control and Resource Management of Serverless Apps" to be presented at ABZ 2024: 10th International Conference on Rigorous State-Based Methods, Bergamo, Italy, June 25-28
This dataset contains:
The Rodin platform archive *AWS-Based_RHP_SSR_Auth_Pattern.zip* and *AWS-Based_RHP_ROP_LSR_cs1_sc1.zip* former contains the RHP pattern devolvement and refinements for authorization mechanism whereas latter contains and Event-B model for a case study scenario by using RHP pattern and the proposed refinement strategy for authorisation mechanism.
The Rodin platform configuration is as follows.
- Rodin Platform 3.7.0 (www.event-b.org)
- Event-B Theory 4.0.0 (Rodin Update Site)
- Atelier B Provers 2.3.0 (Atelier-B Update Site)
- SMT Solvers 1.5.0 (Rodin Update Site)
The archive can be imported into the Rodin platform.
</span
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Variations on the Author
Full text link“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
Appropriate Similarity Measures for Author Cocitation Analysis
Full text linkWe provide a number of new insights into the methodological discussion about author cocitation analysis. We first argue that the use of the Pearson correlation for measuring the similarity between authors’ cocitation profiles is not very satisfactory. We then discuss what kind of similarity measures may be used as an alternative to the Pearson correlation. We consider three similarity measures in particular. One is the well-known cosine. The other two similarity measures have not been used before in the bibliometric literature. Finally, we show by means of an example that our findings have a high practical relevance.information science;Pearson correlation;cosine;similarity measure;author cocitation analysis
Dispelling the Myths Behind First-author Citation Counts
Full text linkWe conducted a full-scale evaluative citation analysis study of scholars in the XML research field to explore just how different from each other author rankings resulting from different citation counting methods actually are, and to demonstrate the capability of emerging data and tools on the Web in supporting more realistic citation counting methods. Our results contest some common arguments for the continued
use of first-author citation counts in the evaluation of scholars, such as high correlations between author rankings by first-author citation counts and other citation
counting methods, and high costs of using more realistic citation counting methods that are not well-supported by the ISI databases. It is argued that increasingly available digital full text research papers make it possible for citation analysis studies to go beyond what the ISI databases have directly supported and to employ more
sophisticated methods
- …
