English
Related papers

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

200 papers

Service robots are complex, heterogeneous, software intensive systems built from components. Recent robotics research trends mainly address isolated capabilities on functional level. Non-functional properties, such as responsiveness or…

Robotics · Computer Science 2016-01-12 Alex Lotz , Arne Hamann , Ingo Lütkebohle , Dennis Stampfer , Matthias Lutz , Christian Schlegel

Quantum computing is rapidly progressing from theoretical promise to practical implementation, offering significant computational advantages for tasks in optimization, simulation, cryptography, and machine learning. However, its integration…

We adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changing set of connected objects. Only some of these objects are interface…

Software Engineering · Computer Science 2014-09-25 Franz Huber , Andreas Rausch , Bernhard Rumpe

The increasing availability of web services within an organization and on the Web demands for efficient search and composition mechanisms to find services satisfying user requirements. Often consumers may be unaware of exact service names…

Software Engineering · Computer Science 2015-04-07 Lakshmi H N , Hrushikesha Mohanty

In this paper, we answer a set of research questions that are required to develop service identification approach based on the analysis of object- oriented software. Such research questions are: (1) what is a service, (2) how are services…

Software Engineering · Computer Science 2018-03-15 Anas Shatnawi , Hafedh Mili , Manel Abdellatif , Ghizlane El Boussaidi , Yann-Gaël Guéhéneuc , Naouel Moha , Jean Privat

This paper proposes a software architecture for dynamical service adaptation. The services are constituted by reusable software components. The adaptation's goal is to optimize the service function of their execution context. For a first…

Networking and Internet Architecture · Computer Science 2007-05-23 Marcel Cremene , Michel Riveill , Christian Martel , Calin Loghin , Costin Miron

In software engineering, the concept of a ``feature'' is widely used but inconsistently defined across disciplines such as requirements engineering (RE) and software product lines (SPL). This lack of consistency often results in…

Software Engineering · Computer Science 2025-02-17 Nitish Patkar , Aimen Fahmi , Timo Kehrer , Norbert Seyff

Designing software compatible with cloud-based Microservice Architectures (MSAs) is vital due to the performance, scalability, and availability limitations. As the complexity of a system increases, it is subject to deprecation, difficulties…

Software Engineering · Computer Science 2024-07-22 Thakshila Imiya Mohottige , Artem Polyvyanyy , Rajkumar Buyya , Colin Fidge , Alistair Barros

Component-based development is challenging in a distributed setting, for starters considering programming a task may involve the assembly of loosely-coupled remote components. In order for the task to be fulfilled, the supporting…

Programming Languages · Computer Science 2020-09-18 Zorica Savanović , Letterio Galletta , Hugo Torres Vieira

The wide variety of wireless devices brings to design mobile applications as a collection of interchangeable software components adapted to the deployment environment of the software. To ensure the proper functioning of the software…

Software Engineering · Computer Science 2012-05-22 Kouninef Belkacem , Bouzerita Mohamed

Component-based software development (CBD) is a methodology that has been embraced by the software industry to accelerate development, save costs and timelines, minimize testing requirements, and boost quality and output. Compared to the…

Software Engineering · Computer Science 2023-05-24 N Md Jubair Basha , Gopinath Ganapathy , Mohammed Moulana

Service oriented architecture is more and more used in the companies, The importance of the service orientation and its advantages with the information system of the company, confront us to a new challenge. It is primarily to ensure the…

Software Engineering · Computer Science 2013-05-07 Boumahdi Fatima

Information system evolved as the evolution of information technology. The current state of information technology, placed the internet as a main resources of computing. Cloud technology as the backbone of internet has been utilized as a…

Other Computer Science · Computer Science 2013-11-05 Muhammad Hilman

Service Oriented Architecture A Revolution for Project Management Software has changed the way projects today are moving on the fly with the help of web services booming the industry. Service oriented architecture improves performance and…

Software Engineering · Computer Science 2012-07-23 Ahmad Raza Khan , Rquaiya Khan , Trimbak R Sontakke , Shraddha R Khonde , Revati Wahul , Mahtab alam

Software systems development nowadays has moved towards dynamic composition of services that run on distributed infrastructures aligned with continuous changes in the system requirements. Consequently, software developers need to tailor…

Software Engineering · Computer Science 2020-05-12 Mahdi Fahmideh , Mohsen Sharifi , Fereidoon Shams , Hasan Haghighi

The Entity-Component-System (ECS) software design pattern, long used in game development, encourages a clean separation of identity (entities), data properties (components), and computational behaviors (systems). Programs written using the…

Programming Languages · Computer Science 2025-09-17 Patrick Redmond , Jonathan Castello , José Manuel Calderón Trilla , Lindsey Kuper

The automatic composition of web services refers to how services can be used in a complex and aggregate manner, to serve a specific and known functionality. Given a list of services described by the input and output parameters, and a…

Software Engineering · Computer Science 2020-07-13 Paul Diac

Component-based design paradigm is of paramount importance due to prolific growth in the complexity of modern-day systems. Since the components are developed primarily by multi-party vendors and often assembled to realize the overall…

Software Engineering · Computer Science 2022-05-31 Aritra Hazra

Technology is becoming increasingly pervasive. At present, the system components working together to provide functionality, be they purely software or with a physical element, tend to operate within silos, bound to a particular application…

Computers and Society · Computer Science 2017-10-19 Raluca Diaconu , Jean Bacon , Jie Deng , Jatinder Singh

Dependability is an important characteristic that a trustworthy computer system should have. It is a measure of Availability, Reliability, Maintainability, Safety and Security. The focus of our research is on security of web services. Web…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-10-09 Shahedeh Khani , Cristina Gacek , Peter Popov