rian.ie - Browse

Limited By:	Author = Margaria, Tiziana;

Marked Mark

Automatic synthesis of bioconductor pipelines: a domain modeling challenge (2015)

Lamprecht, Anna-Lena; Margaria, Tiziana

Automatic synthesis of bioconductor pipelines: a domain modeling challenge (2015)

Lamprecht, Anna-Lena; Margaria, Tiziana

Abstract:

GNU R is a widely used programming language and software environment for statistical data analysis and visualization. Bioconductor [1] is a collection of bioinformatics packages that extends R's standard range of functionality by comprehensive libraries of functions and meta-data predominantly for the anal- ysis of data from high-throughput genomics and molecular biology experiments, and additionally provides several example data sets that are useful for testing, benchmarking and demonstration purposes. Reference manuals and additional manuscripts provided with the packages at the Bioconductor web site describe a variety of data analysis procedures based on the available functionality.

http://hdl.handle.net/10344/5430

Marked Mark

Automatic workflow composition in the geospatial domain: an application on sea-level rise impacts analysis (2016)

Al-Areqi, Samih; Lamprecht, Anna-Lena; Margaria, Tiziana

Automatic workflow composition in the geospatial domain: an application on sea-level rise impacts analysis (2016)

Al-Areqi, Samih; Lamprecht, Anna-Lena; Margaria, Tiziana

Abstract:

The geospatial domain has recently seen a trend towards migrating data analysis software processes from predefined static systems to purpose-specific compositions of existing services, often in the form of workflows. However, the technicalities involved in a correct and adequate workflow design and service composition frequently impose great challenges on researchers working in the geospatial application domain, especially if they are not IT experts or trained programmers. The PROPHETS plugin of the jABC workflow modeling framework facilitates synthesis-based (semi-) automatic composition of services into workflows and can thus help to reduce the amount of technical knowledge that is required for this task. In this paper, we show how it can be applied for the design of workflows for analyzing the impacts of sea-level rise. We also address the preceding domain modeling, which comprises the design of adequate services and the provisioning of semantic meta-information about the service...

http://hdl.handle.net/10344/5428

Marked Mark

Component-oriented behavior extraction for autonomic system design (2009)

Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steff...

Component-oriented behavior extraction for autonomic system design (2009)

Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steffen, Bernhard

Abstract:

Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used successfully to investigate properties of the ESA Exo-Mars Rover in depth. We show here how to enable GEAR’s game-based verification techniques for ASSL via systematic model extraction from a behavioral subset of the language, and illustrate it on a description of the Voyager II space mission.

http://hdl.handle.net/10344/2448

Marked Mark

Computing camps for girls - a first-time experience at the University of Limerick (2017)

McInerney, Clare; Lamprecht, Anna-Lena; Margaria, Tiziana

Computing camps for girls - a first-time experience at the University of Limerick (2017)

McInerney, Clare; Lamprecht, Anna-Lena; Margaria, Tiziana

Abstract:

Increasing the number of females in ICT-related university courses has been a major concern for several years. In 2015, we offered a girls-only computing summer camp for the first time, as a new component in our education and outreach activities to foster studentsâ interest in our discipline. In this paper, we describe the motivation for the camp and how we designed the program, and we report our experiences and survey findings from the first two editions of the camp. They can provide guidance for planning further events targeting females, and help to integrate awareness about underrepresentation of females in other activities.

http://hdl.handle.net/10344/8530

Marked Mark

Constraints-driven automatic geospatial service composition: workflows for the analysis of sea-level rise impacts (2016)

Al-Areqi, Samih; Lamprecht, Anna-Lena; Margaria, Tiziana

Constraints-driven automatic geospatial service composition: workflows for the analysis of sea-level rise impacts (2016)

Al-Areqi, Samih; Lamprecht, Anna-Lena; Margaria, Tiziana

Abstract:

Building applications based on the reuse of existing components or services has noticeably increased in the geospatial application domain, but researchers still face a variety of technical challenges designing workflows for their specific objectives and preferences. Hence, means for automatic service composition that provide semantics-based assistance in the workflow design process have become a frequent demand especially of end users who are not IT experts. This paper presents a method for automatic composition of workflows for analyzing the impacts of sea-level rise based on semantic domain modeling. The domain modeling comprises the design of adequate services, the definition of ontologies to provide domain-specific vocabulary for referring to types and services, and the input/output annotation of the services using the terms defined in the ontologies. We use the PROPHETS plugin of the jABC workflow framework to show how users can benefit from such a domain model when they apply ...

http://hdl.handle.net/10344/5507

Marked Mark

Extracting component-oriented behaviour for self-healing enabling. (2010)

Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steff...

Extracting component-oriented behaviour for self-healing enabling. (2010)

Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steffen, Bernhard

Abstract:

Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used successfully to investigate in depth properties of the ESA ExoMars Rover. We show here how to enable GEAR’s gamebased verification techniques for ASSL via systematic model extraction from a behavioral subset of the language, and illustrate it on a description of the Voyager II space mission. This way, we close the gap between the design-time and the run-time techniques provided in the SHADOWS platform for self-healing of concurrency, performance, and functional issues.1

http://hdl.handle.net/10344/2095

Marked Mark

Language-driven engineering: from general-purpose to purpose-specific languages (2019)

Steffen, Bernhard; Gossen, Frederik; Naujokat, Stefan; Margaria, Tiziana

Language-driven engineering: from general-purpose to purpose-specific languages (2019)

Steffen, Bernhard; Gossen, Frederik; Naujokat, Stefan; Margaria, Tiziana

Abstract:

In this paper, we present the paradigm of Language-Driven Engineering (LDE), which is characterized by its unique support for division of labour on the basis of Domain-Speciﬁc Languages (DSLs) targeting diﬀerent stakeholders. LDE allows the involved stakeholders, including the application experts, to participate in the system development and evolution process using dedicated DSLs, while at the same time establishing new levels of reuse that are enabled by powerful model transformations and code generation. Technically, the interplay between the involved DSLs is realized in a service-oriented fashion. This eases a product line approach and system evolution by allowing to introduce and exchange entire DSLs within corresponding Mindset-Supporting Integrated Development Environments (mIDEs). The impact of this approach is illustrated along the development and evolution of a proﬁlebased email distribution system. Here we do not want to emphasize the precise choice of DSLs, but rather the...

http://hdl.handle.net/10344/9210

Marked Mark

Scientific workflows with the jABC framework (2016)

Lamprecht, Anna-Lena; Steffen, Bernhard; Margaria, Tiziana

Scientific workflows with the jABC framework (2016)

Lamprecht, Anna-Lena; Steffen, Bernhard; Margaria, Tiziana

Abstract:

The jABC is a framework for process modelling and execution according to the XMDD (eXtreme model-driven design) paradigm, which advocates the rigorous use of user-level models in the software development process and software life cycle. We have used the jABC in the domain of scientific workflows for more than a decade now—an occasion to look back and take stock of our experiences in the field. On the one hand, we discuss results from the analysis of a sample of nearly 100 scientific workflow applications that have been implemented with the jABC. On the other hand, we reflect on our experiences and observations regarding the workflow development process with the framework. We then derive and discuss ongoing further developments and future perspectives for the framework, all with an emphasis on simplicity for end users through increased domain specificity. Concretely, we describe how the use of the PROPHETS synthesis plugin can enable a semantics-based simplification of the workflow d...

http://hdl.handle.net/10344/5449