Filters








11,046 Hits in 5.1 sec

Reasoning about software reconfigurations: The behavioural and structural perspectives

Nuno Oliveira, Luís S. Barbosa
2015 Science of Computer Programming  
In such a setting, of which Reo is a paradigmatic illustration, the paper introduces a model for connector reconfigurations, from both a structural and a behavioural perspective.  ...  To be able to characterise and reason about such changes became a major issue in the project of trustworthy software.  ...  Reasoning about reconfigurations: behaviour The following two sections investigate criteria to order reconfigurations and enable the working software architect to choose among them.  ... 
doi:10.1016/j.scico.2015.05.013 fatcat:r66mmrrlkrhebkpvyjw2zb6ciq

On the reconfiguration of software connectors

Nuno Oliveira, Luís S. Barbosa
2013 Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13  
This paper builds up on a model for connector reconfiguration to introduce notions of reconfiguration equivalence and refinement allowing for reasoning about them.  ...  This paves the way towards a (still missing) calculus of connector reconfigurations.  ...  REASONING ABOUT RECONFIGURA-TIONS: BEHAVIOUR The remainder of this paper investigates criteria to order reconfigurations and enable the working software architect to choose among them.  ... 
doi:10.1145/2480362.2480712 dblp:conf/sac/OliveiraB13 fatcat:pvb2ugx7j5cilfihc5544xnwqm

PaRA-Sched: A Reconfiguration-Aware Scheduler for Reconfigurable Architectures

Riccardo Cattaneo, Riccardo Bellini, Gianluca Durelli, Christian Pilato, Marco D. Santambrogio, Donatella Sciuto
2014 2014 IEEE International Parallel & Distributed Processing Symposium Workshops  
Harnessing the full capabilities offered by reconfigurable hardware is still a demanding task: the lack of proper methodologies and the intrinsic time consuming and error prone tailoring of these systems  ...  Specifically, we extend the scheduling infrastructure of the framework to explicitly take into account PDR to better explore the design space and improve overall performance by automatically masking reconfiguration  ...  Acknowledgments This work was partially funded by the European Commission in the context of the FP7 FASTER project (#287804).  ... 
doi:10.1109/ipdpsw.2014.32 dblp:conf/ipps/CattaneoBDPSS14 fatcat:uwn4oooj3falnix2dz7k5qu2ce

Self-adaptation by coordination-targeted reconfigurations

Nuno Oliveira, Luís S Barbosa
2015 Journal of Software Engineering Research and Development  
Conclusions: We highlight the use of formal models to represent the coordination layer and necessary reconfigurations of a software system, and also to predict the need for (and to trigger) adaptations  ...  For these reasons, adaptations may be triggered at coordination level, issuing reconfigurations to such a coordination entity.  ...  Acknowledgements We would like to thank the SBCARS'2014 reviewers and conference participants for the questions raised, which we have tried to address here.  ... 
doi:10.1186/s40411-015-0021-2 fatcat:4yylnsd6xbgb5lxplhagj7xtku

Architectural reconfiguration using coordinated atomic actions

Rogério de Lemos
2006 Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems - SEAMS '06  
This position paper describes how coordinated atomic actions (CA actions) and exception handling can be applied to the architectural reconfiguration of systems.  ...  System reconfiguration, one of the steps of fault handling, is a complex cooperative activity involving several participants, thus should be designed in a structured fashion.  ...  ACKNOWLEDGMENTS Some of the issues presented in this paper have benefited from interactions with Alexander Romanovsky and Avelino Zorzo.  ... 
doi:10.1145/1137677.1137686 dblp:conf/icse/Lemos06b fatcat:iy7ddbx555dtnjbgcodktcgwzi

Architecture Evolution through Dynamic Reconfiguration in jADL

A. Papapostolu, D. Birov
2017 Information Technologies and Control  
In software architecture the dynamic structure of a software system can be described in terms of components and connectors and expressed through the use of Architectural Description Languages (ADLs).  ...  Also, a case study of the client-server dynamic model in jADL is presented and the possibilities of jADL for dynamic reconfiguration are explored.  ...  Most of them are based on formal methods, which allow architects to reason about software architecture structure and behavior [7, 8] .  ... 
doi:10.1515/itc-2017-0019 fatcat:63jtxuvwf5hwxlcaeszbynabjq

Unpredictable Reconfigurations

Dragos Vieru, Marie-Claude Trudel
2013 International Journal of Social and Organizational Dynamics in IT  
So what normally would have taken about two hours of signing, it took ten minutes now. (Community-Physician) Theme 2: System Reconfiguration and Resulted Practices.  ...  While the main constructs used by the sociomaterial perspective -such as assemblages, performativity and reconfiguration -are clearly defined in the literature, we do not have Figure 1.  ...  the practice and understanding of technology and the impacts of technology on social behaviors and norms in the workplace and society.  ... 
doi:10.4018/ijsodit.2013010104 fatcat:ndpraeeyfvfdlpqbwx7faf5lai

Reconfiguration Mechanisms for Service Coordination [chapter]

Nuno Oliveira, Luís S. Barbosa
2013 Lecture Notes in Computer Science  
Models for exogenous coordination provide powerful gluecode, in the form of software connectors, to express interaction protocols between services in distributed applications.  ...  This paper introduces a model for connector reconfiguration, based on a collection of primitives as well as a language to specify connectors and their reconfigurations.  ...  Only when one intends to reason about the system's behaviour or compare the behavioural effect of a reconfiguration, does the specific semantics of the underlying coordination model become relevant.  ... 
doi:10.1007/978-3-642-38230-7_9 fatcat:i2623vr7abb5porr5ysbe3kzm4

A method for rigorous design of reconfigurable systems

Alexandre Madeira, Renato Neves, Luís S. Barbosa, Manuel A. Martins
2016 Science of Computer Programming  
This paper introduces a specification method for reconfigurable software based on a global transition structure to capture the system's reconfiguration space, and a local specification of each operation  ...  Reconfigurability, understood as the ability of a system to behave differently in different modes of operation and commute between them along its lifetime, is a cross-cutting concern in modern Software  ...  Acknowledgements This work is financed by the ERDF -European Regional Development  ... 
doi:10.1016/j.scico.2016.05.001 fatcat:eqtbwavwqfgihmcyuls3vq73oy

Language Support for Modular Autonomic Managers in Reconfigurable Software Components

Frederico Alvares, Gwenael Delaval, Eric Rutten, Lionel Seinturier
2017 2017 IEEE International Conference on Autonomic Computing (ICAC)  
The objective of modularity is two-fold: from the design perspective, it allows designers to seamlessly decompose a complex system into smaller pieces of reusable architectural elements and adaptive behaviours  ...  The natural architectural structure of componentbased systems calls for hierarchy and modularity in the design and implementation of composites and their managers, and requires support for coordinated  ...  This mechanism focuses on the behaviour of the component and is clearly adequate for Ctrl-F whose purpose is to enable to reason about the behaviour, in terms of control policy, of software systems.  ... 
doi:10.1109/icac.2017.48 dblp:conf/icac/AlvaresDRS17 fatcat:vwydehqpqzeifprq6d42lmtzfe

Handling the Dynamic Reconfiguration of Software Architectures Using Aspects

Cristóbal Costa-Soria, Jennifer Pérez, Jose Ángel Carsí
2009 2009 13th European Conference on Software Maintenance and Reengineering  
For this reason, the dynamic reconfiguration of software architectures is a challenge that must be dealt with to enable the creation and destruction of component instances and their links at run-time.  ...  Currently, most software systems have a dynamic nature and need to evolve at run-time.  ...  This work is cofunded by the Spanish Dept. References  ... 
doi:10.1109/csmr.2009.33 dblp:conf/csmr/SoriaPC09a fatcat:aiy4sfevfzfpda5b255f5xfxki

Reconfigurability Function Deployment in Software Development

Stelian BRAD, Adrian CHIOREANU, Mircea FULEA, Bogdan MOCAN, Emilia BRAD
2011 Informatică economică  
In this respect, designing software with intrinsic evolutionary resources for reconfiguration represents the sound approach.  ...  In the forthcoming highly dynamic and complex business environment high-speed and cost-effective development of software applications for targeting a precise, unique and momentary set of requirements (  ...  Acknowledgements Financial support from the European Commission within the FP7 research project TECH IT EASY/232410 is acknowledged with gratitude.  ... 
doaj:893d92ae6ecf42569c7037fc3e628474 fatcat:iijzzoxrung5jepabxgs72xbxm

Dynamic security reconfiguration for the semantic web

J TAN, S POSLAD
2004 Engineering applications of artificial intelligence  
A security framework constituting both semantic and meta-reasoning models is investigated in order to reason about the security requirements and security operation of interacting entities within open service  ...  These standards support different security requirements and use various syntaxes to represent the security information for different software infrastructures and applications.  ...  Meta-reasoning and autonomic computing In relation to mixed level meta-reasoning, the structured perspective of the system is referred as domain and control knowledge.  ... 
doi:10.1016/s0952-1976(04)00118-6 fatcat:fnd2pzwctncxrb5zhug5yf4jri

Dynamic security reconfiguration for the semantic web

Juan Jim Tan, Stefan Poslad
2004 Engineering applications of artificial intelligence  
A security framework constituting both semantic and meta-reasoning models is investigated in order to reason about the security requirements and security operation of interacting entities within open service  ...  These standards support different security requirements and use various syntaxes to represent the security information for different software infrastructures and applications.  ...  Meta-reasoning and autonomic computing In relation to mixed level meta-reasoning, the structured perspective of the system is referred as domain and control knowledge.  ... 
doi:10.1016/j.engappai.2004.08.036 fatcat:l57i4legf5adtoh2njm6jtoqvu

New Perspectives in Manufacturing: An Assessment for an Advanced Reconfigurable Machining System

A.A.G. Bruzzone, D.M. D'Addona
2018 Procedia CIRP  
by machine tools and the customers' orders time schedule In this paper, a new modular, reconfigurable and scalable machining centre is presented.  ...  The resulting system is characterized by the possibility of modifying the machining capacity as well as exchanging the role between workpieces and machining/operating resources.  ...  The BA informs the K&DBA about the its status and position, through a B-K inform act.  ... 
doi:10.1016/j.procir.2017.12.259 fatcat:ll63dtw6ubh3hdox47itujdkhm
« Previous Showing results 1 — 15 out of 11,046 results