English
Related papers

Related papers: Can Component/Service-Based Systems Be Proved Corr…

200 papers

Despite the significant strides made by generative AI in just a few short years, its future progress is constrained by the challenge of building modular and robust systems. This capability has been a cornerstone of past technological…

The growing complexity of software systems as well as changing conditions in their operating environment demand systems that are more flexible, adaptive and dependable. The service-oriented computing paradigm is in widespread use to support…

Software Engineering · Computer Science 2010-11-12 Jorge Fox

The Computing Continuum (CC) integrates different layers of processing infrastructure, from Edge to Cloud, to optimize service quality through ubiquitous and reliable computation. Compared to central architectures, however, heterogeneous…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-18 Boris Sedlak , Víctor Casamayor Pujol , Ildefons Magrans de Abril , Praveen Kumar Donta , Adel N. Toosi , Schahram Dustdar

Today, component oriented middlewares are used to design, develop and deploy easily distributed applications, by ensuring the heterogeneity, interoperability, and reuse of the software modules, and the separation between the business code…

Networking and Internet Architecture · Computer Science 2007-05-23 Assia Hachichi , Cyril Martin , Gael Thomas , Simon Patarin , Bertil Folliot

Software deployment can turn into a baffling problem when the components being deployed exhibit non-functional requirements. If the platform on which such components are deployed cannot satisfy their non-functional requirements, then they…

Networking and Internet Architecture · Computer Science 2009-09-29 Nicolas Le Sommer

Complex Systems were identified and studied in different fields, such as physics, biology, and economics. These systems exhibit exciting properties such as self-organization, robust order, and emergence. In recent years, software systems…

Software Engineering · Computer Science 2023-06-22 Jan Žižka , Bruno Rossi , Tomáš Pitner

SOA is a prominent paradigm for accomplishing reuse of services. Service reusability is one dominant factor which has a greater influence on achieving quality in SOA systems. There exists sufficient research in this area and researchers…

Software Engineering · Computer Science 2012-07-06 Shanmugasundaram G. , V. Prasanna Venkatesan , C. Punitha Devi

Software is the main innovation driver in many different areas, like cloud services, autonomous driving, connected medical devices, and high-frequency trading. All these areas have in common that they require high dependability. In this…

Software Engineering · Computer Science 2018-12-05 Stefan Wagner , Matthias Tichy , Michael Felderer , Stefan Leue

Accountability is an often called for property of technical systems. It is a requirement for algorithmic decision systems, autonomous cyber-physical systems, and for software systems in general. As a concept, accountability goes back to the…

Software Engineering · Computer Science 2021-04-30 Severin Kacianka , Alexander Pretschner

This paper presents a formal approach to modelling and analysis of data and control flow dependencies between services within remotely deployed distributed systems of services. Our work aims at elaborating for a concrete system, which parts…

Software Engineering · Computer Science 2014-12-12 Maria Spichkova , Heinrich Schmidt

This position paper outlines some of the existing issues and challenges concerned with the complexity of the requirements for service-oriented computing and systems-of-systems applications.

Software Engineering · Computer Science 2013-01-24 Andrea Zisman

Open data is an emerging paradigm to share large and diverse datasets -- primarily from governmental agencies, but also from other organizations -- with the goal to enable the exploitation of the data for societal, academic, and commercial…

Software Engineering · Computer Science 2012-02-09 Holger M. Kienle

Usability is an increasing concern in open source software (OSS). Given the recent changes in the OSS landscape, it is imperative to examine the OSS contributors' current valued factors, practices, and challenges concerning usability. We…

Software Engineering · Computer Science 2020-07-15 Wenting Wang , Jinghui Cheng , Jin L. C. Guo

The reuse at the component level is generally more effective than the one at the object-oriented class level. This is due to the granularity level where components expose their functionalities at an abstract level compared to the…

Software Engineering · Computer Science 2018-03-19 Anas Shatnawi , Hudhaifa Shatnawi , Mohamed Aymen Saied , Zakarea Al Shara , Houari Sahraoui , Abdelhak Seriai

Web Service is one of the most significant current discussions in information sharing technologies and one of the examples of service oriented processing. To ensure accurate execution of web services operations, it must be adaptable with…

Social and Information Networks · Computer Science 2016-10-04 Marzieh Adelnia , Mohammad Reza Khayyambashi

Data-driven models created by machine learning, gain in importance in all fields of design and engineering. They, have high potential to assist decision-makers in creating novel, artefacts with better performance and sustainability.…

Machine Learning · Computer Science 2024-09-10 Philipp Geyer , Manav Mahan Singh , Xia Chen

Developing applications considering reactiveness, scalability and re-usability has always been at the center of attention of robotic researchers. Behavior-based architectures have been proposed as a programming paradigm to develop robust…

Robotics · Computer Science 2021-06-30 Ali Paikan , Giorgio Metta , Lorenzo Natale

Modern software-based services are implemented as distributed systems with complex behavior and failure modes. Many large tech organizations are using experimentation to verify the reliability of such systems. We use the term "Chaos…

Software Engineering · Computer Science 2017-02-21 Ali Basiri , Niosha Behnam , Ruud de Rooij , Lorin Hochstein , Luke Kosewski , Justin Reynolds , Casey Rosenthal

Software architecture related issues are important for robotic systems. Architecture centric development and evolution of software for robotic systems has been attracting researchers attention for more than two decades. The objective of…

Software Engineering · Computer Science 2017-01-20 Aakash Ahmad , Muhammad Ali Babar

Research software refers to software development tools that accelerate discovery and simplifies access to digital infrastructures. However, although research software platforms can be built increasingly more innovative and powerful than…

Software Engineering · Computer Science 2018-12-27 Doug Mulholland , Paulo Alencar , Donald Cowan