A conceptual framework for state-based and event-based formal behavioural specification languages

Author(s):  
T. Bolognesi
2017 ◽  
Author(s):  
Johan Dahlberg ◽  
Johan Hermansson ◽  
Steinar Sturlaugsson ◽  
Pontus Larsson

AbstractArteria is an automation system aimed at sequencing core facilities. It is built on existing open source technologies, with a modular design allowing for a community-driven effort to create plug-and-play micro-services. Herein we describe the Arteria system and elaborate on the underlying conceptual framework. The Arteria system breaks down into three conceptual levels; orchestration, process and execution. At the orchestration level it utilizes an event-based model of automation. It models processes, e.g. the steps involved in processing sequencing data, as workflows and executes these in a micro-service based environment. This creates a system which is both flexible and scalable. The Arteria Project code is available as open source software at http://www.github.com/arteria-project.


GigaScience ◽  
2019 ◽  
Vol 8 (12) ◽  
Author(s):  
Johan Dahlberg ◽  
Johan Hermansson ◽  
Steinar Sturlaugsson ◽  
Mariya Lysenkova ◽  
Patrik Smeds ◽  
...  

Abstract Background In recent years, nucleotide sequencing has become increasingly instrumental in both research and clinical settings. This has led to an explosive growth in sequencing data produced worldwide. As the amount of data increases, so does the need for automated solutions for data processing and analysis. The concept of workflows has gained favour in the bioinformatics community, but there is little in the scientific literature describing end-to-end automation systems. Arteria is an automation system that aims at providing a solution to the data-related operational challenges that face sequencing core facilities. Findings Arteria is built on existing open source technologies, with a modular design allowing for a community-driven effort to create plug-and-play micro-services. In this article we describe the system, elaborate on the underlying conceptual framework, and present an example implementation. Arteria can be reduced to 3 conceptual levels: orchestration (using an event-based model of automation), process (the steps involved in processing sequencing data, modelled as workflows), and execution (using a series of RESTful micro-services). This creates a system that is both flexible and scalable. Arteria-based systems have been successfully deployed at 3 sequencing core facilities. The Arteria Project code, written largely in Python, is available as open source software, and more information can be found at https://arteria-project.github.io/ . Conclusions We describe the Arteria system and the underlying conceptual framework, demonstrating how this model can be used to automate data handling and analysis in the context of a sequencing core facility.


1999 ◽  
Vol 41 (1) ◽  
pp. 55-59 ◽  
Author(s):  
Charlene Butler ◽  
Henry Chambers ◽  
Murray Goldstein ◽  
Susan Harris ◽  
Judy Leach ◽  
...  

Crisis ◽  
2011 ◽  
Vol 32 (4) ◽  
pp. 204-216 ◽  
Author(s):  
M. L. Rurup ◽  
H. R. W. Pasman ◽  
J. Goedhart ◽  
D. J. H. Deeg ◽  
A. J. F. M. Kerkhof ◽  
...  

Background: Quantitative studies in several European countries showed that 10–20% of older people have or have had a wish to die. Aims: To improve our understanding of why some older people develop a wish to die. Methods: In-depth interviews with people with a wish to die (n = 31) were carried out. Through open coding and inductive analysis, we developed a conceptual framework to describe the development of death wishes. Respondents were selected from two cohort studies. Results: The wish to die had either been triggered suddenly after traumatic life events or had developed gradually after a life full of adversity, as a consequence of aging or illness, or after recurring depression. The respondents were in a situation they considered unacceptable, yet they felt they had no control to change their situation and thus progressively “gave up” trying. Recurring themes included being widowed, feeling lonely, being a victim, being dependent, and wanting to be useful. Developing thoughts about death as a positive thing or a release from problems seemed to them like a way to reclaim control. Conclusions: People who wish to die originally develop thoughts about death as a positive solution to life events or to an adverse situation, and eventually reach a balance of the wish to live and to die.


1984 ◽  
Vol 29 (12) ◽  
pp. 967-968
Author(s):  
Ernst G. Beier
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document