Patterns of Collective Behavior in Ocsid

2011 ◽  
pp. 73-93 ◽  
Author(s):  
Joni Helin ◽  
Pertti Kellomäki ◽  
Tommi Mikkonen
Keyword(s):  
Distributed Systems ◽  
Software Engineering ◽  
Formal Verification ◽  
Collective Behavior ◽  
Design Patterns ◽  
Parametric Form ◽  
Common Theme ◽  
The Common ◽  
Object Interactions ◽  
Engineering Concept

This chapter presents an abstraction mechanism for collective behavior in reactive distributed systems. The mechanism allows the expression of recurring patterns of object interactions in a parametric form, and the formal verification of temporal safety properties induced by applications of the patterns. The abstraction mechanism is defined and compared to Design patterns, an established software engineering concept. While there are some obvious similarities, because the common theme is abstraction of object interactions, there are important differences as well. The chapter discusses how the emphasis on full formality affects what can be expressed and achieved in terms of patterns of object interactions. The approach is illustrated with the Observer and Memento patterns.

scholarly journals Design Pattern Elicitation Framework for Proof of Integrity in Blockchain Applications

2020 ◽  
Vol 12 (20) ◽  
pp. 8404
Author(s):  
Kawther Saeedi ◽  
Monirah Dakilallah Almalki ◽  
Dania Aljeaid ◽  
Anna Visvizi ◽  
Muhammad Ahtisham Aslam
Keyword(s):  
Software Engineering ◽  
Best Practices ◽  
Software Development ◽  
Software Design ◽  
Design Pattern ◽  
Design Patterns ◽  
Emerging Technology ◽  
Engineering Concept

An emerging technology with a secure and a decentralized nature, blockchain has the potential to transform conventional practices in an efficient and dynamic manner. However, migrating to blockchain can be challenging due to the complexity of its infrastructure and processes. The complexity of building applications on blockchain has been highlighted by many studies, thus stressing the need to investigate practical solutions further. A commonly known software engineering concept, software design pattern contributes to the acceleration of software development. It offers a holistic reusable solution for commonly occurring problems in a given context. It helps to identify problems that occur repetitively and describes best practices to address them. The present study is one of the first investigations to inquire into design patterns for blockchain application. Seeking to reduce the complexity in understanding and building applications on blockchain, this paper identifies a design pattern elicitation framework from similar blockchain applications. Next, it provides a demonstration of the Proof of Integrity (PoI) pattern elicited from two different applications on the blockchain. The applicability of the pattern is evaluated by building a blockchain application to verify the integrity of the academic certificates and by explaining how this integrity has been achieved empirically.

scholarly journals Automated model analysis tools and techniques presented at FASE 2019

2020 ◽  
Author(s):  
Reiner Hähnle ◽  
Wil van der Aalst
Keyword(s):  
Software Engineering ◽  
Model Analysis ◽  
Common Theme ◽  
Special Issue ◽  
International Conference ◽  
Model Based ◽  
Analysis Tools ◽  
The Common ◽  
Tools And Techniques ◽  
Model Based Analysis

Abstract This special issue contains substantially revised and extended versions of some of the best papers presented at the 22nd International Conference on Fundamental Approaches to Software Engineering in 2019. All papers share the common theme that they are either concerned with model-based analysis of systems or they develop methods in its service.

Raanan Rein, Fútbol, Jews and the Making of Argentina, trans. Marsha Grenzeback. Stanford: Stanford University Press, 2014. 166 pp.

2018 ◽  
Keyword(s):  
United States ◽  
Jewish Identity ◽  
The United States ◽  
Orthodox Jewish ◽  
Literary Representations ◽  
Stanford University ◽  
Common Theme ◽  
American Jews ◽  
The Common ◽  
The One

This chapter reviews the books Fútbol, Jews and the Making of Argentina (2014), by Raanan Rein, translated by Marsha Grenzeback, and Muscling in on New Worlds: Jews, Sport, and the Making of the Americas (2014), edited by Raanan Rein and David M.K. Sheinin. Rein’s book deals with the “making” of Argentina through football (soccer), while Muscling in on New Worlds focuses on the “making” of the Americas (mainly the one America, called the United States) through sports. Muscling in on New Worlds is a collection of essays that seeks to advance the common theme of sport as “an avenue by which Jews threaded the needle of asserting a Jewish identity.” Topics include Jews as boxers, Jews and football, Jews and yoga, Orthodox Jewish athletes, and American Jews and baseball. There are also essays about the cinematic and literary representations of Jews in sports.

Author Reputation Measurement on Question and Answer Sites by the Classification of Author-Generated Content

2021 ◽  
Vol 31 (10) ◽  
pp. 1421-1445
Author(s):  
Erhan Sezerer ◽  
Samet Tenekeci ◽  
Ali Acar ◽  
Bora Baloğlu ◽  
Selma Tekir
Keyword(s):  
Software Engineering ◽  
Design Patterns ◽  
Binary Classification ◽  
Grey Literature ◽  
Language Models ◽  
Superior Performance ◽  
Reputation Measurement ◽  
Objective Quality ◽  
Question And Answer ◽  
Dataset Size

In the field of software engineering, practitioners’ share in the constructed knowledge cannot be underestimated and is mostly in the form of grey literature (GL). GL is a valuable resource though it is subjective and lacks an objective quality assurance methodology. In this paper, a quality assessment scheme is proposed for question and answer (Q&A) sites. In particular, we target stack overflow (SO) and stack exchange (SE) sites. We model the problem of author reputation measurement as a classification task on the author-provided answers. The authors’ mean, median, and total answer scores are used as inputs for class labeling. State-of-the-art language models (BERT and DistilBERT) with a softmax layer on top are utilized as classifiers and compared to SVM and random baselines. Our best model achieves [Formula: see text] accuracy in binary classification in SO design patterns tag and [Formula: see text] accuracy in SE software engineering category. Superior performance in SE software engineering can be explained by its larger dataset size. In addition to quantitative evaluation, we provide qualitative evidence, which supports that the system’s predicted reputation labels match the quality of provided answers.

Borges on Replication and Concept Formation

2017 ◽  
Author(s):  
Yemima Ben-Menahem
Keyword(s):  
Philosophy Of Mind ◽  
Philosophy Of Language ◽  
Concept Formation ◽  
Jorge Luis Borges ◽  
Ancient Greece ◽  
Broad Sense ◽  
Common Theme ◽  
Contemporary Philosophy ◽  
Complex Picture ◽  
The Common

This chapter examines three stories by Jorge Luis Borges: “Funes: His Memory,” “Averroës's Search,” and “Pierre Menard, Author of the Quixote.” Each of these highlights the intricate nature of concepts and replication in the broad sense. The common theme running through these three stories is the word–world relation and the problems this relation generates. In each story, Borges explores one aspect of the process of conceptualization, an endeavor that has engaged philosophers ever since ancient Greece and is still at the center of contemporary philosophy of language and philosophy of mind. Together, Borges's stories present a complex picture of concepts and processes of conceptualization.

Modelling and Designing of IoT Systems Using UML Diagrams

2019 ◽  
pp. 36-61
Author(s):  
K. Sridhar Patnaik ◽  
Itu Snigdh
Keyword(s):  
Software Engineering ◽  
Design Patterns ◽  
Architectural Design ◽  
Intelligent System ◽  
Patient Health ◽  
Systematic Development ◽  
Uml Diagrams ◽  
Robotic Devices ◽  
Remote Patient

Despite the rapid growth in IoT research, a general principled software engineering approach for the systematic development of IoT systems and applications is still missing. Software engineering as a discipline provides the necessary platform to carry on the underlying design, coding, implementation, as well as maintenance of such systems. UML diagrams present a visually comprehensible outlay of the construction of IoT systems. The chapter covers the modelling of IoT systems using UML diagrams. Starting with the architectural design of any IoT system to behavioral aspects is covered in this chapter using a case study of IoT-based remote patient health monitoring system. The diagrams shown in this chapter are the sample diagrams for understanding IoT-based complex systems. The chapter focuses on the work carried out by Franco Zambonelli in context of developing abstract model of an IoT system using software engineering concepts. The chapter also focus on the pioneer work carried by J. F. Peters in intelligent system design patterns for robotic devices using pattern classification.

3. Blasphemy and religion

2021 ◽  
pp. 42-67
Author(s):  
Yvonne Sherwood
Keyword(s):  
Religious Violence ◽  
Common Theme ◽  
World Religions ◽  
Interesting Point ◽  
Community Cohesion ◽  
Civil Unrest ◽  
The Bible ◽  
The World ◽  
The Common ◽  
The Relationship

‘Blasphemy and religion’ evaluates the concept of blasphemy in religion, looking at the common theme emerging across the world religions. In Islam, ‘blasphemy’ is about protecting the community from fitnah (civil unrest). In Hinduism and Buddhism, it is about preventing adharma (non-dharma or anti-dharma). In the Bible, blasphemy is a crime of lèse-majesté, concerned with protecting the dignity of socially revered gods and men. In each case, blasphemy is social, political, and religious, and prohibiting blasphemy is about protecting community cohesion. The relationship between blasphemy and religious violence and the concept of inner-religious blasphemy is an interesting point of discussion here.

Logical atomism

2018 ◽  
Author(s):  
Alex Oliver
Keyword(s):  
Mutual Influence ◽  
Ordinary Language ◽  
Common Theme ◽  
Complex Sentences ◽  
Logical Atomism ◽  
The First World War ◽  
The World ◽  
Surface Description ◽  
The Common ◽  
First World

The name ‘logical atomism’ refers to a network of theses about the parts and structure of the world and the means by which language represents the world. Wittgenstein, in his Tractatus Logico-Philosophicus, expounds a version of logical atomism developed by him around the time of the First World War, as does Russell in works published contemporaneously. It is no accident that their work on logical atomism shares a common surface description since it resulted from their mutual influence at Cambridge. The common theme is that the meaning of our sentences is rooted in a primitive relation between simple expressions and their simple worldly bearers, the logical atoms. In a logically perfect language, atomic sentences describe configurations of these atoms, and complex sentences are combinations of the atomic sentences. But sentences of ordinary language may have a misleading surface form which is revealed as such by analysis. The common theme masks considerable differences of doctrine. In particular, there are differences in the nature of logical atoms and in the arguments for the existence of these atoms.

Sign in / Sign up

Export Citation Format

Share Document