Simulating permissionless blockchains: Distribution fitting, tool support, and a case study

2021 ◽  
Author(s):  
Maher Alharby ◽  
Aad Moorsel
Keyword(s):  
Tool Support ◽  
Distribution Fitting

scholarly journals Constructive Action Semantics for Core ML

2004 ◽  
Vol 11 (37) ◽  
Author(s):  
Jørgen Iversen ◽  
Peter D. Mosses
Keyword(s):  
Programming Languages ◽  
Tool Support ◽  
Semantic Description ◽  
Action Semantics ◽  
Language Constructs ◽  
Description Framework ◽  
The Individual ◽  
Language Construct ◽  
Language Description

Usually, the majority of language constructs found in a programming language can also be found in many other languages, because language design is based on reuse. This should be reflected in the way we give semantics to programming languages. It can be achieved by making a language description consist of a collection of modules, each defining a single language construct. The description of a single language construct should be language independent, so that it can be reused in other descriptions without any changes. We call a language description framework ``constructive'' when it supports independent description of individual constructs.<br /> <br />We present a case study in constructive semantic description. The case study is a description of Core ML, consisting of a mapping from it to BAS (Basic Abstract Syntax) and action semantic descriptions of the individual BAS constructs. The latter are written in ASDF (Action Semantics Definition Formalism), a formalism specially designed for writing action semantic descriptions of single language constructs. Tool support is provided by the ASF+SDF Meta-Environment and by the Action Environment, which is a new extension of the ASF+SDF Meta-Environment.

scholarly journals Instructional Media in the XV Century (A Case Study of Widodaren, Gerba, and Pasrujambe Inscriptions)

2020 ◽  
Vol 40 (1) ◽  
pp. 121-142
Author(s):  
Raka Rakai Hino
Keyword(s):  
Structural Analysis ◽  
Literature Review ◽  
Learning Process ◽  
Teaching And Learning ◽  
Qualitative Method ◽  
Moral Values ◽  
Tool Support ◽  
Instructional Media

This study was aimed at analyzing and interpreting the instructional media existing in the classical period of the Hindu - Buddhist kingdoms. The object of the study was inscriptions found on the Semeru Slope, inclduing Widodaren, Pasrujambe, and Gerba. This study employed a qualitative method with an archeological-historical framework. The data was collected through a literature review and in-situ research of the inscriptions. The collected data was analyzed using a structural analysis in the forms of transliteration of the contents and meaning written at the inscriptions. The study found that there is evidence of the use of instructional media in teaching process. This finding is also supported by the Nāgarakṛtâgama and Bujaņga Manik manuscripts which narrate educational and moral values as one of the characteristics of instructional media. In addition, the instructional media serve as a tool support the teaching and learning process at that time.

Round-trip Engineering UML Class Models and Java Models

2016 ◽  
Vol 7 (3) ◽  
pp. 72-92 ◽  
Author(s):  
Sandra Greiner ◽  
Thomas Buchmann
Keyword(s):  
Source Code ◽  
Model Transformations ◽  
Tool Support ◽  
Round Trip ◽  
Model Driven ◽  
Engineering Discipline ◽  
Model Driven Software Development ◽  
Model Transformation Language ◽  
Class Models

Model transformations constitute the key technology for model-driven software development, a software engineering discipline which became more and more important during the last decade. While tool support for unidirectional batch transformations is rather mature, bidirectional and incremental transformations are only weakly investigated. Nevertheless, several usage scenarios demand for incremental and bidirectional transformations, like round-trip engineering between UML class models and Java source code. This paper presents a bidirectional transformation between UML class models and a Java model which is obtained from Java source code. The transformation is written in QVT Relations, a declarative model transformation language provided by the OMG. While the case study demonstrates that it is possible to specify bidirectional transformations between heterogeneous metamodels in a single relational specification, it also reveals some inherent limitations of the language and the corresponding tool support.

From Bad Smells to Refactoring

2011 ◽  
pp. 193-249
Author(s):  
Yania Crespo ◽  
Carlos Lopez ◽  
Maria Esperanza Manso Martinez
Keyword(s):  
Object Oriented ◽  
Tool Support ◽  
Independent Manner ◽  
Corrective Actions ◽  
Wide Family ◽  
Object Oriented Languages

This chapter presents a study on the relation of refactoring, bad smells, and metrics. The notions of refactoring and bad smells are revised as well as metrics that can be used as guides in the refactoring process. Connection among those metrics, the usual flaws that could be suggested by them, and the required corrective actions to reduce or erase these flaws are analyzed. The usual flaws can be described in terms of bad smells and the corrective actions, in terms of the refactoring operations suggested by each bad smell. Then, we can go from metrics to bad smells and from this, to refactoring. The chapter also describes solutions for tool support in a language independent manner. In this sense, it describes the tool architecture which can be defined as metamodel-centered. A metamodel representing a family of languages is defined as well as framework based solutions for collecting metrics, as well as for a refactoring engine and repository. These solutions allow reusing the effort on a wide family of object-oriented languages. Thedeveloped frameworks were instantiated to work on instances of our own metamodel. In addition to this, it also describes how to use the approach and its support, with other metamodels. Finally, a case study on the use of metrics in bad smells detection is presented.

scholarly journals Quality attribute trade-offs in the embedded systems industry: an exploratory case study

2019 ◽  
Vol 28 (2) ◽  
pp. 505-534 ◽  
Author(s):  
Darius Sas ◽  
Paris Avgeriou
Keyword(s):  
Embedded Systems ◽  
Ad Hoc ◽  
Quality Attributes ◽  
Tool Support ◽  
Exploratory Case Study ◽  
Design Time ◽  
Trade Offs ◽  
Run Time ◽  
Automated Tools

AbstractThe embedded systems domain has grown exponentially over the past years. The industry is forced by the market to rapidly improve and release new products to beat the competition. Frenetic development rhythms thus shape this domain and give rise to several new challenges for software design and development. One of them is dealing with trade-offs between run-time and design-time quality attributes. To study practices, processes and tools concerning the management of run-time and design-time quality attributes as well as the trade-offs among them from the perspective of embedded systems software engineers. An exploratory case study with two qualitative data collection steps, namely interviews and a focus group, involving six different companies from the embedded systems domain with a total of twenty participants. The interviewed subjects showed a preference for run-time over design-time qualities. Trade-offs between design-time and run-time qualities are very common, but they are often implicit, due to the lack of adequate monitoring tools and practices. Practitioners prefer to deal with trade-offs in the most lightweight way possible, by applying ad-hoc practices, thus avoiding any overhead incurred. Finally, practitioners have elaborated on how they envision the ideal tool support for dealing with trade-offs. Although it is notoriously difficult to deal with trade-offs, constantly monitoring the quality attributes of interest with automated tools is key in making explicit and prudent trade-offs and mitigating the risk of incurring technical debt.

Supporting partner identification for virtual organisations in manufacturing

2008 ◽  
Vol 19 (4) ◽  
pp. 497-513 ◽  
Author(s):  
Carl Hans
Keyword(s):  
Virtual Organisations ◽  
Model Verification ◽  
Tool Support ◽  
Content Type ◽  
Domain Experts ◽  
Market Opportunities ◽  
The Right ◽  
User Friendly ◽  
Technical Basis

PurposeVirtual organisations (VOs) in manufacturing represent a promising approach for dealing with today's difficult markets. The selection of the right partners during the creation phase is a prerequisite for their success. Owing to the complexity of the underlying networks as well as the need to react immediately to market opportunities, tool support is necessary for finding a suitable consortia for a given business purpose while reducing the immanent risk of failure. The purpose of this paper is to exemplify the conception and realisation of such a tool.Design/methodology/approachThe approach taken in this work consists of four steps: first of all, the requirements to be fulfilled by the tool are derived from the main characteristics of VOs. Subsequently, existing approaches which could serve as a technical basis for the tool are presented and ranked. To conclude, a tool design is introduced and applied to a brief case study.FindingsIt is shown that simulation appears as very suitable within the considered problem domain. It is further pointed out that simulation requires user‐friendly components addressing modelling, simulation execution and analysis in order to be applicable and accepted by domain experts as end‐users.Originality/valueThe paper presents an overview of technical approaches supporting partner identification during the establishment phase of VOs. It describes a concept for a simulation environment addressing the needs of practitioners from industry. Finally, it depicts necessary extensions for model verification and solution finding.

scholarly journals Towards Tool-Support for Usable Secure Requirements Engineering with CAIRIS

2010 ◽  
Vol 1 (3) ◽  
pp. 56-70 ◽  
Author(s):  
Shamal Faily ◽  
Ivan Fléchais
Keyword(s):  
Requirements Engineering ◽  
Critical Infrastructure ◽  
Tool Support ◽  
Software Systems ◽  
Security Software ◽  
Task Requirements ◽  
Computer Aided ◽  
Design Activities ◽  
Novel Approaches

Understanding how to better elicit, specify, and manage requirements for secure and usable software systems is a key challenge in security software engineering, however, there lacks tool-support for specifying and managing the voluminous amounts of data the associated analysis yields. Without these tools, the subjectivity of analysis may increase as design activities progress. This paper describes CAIRIS (Computer Aided Integration of Requirements and Information Security), a step toward tool-support for usable secure requirements engineering. CAIRIS not only manages the elements associated with task, requirements, and risk analysis, it also supports subsequent analysis using novel approaches for analysing and visualising security and usability. The authors illustrate an application of CAIRIS by describing how it was used to support requirements analysis in a critical infrastructure case study.

Sign in / Sign up

Export Citation Format

Share Document