English
Related papers

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

200 papers

Functional dependencies and feature interactions in automotive software systems are a major source of erroneous and deficient behavior. To overcome these problems, many approaches exist that focus on modeling these functional dependencies…

Software Engineering · Computer Science 2017-08-30 Andreas Vogelsang , Steffen Fuhrmann

Requirements and code, in conventional software engineering wisdom, belong to entirely different worlds. Is it possible to unify these two worlds? A unified framework could help make software easier to change and reuse. To explore the…

Software Engineering · Computer Science 2016-02-18 Alexandr Naumchev , Bertrand Meyer , Victor Rivera

The service paradigm as we know it has gone through a long journey of evolution and improvement, and it seems that a service-oriented vision to activities in general could serve as a potential platform for the global transition to a…

Computers and Society · Computer Science 2015-07-28 Reza Farrahi Moghaddam , Yves Lemieux , Mohamed Cheriet

Actually, software products are increasing in a fast way and are used in almost all activities of human life. Consequently measuring and evaluating the quality of a software product has become a critical task for many companies. Several…

Software Engineering · Computer Science 2014-12-10 Jose P. Miguel , David Mauricio , Glen Rodriguez

Service-Oriented Computing delivers the promise of configuring and reconfiguring software systems to address user's needs in a dynamic way. Context-aware computing promises to capture the user's needs and hence the requirements they have on…

Other Computer Science · Computer Science 2009-06-23 Kamran Taj Pathan , Stephan Reiff-Marganiec

Building new business information systems from reusable components is today an approach widely adopted and used. Using this approach in analysis and design phases presents a great interest and requires the use of a particular class of…

Software Engineering · Computer Science 2011-10-21 Hicham Elasri , Abderrahim Sekkaki , Larbi Kzaz

In a microservices-based system, reliability and availability are key components to guarantee the best-in-class experience for the consumers. One of the key advantages of microservices architecture is the ability to independently deploy…

Software Engineering · Computer Science 2023-09-13 Matteo Collina , Luca Maraschi , Tommaso Pirini 1. Platformatic Inc

Automatic service composition in mobile and pervasive computing faces many challenges due to the complex nature of the environment. Common approaches address service composition from optimization perspectives which are not feasible in…

Software Engineering · Computer Science 2019-08-07 Oscar J. Romero

In this article, we present an overview of the use of service-oriented architecture and Web services in developing robotics applications and software integrated with the Internet and the Cloud. This is a recent trend that emerged since 2010…

Robotics · Computer Science 2019-07-02 Anis Koubaa

We propose the use of Soft Constraints as a natural way to model Service Oriented Architecture. In the framework, constraints are used to model components and connectors and constraint aggregation is used to represent their interactions.…

Artificial Intelligence · Computer Science 2009-06-23 Stefano Bistarelli , Francesco Santini

In the last 15 years, software architecture has emerged as an important software engineering field for managing the development and maintenance of large, software- intensive systems. Software architecture community has developed numerous…

Software Engineering · Computer Science 2017-01-24 Davide Falessi , Muhammad Ali Babar , Giovanni Cantone , Philippe Kruchten

Software component reuse is the key to significant gains in productivity. However, the major problem is the lack of identifying and developing potentially reusable components. This paper concentrates on our approach to the development of…

Software Engineering · Computer Science 2012-06-28 Muthu Ramachandran

The present work is inscribed within the intersection of two scientific thematic: the engineering by reuse of components and ontologies alignment. The integration of Business Components (BC) is a research problem that has been identified in…

Software Engineering · Computer Science 2013-02-07 Hicham Elasri , Abderrahim Sekkaki

Developing software with the source code open to the public is prevalent; however, similar to its closed counter part, open-source has quality problems, which cause functional failures, such as program breakdowns, and non-functional, such…

Software Engineering · Computer Science 2025-03-05 Jincheng He , Zhongheng He

Web services are basic functions of a software system to support the concept of service-oriented architecture. They are often composed together to provide added values, known as web service composition. Researchers often employ Evolutionary…

Artificial Intelligence · Computer Science 2019-02-19 Chen Wang , Hui Ma , Gang Chen , Sven Hartmann

Component Based Software Engineering (CBSE) seeks to promote the reuse of software by using existing software modules into the development process. However, the availability of such a reusable component is not immediate and is costly and…

Software Engineering · Computer Science 2021-02-10 Cezar Sas , Andrea Capiluppi

Quantum computing promises a remarkable performance boost for certain applications, including computational intensive problems addressed by enterprise systems. However, software architectures of enterprise systems must consider specific…

Software Engineering · Computer Science 2025-12-16 Marc Uphues , Sebastian Thöne , Herbert Kuchen

This article provides formal definitions characterizing well-formed composition of components in order to guarantee their safe deployment and execution. Our work focuses on the structural aspects of component composition; it puts together…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-02-13 Ludovic Henrio , Oleksandra Kulankhina , Dongqian Liu , Eric Madelaine

In this paper we present a methodology and set of tools which assist the construction of applications from components, by separating the issues of transmission policy from component definition and implementation. This promotes a greater…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-06-21 Scott Walker , Alan Dearle , Graham Kirby , Stuart Norcross

Control systems are sets of interconnected hardware and software components which regulate the behaviour of processes. The software of modern control systems rises for some years by requirements regarding the flexibility and functionality.…

Software Engineering · Computer Science 2009-04-24 Rolf Andreas Rasenack , Karsten Wolke , Kostyantyn Yermashov , Karl Hayo Siemsen