中文
相关论文

相关论文: Gestion Dynamique des Services Techniques pour Mod…

200 篇论文

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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

软件工程 · 计算机科学 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…

机器人学 · 计算机科学 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…

软件工程 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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.…

分布式、并行与集群计算 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 2012-04-06 Miruna Stoicescu , Jean-Charles Fabre , Matthieu Roy