English
Related papers

Related papers: Gestion Dynamique des Services Techniques pour Mod…

200 papers

A number of companies are trying to migrate large monolithic software systems to Service Oriented Architectures. A common approach to do this is to first identify and describe desired services (i.e., create a model), and then to locate…

Software Engineering · Computer Science 2010-12-21 Hari S. Gupta , Deepak D'Souza , Raghavan Komondoor , Girish M. Rama

Complex systems' modeling and simulation are powerful ways to investigate a multitude of natural phenomena providing extended knowledge on their structure and behavior. However, enhanced modeling and simulation require integration of…

In this paper, we discuss the problem of the software engineering of a class of business spreadsheet models. A methodology for structured software development is proposed, which is based on structured analysis of data, represented as…

Software Engineering · Computer Science 2008-05-29 Brian Knight , David Chadwick , Kamalesen Rajalingham

The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for…

Logic in Computer Science · Computer Science 2023-02-03 Tobias Kappé , Farhad Arbab , Carolyn Talcott

The growing proliferation of distributed information systems, allows organizations to offer their business processes to a worldwide audience through Web services. Semantic Web services have emerged as a means to achieve the vision of…

Software Engineering · Computer Science 2012-10-12 Keyvan Mohebbi , Suhaimi Ibrahim , Norbik Bashah Idris

This paper presents an approach to dynamic component composition that facilitates creating new composed components using existing ones at runtime and without any code generation. The dynamic abilities are supported by extended type notion…

Software Engineering · Computer Science 2014-09-03 Efim Grinkrug

We propose a framework for the deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative constraint language, expressing constraints over aspects…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-06-25 Alan Dearle , Graham Kirby , Andrew McCarthy

In a multi-modeling based approach, the system under development is described by several models that represent various perspectives and concerns. Obviously, these partial representations are less complex than the global model, but they need…

Software Engineering · Computer Science 2015-12-24 Youness Laghouaouta , Adil Anwar , Mahmoud Nassar

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

Following previous work on the automated deployment orchestration of component based applications, where orchestrations are expressed in terms of behaviours satisfying component interface functional dependences, we develop a formal model…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-10-01 Lorenzo Bacchiani , Mario Bravetti , Saverio Giallorenzo , Jacopo Mauro , Iacopo Talevi , Gianluigi Zavattaro

Modern and next generation digital infrastructures are technically based on service oriented structures, cloud services, and other architectures that compose large systems from smaller subsystems. The composition of subsystems is…

Software Engineering · Computer Science 2020-09-30 Peter Fettke , Wolfgang Reisig

Modular and reconfigurable robotic systems have been designed to provide a customized solution for the non-repetitive tasks to be performed in a constrained environment. Customized solutions are normally extracted from task-based…

Robotics · Computer Science 2021-11-02 Anubhav Dogra , Sakshay Mahna , Srikant Sekhar Padhee , Ekta Singla

The microservice architectural style has gained much attention from both academia and industry recently as a novel way to design, develop, and deploy cloud-native applications. This concept encourages the decomposition of a monolith into…

Software Engineering · Computer Science 2022-03-15 Hai Dinh-Tuan , Maria Mora-Martinez , Felix Beierle , Sandro Rodriguez Garzon

A fundamental ambition of grid and distributed systems is to be capable of sustaining evolution and allowing for adaptability ((F. Losavio et al., 2002), (S. Radhakrishnan, 2005)). Furthermore, as the complexity and sophistication of theses…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-03-05 Pierre de Leusse , Panos Periorellis , Paul Watson , Andreas Maierhofer

This paper explores technology permitting arbitrary application components to be exposed for remote access from other software. Using this, the application and its constituent components can be written without concern for its distribution.…

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

Component-based development (CBD) is a name, with which software development professionals are quite familiar. There are several models which have been proposed for CBD in last few years. They contain good features but there are some…

Software Engineering · Computer Science 2012-02-14 M. Rizwan Jameel Qureshi , M. E. Sandhu

Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications. Nowadays, systems typically consist of multiple interacting…

Software Engineering · Computer Science 2019-04-16 Przemyslaw Daca , Thomas A. Henzinger , Willibald Krenn , Dejan Nickovic

We develop an interface-modeling framework for quality and resource management that captures configurable working points of hardware and software components in terms of functionality, resource usage and provision, and quality indicators…

Logic in Computer Science · Computer Science 2023-06-22 Martijn Hendriks , Marc Geilen , Kees Goossens , Rob de Jong , Twan Basten

The adoption of cloud computing has brought significant advancements in the operational models of businesses. However, this shift also brings new security challenges by expanding the attack surface. The offered services in cloud computing…

Cryptography and Security · Computer Science 2023-08-15 Mohammed Kharma , Ahmed Sabbah , Mustafa Jarrar

This short paper describes early experiments to validate the capabilities of a component-based platform to observe and control a software architecture in the small. This is part of a whole process for resilient computing, i.e. targeting the…

Software Engineering · Computer Science 2012-04-06 Miruna Stoicescu , Jean-Charles Fabre , Matthieu Roy
‹ Prev 1 4 5 6 7 8 10 Next ›