A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Reasoning about software reconfigurations: The behavioural and structural perspectives
2015
Science of Computer Programming
Preserved Fulltext
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
2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
2014 IEEE International Parallel & Distributed Processing Symposium Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2015
Journal of Software Engineering Research and Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems - SEAMS '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
Information Technologies and Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
International Journal of Social and Organizational Dynamics in IT
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2017
2017 IEEE International Conference on Autonomic Computing (ICAC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 13th European Conference on Software Maintenance and Reengineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2011
Informatică economică
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
Engineering applications of artificial intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
Engineering applications of artificial intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
Procedia CIRP
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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