1 Corresponding Author ABSTRACT In order to reduce product development time, we need software tools that can perform automated validation of the proposed design concepts. These tools will ensure that only valid design concepts are transferred to the detailed design stage for further development. This paper provides a step towards the automated validation of proposed design concepts. We define t...

We describe five paradigm shifts in programming language design, some old and some relatively new, namely Effect to Entity, Serial to Parallel. Partition Types to Predicate Types. Computable to Dcfinabic, and Syntactic Consistency to Semantic Consistency. WC argue for the adoption of each. WC exhibit a programming language, Viron, that capitalizes on these shifts. ‘This research was supported b...

A core problem in Model Driven Engineering is model consistency achievement: all models must satisfy relationships constraining them. Active consistency techniques monitor and control models edition for preventing inconsistencies, e.g., using automatic errors correction. The main problem of these approaches is that strict enforcement of consistency narrows the modeler’s possibilities for explor...

Cloud storage services and NoSQL systems, which have recently found widespread adoption, typically offer only "Eventual Consistency", a rather weak guarantee covering a broad range of potential data consistency behavior. The degree of actual (in-)consistency as a service quality, however, is always unknown. To avoid cost of opportunity or actual costs, resulting data inconsistencies have to be ...

Cross-chip latencies now make multicore architectures resemble distributed systems. The design of distributed protocols is notoriously error-prone, particularly when their analysis is based on the use of global time. Classical memory consistency models for parallel programming, such as linearisability, uses such a global ordering. This talka examines the reformulation, without global time, of t...

In~lgineaingenvirarmentsLhesu~oC~w~ is l basicfutmewhich is&ten nd addressed by the &sign of so-called non-stmdarddubue systems(NDBS). pint attempts IO support ccopcnticm were made by the defmition of nested trmssctions. design smsrctions. etc. which modify the t~ms~tiat’s inherent ACID-principle. Ob scrvmce of the ACID-principle guarantees the logical singk user mode md &l&an which encapsulate...