A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Foundations for a Combination of Heterogeneous Specification Components
2002
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
Our work aims at building or reusing specification components, and compose them with a gluing language constituted of a minimal but sufficient set of operators. ...
The interests are manifold: modelling the different aspects of systems, allowing the use of many existing specification languages, formalizing the links between components in an easy and graphical way, ...
Therefore, static modules (containing data specifications) are independent, and modules corresponding to dynamic behaviours exploit these data. ...
doi:10.1016/s1571-0661(04)80453-5
fatcat:eprygsealbfk3bs47uf6x4n7fi
Structuring of Specification Modules (extended)
2015
Computer Science Journal of Moldova
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The other goal is to survey some recent developments in this area, including parameter instantiation with sharing and module systems for behavioural specifications. ...
One goal is to provide a brief introduction to the concept of modularisation in the context of formal specifications. ...
Three topics are considered: general theory, genericity and sharing, and module systems for behavioural specifications. ...
doaj:b4cbeded0db54bb19d0bab68a0fcd7dd
fatcat:nvu7w3d74zdhnjzawp4bceokn4
Modelling service-oriented systems and cloud services with Heraklit
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Heraklit integrates composition and hierarchies of subsystems, concrete and abstract data structures, as well as descriptions of behaviour. ...
To capture refinement and abstraction principles, various forms of "technology stacks" and other semi-formal or natural language based on presentations have been suggested. ...
Abstract data types and algebraic specifications for the formulation of concrete and abstract data: since the 1970s such specifications have been used, built into specification languages, and often used ...
arXiv:2009.14040v1
fatcat:tt6dfh7ufrernhgukvxncfyyr4
Systematic Construction of Critical Embedded Systems Using Event-B
[chapter]
2018
Communications in Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The recurrent categories of variables and events in control systems are described and used as guidelines to conduct a systematic construction. ...
The method covers the modelling of both the digital part and the physical environment of a considered system, and their refinement until more concrete levels. ...
Several refinements are used to introduce the appropriate events. d) Specifying the behaviour of the computing modules The two computing modules have the same behaviour. ...
doi:10.1007/978-3-030-02852-7_18
fatcat:k6n26fdjqva2xahycjb66ivutm
Parameterized modules in Erlang
2003
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang - ERLANG '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The usage of parameterized modules is similar to Object-Oriented programming, and is naturally complemented by the currently underused feature of behaviours (interface declarations), which are also explained ...
This paper describes how the Erlang programming language could be extended with parameterized modules, in a way that is compatible with existing code. ...
The most basic specification is of course the interface, i.e., the "behaviour". ...
doi:10.1145/940880.940885
dblp:conf/erlang/Carlsson03
fatcat:wktfsijbkfe77gq6xen56h2u2e
Using LOTOS for FormalisingWireless Sensor Network Applications
2007
Sensors
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
The formalisation has three main benefits: better understanding on how the application actually works, checking of desired properties of the application's behaviour, and simulation facilities. ...
However, due to the tight integration to physical world, limited node power and resources (CPU and memory) and complexity of combining components into an application, to build such applications is not ...
( 1 ) 1 specification Blink[Timer,Leds,StdControl]:noexit (2)( * Abstract Data Type definition * ) process Main [StdControl] : noexit (13) := ( * behaviour of Main * ) endproc (14) process LedsC [Leds ...
doi:10.3390/s7081447
fatcat:2mdfqdvogbgobd2xo4arb4vooe
A Domain-Specific Language for Ubiquitous Healthcare
2008
2008 Third International Conference on Pervasive Computing and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We use advanced modularity techniques to provide good separation of these concerns and encapsulate their behaviour within a new domain-specific language, ALPH that provides the application developer with ...
The first is the use of domain-specific languages, which abstracts the low-level domain knowledge required when using general-purpose programming languages into more expressive domain-specific constructs ...
This is achieved by the conciseness of domain-specific constructs and their ability to produce domain-specific behaviour through declarative, generative constructs. ...
doi:10.1109/icpca.2008.4783710
fatcat:wklucvwez5gd5jdtp6fn3bprwq
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We use feature augmentation to build an abstract model of the whole system and structural refinement to detail more specifically the digital part. ...
The required safety properties are formalised and proved. We propose a specific approach to deal with a family of reachability properties. ...
modules have the same behaviour. ...
arXiv:1803.05647v1
fatcat:7uxcawk62vayvlhyelbq3fwbzy
Abstract Local Reasoning for Program Modules
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
However, the client cannot take advantage of local behaviour that is provided by the abstraction itself. Consider a set module. ...
Abstraction takes a concrete program and produces an abstract specification; refinement takes an abstract specification and produces a correct implementation. ...
Recently, in Dinsdale-Young et al. ([4] ), we combined abstract local reasoning with data refinement, to refine abstract module specifications into correct implementations. ...
doi:10.1007/978-3-642-22944-2_3
fatcat:dxkvu5hsezfhxjdrmwutsf7tie
Test automation for safety-critical systems: Industrial application and future developments
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Specifically, the benefits arising from an approach combining formal verification and testing will be discussed. ...
In this article, we will focus on test automation for reactive real-time systems, with emphasis on Hardware-in-the-Loop tests analyzing the behaviour of combined software and hardware components. ...
head(inq) ~ zl' --~ E1 ctrl( tail( inq), For the Control Module normal behaviour test configuration, E is the environment specification given above and the interface is defined by Validating the Specifications ...
doi:10.1007/3-540-60973-3_79
fatcat:ghtmhyrxmzculon75zvjsymlwm
On Properties of Modeling Approaches
2013
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
It presents a simple classification schema for models and proposes some comparison criteria. Finally it provides some reflection on properties currently in the CMA "parking lot". ...
and project specific concepts like phases. ...
Design models define the structure and behaviour of an abstract or concrete system (or system family) and can be seen as blueprints for building the system. ...
dblp:conf/models/Braek13
fatcat:kddhrvs7g5aglmzbnnodmm2u34
Towards Real-Time Strategic Teamwork: A RoboCup Case Study
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Our AI Module includes a novel mechanism to facilitate dynamic formation change by an individual agent and we report a preliminary evaluation of the approach drawn from performance in the 2001 competition ...
Architectural Overview Our base system SmHost has a modular architecture, with interactions among the modules specified by interface definitions. The architecture proved highly ...
Acknowledgments The authors would like to acknowledge the effort and involvement of the RooBots 2001 team. ...
doi:10.1007/978-3-540-45135-8_29
fatcat:mccvccvfybafxgs7ibqfwtxt3y
Improving robustness of evolving exceptional behaviour in executable models
2008
Proceedings of the 4th international workshop on Exception handling - WEH '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Such models act like code by providing high-level development abstractions and, as a consequence, it is expected that increased software robustness is achieved. ...
Similarly to exception handling in programming languages, one of the key problems is that the modelling languages and supporting environments do not allow the explicit specification of global exception ...
The MDA defines two main levels of system abstraction: the Platform Independent Model (PIM) and the Platform Specific Model (PSM). ...
doi:10.1145/1454268.1454274
dblp:conf/sigsoft/CachoCG08
fatcat:px2loczdcjfclfkprcew4jvdsu
Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)
2015
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We survey a range of verification techniques for specifying concurrent modules, in particular highlighting four key concepts: auxiliary state, interference abstraction, resource ownership and atomicity ...
The specification of a concurrent program module is a difficult problem. ...
The new specification allows us to abstract the atomic update performed by the incr and use the same module implementation for both threads. ...
doi:10.1016/j.entcs.2015.12.002
fatcat:73dl3t7oqzbyzljlqfjvf3e3ku
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach
[chapter]
2016
Computing and Philosophy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We exclude that scientific structuralism is able to define module relations needed in software modular theories. ...
We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. ...
Framework (NSRF) -Research Funding Program: THALES: Reinforcement of the interdisciplinary and/or inter-institutional research and innovation. ...
doi:10.1007/978-3-319-23291-1_7
fatcat:dsqxvydsbrg5jhb7hhsjhqe74e
« Previous
Showing results 1 — 15 out of 117,773 results