117,773 Hits in 3.1 sec

Foundations for a Combination of Heterogeneous Specification Components

Gwen Salaün, Michel Allemand, Christian Attiogbé
2002 Electronical Notes in Theoretical Computer Science  
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)

Razvan Diaconescu
2015 Computer Science Journal of Moldova  
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]

Peter Fettke, Wolfgang Reisig
2020 arXiv   pre-print
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]

Pascal André, Christian Attiogbé, Arnaud Lanoix
2018 Communications in Computer and Information Science  
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

Richard Carlsson
2003 Proceedings of the 2003 ACM SIGPLAN workshop on Erlang - ERLANG '03  
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

Nelson Rosa, Paulo Cunha
2007 Sensors  
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

Jennifer Munnelly, Siobhan Clarke
2008 2008 Third International Conference on Pervasive Computing and Applications  
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]

Pascal André, Christian Attiogbé, Arnaud Lanoix
2018 arXiv   pre-print
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]

Thomas Dinsdale-Young, Philippa Gardner, Mark Wheelhouse
2011 Lecture Notes in Computer Science  
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]

Jan Peleska
1996 Lecture Notes in Computer Science  
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

Rolv Bræk
2013 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
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]

Kenichi Yoshimura, Nick Barnes, Ralph Rönnquist, Liz Sonenberg
2003 Lecture Notes in Computer Science  
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

Nelio Cacho, Thomas Cottenier, Alessandro Garcia
2008 Proceedings of the 4th international workshop on Exception handling - WEH '08  
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)

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
2015 Electronical Notes in Theoretical Computer Science  
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]

Nicola Angius, Petros Stefaneas
2016 Computing and Philosophy  
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