Modeling Companion for Software Practitioners

Börger, Egon; Raschke, Alexander

doi:10.1007/978-3-662-56641-1

Cited by 52 publications

(36 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The dynamic aspect is not covered yet. The execution semantic of S-BPM models is described with Abstract State Machines (ASM) [16]. The ASM defines the algorithm of an interpreter that will "crawl" through a Subject Behavior Diagram (SBD) of a process model defined in the, not explicitly named, Subject-oriented Process Modeling language PASS as defined in the previous section 3.…”

Section: Readiness For Digitalization In Subject-oriented Process Spementioning

confidence: 99%

Contemporary Challenges in Business Process Modeling / Management

Fleischmann¹,

Oppl

Schmidt

et al. 2020

Contextual Process Digitalization

View full text Add to dashboard Cite

Section: Readiness For Digitalization In Subject-oriented Process Spementioning

confidence: 99%

Contemporary Challenges in Business Process Modeling / Management

Fleischmann¹,

Oppl

Schmidt

et al. 2020

Contextual Process Digitalization

View full text Add to dashboard Cite

“…The basic definitions of locations and updates in abstract state machines (ASMs) are as follows. Variations of these definitions can be found in many sources, including, but not limited to [3,4,6,7,8,9].…”

Section: Abstract State Machinesmentioning

confidence: 99%

“…The following definitions use the ASM method to model multiple agents that read, write, update and delete data that is duplicated, distributed and persistent. The definitions of communicating ASMs provided by Börger and Raschke [9], are modified to take account of duplicated data. This provides a basis for defining soft state as meaning that an update to a location is propagated to all copies.…”

Section: Distributed Duplicated Persistent Datamentioning

confidence: 99%

“…persistent queries [5,6] independent concurrent ASMs [28] communicating ASMs [9] communicating concurrent ASMs with shared memory [27] Consider a distributed algorithm with several ASM agents, where the agents' persistent data is stored in a distributed database. The database management system (DBMS) can be a classical distributed SQL or a distributed NoSQL DBMS.…”

Section: Distributed Duplicated Persistent Datamentioning

confidence: 99%

See 1 more Smart Citation

Eventual Consistency Formalized

Sherratt

Prinz

2019

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Distribution of computation is well-known, and there are several frameworks, including some formal frameworks, that capture distributed computation. As yet, however, models of distributed computation are based on the idea that data is conceptually centralized. That is, they assume that data, even if it is distributed, is consistent. This assumption is not valid for many of the database systems in use today, where consistency is compromised to ensure availability and partition tolerance. Starting with an informal definition of eventual consistency, this paper explores several measures of inconsistency that quantify how far from consistency a system is. These measures capture key aspects of eventual consistency in terms of distributed abstract state machines. The definitions move from the traditional binary definition of consistency to more quantitative definitions, where the classical consistency is given by the highest possible level of consistency. Expressing eventual consistency in terms of abstract state machines allows models to be developed that capture distributed computation and highly available distributed data within a single framework.

show abstract

“…We also provide formal semantics to the MSL language in terms of the Abstract State Machine formal method [8]. Such semantic definition allows: (a) a(n automatic) transformation of MSL models of MAPE loops into formal executable models given in terms of self-adaptive Abstract State Machines (self-adaptive ASMs) [9], an extension of multiagent ASMs to express self-adaptation; and (b) exploiting all the potentialities of a formal method to provide rigorous analysis (validation w.r.t.…”

Section: Introductionmentioning

confidence: 99%

MSL: A pattern language for engineering self-adaptive systems

Arcaini

Mirandola

Riccobene

et al. 2020

Journal of Systems and Software

View full text Add to dashboard Cite

In architecture-based self-adaptation of decentralized systems, design patterns have been introduced to ease the design of complex adaptation solutions that usually require the interaction of different MAPE-K (Monitor-Analyze-Plan-Execute over a shared Knowledge) control loops, each dealing with an adaptation concern of the managed system. Such MAPE patterns have been proposed by means of a graphical notation, but without a well-defined way to document them and to express the semantics of components interactions.In this paper, we propose an approach to overcome these limitations. We present a domain-specific language, called MSL for MAPE Specification Language, to define and instantiate MAPE patterns and to give semantics to some semantic variation points of the equivalent graphical notation for MAPE pattern. We also provide a formal semantics of the language by means of self-adaptive Abstract State Machines, an extension of the Abstract State Machines (ASMs) formalism to model self-adaptation. Such semantics definition comes with an automatic transformation of MSL models into formal executable models, and opens to the possibility of performing rigorous analysis (validation w.r.t. the adaptation requirements and verification of adaptation properties) of MSL models. Moreover, we present our current results toward a (long-term) realization of an MSL-centric framework, where MSL is the notation of a modeling front-end, on top of richer and more specific modeling, analysis, and implementation back-end frameworks.As proof of concept of our approach, we show the application of MSL and its formal support to a running case study in the field of home automation, by modeling an adaptive control of a virtual smart home developed with the OpenHAB runtime platform.

show abstract

Modeling Companion for Software Practitioners

Cited by 52 publications

References 0 publications

Contemporary Challenges in Business Process Modeling / Management

Contemporary Challenges in Business Process Modeling / Management

Eventual Consistency Formalized

MSL: A pattern language for engineering self-adaptive systems

Contact Info

Product

Resources

About