Encontrados 65 documentos, a visualizar página 1 de 7
Giving ALLOY a family
Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.Lightweight formal methods ought to provide to the end user the rigorousness of mathematics, without compromising simplicity and intuitiveness. ALLOY is a powerful tool, particularly successful on this mission. Limitations on the verification side, however, are known to prevent its wider use in the development of safety or mission critical applications. A number of researchers proposed ways to connect Alloy to ...
On the reconfiguration of software connectors
Oliveira, Nuno; Barbosa, L. S.Software connectors encapsulate interaction patterns between services in complex, distributed service-oriented applications. Such patterns evolve over time, in response to faults, changes in the expected QoS levels, emergent requirements or the re-assessment of contextual conditions. This paper builds up on a model for connector reconfiguration to introduce notions of reconfiguration equivalence and refinement ...
Hybridisation at work
Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.This paper presents the encoding of the hybridisation method into the HETS platform.
Bisimilarity and refinement for hybrid(ised) logics
Madeira, Alexandre; Martins, Manuel M.; Barbosa, L. S.The complexity of modern software systems entails the need for reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures. Formally, such systems may be represented by transition systems whose nodes correspond to the different configurations they may assume. Therefore, each node is endowed with, for example,...
Boilerplates for reconfigurable systems : a language and its semantics
Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.Boilerplates are simplified, normative English texts,intended to capture software requirements in a controlled way. This paper proposes a pallet of boilerplates as a requirements modelling language for reconfigurable systems, i.e., systems structured in different modes of execution among which they can dynamically commute. The language semantics is given as an hybrid logic, in an institutional setting. The mild...
FLOSS communities as learning networks
Fernandes, Sara; Barbosa, L. S.; Cerone, AntonioThis paper discusses FLOSS communities as a prime example of learning networks, i.e. informal, interconnected sets of individuals mutually supporting shared knowledge acquisition and committed to self-defined goals. In particular, it addresses how the incorporation of a web-based, certification platform for Free / Libre Open Source Software in community culture and practice may increase the community impact bot...
Verifying bigraphical models of architectural reconfigurations
Sanchez, Alejandro; Barbosa, L. S.; Riesco, DanielARCHERY is an architectural description language for modelling and reasoning about distributed, heterogeneous and dynamically reconfigurable systems. This paper proposes a structural semantics for ARCHERY, and a method for deriving labelled transition systems (LTS) in which states and transitions represent configurations and reconfiguration operations, respectively. Architectures are modelled by bigraphs and th...
When even the interface evolves ...
Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, L. S.This paper extends the authors’ previous work on a formal approach to the specification of reconfigurable systems in which configurations are taken as local states in a suitable transition structure. The novelty is the explicit consideration that not only the realisation of a service may change from a configuration to another, but also the set of services provided and even their functionality, may themselves va...
Integrating formal and informal learning through a FLOSS-based innovative approach
Fernandes, Sara; Martinho, Maria Helena; Barbosa, L. S.; Cerone, AntonioIt is said that due to the peculiar dynamics of FLOSS communities and their projects, effective participation in them is a privileged way to acquire the relevant skills and expertise in FLOSS development. Such is probably the reason for a number of higher education institutions to include in their curricula in Software Engineering some form of contact with the FLOSS reality. This paper explores such a perspecti...
A pilot project on non-conventional learning
Fernandes, Sara; Cerone, Antonio; Barbosa, L. S.This poster presents a pilot project on non-conventional learning strategies based on students’ active participation in real-life FLOSS projects. The aim of the project is to validate the hypothesis that the peer-production model, which underlies most FLOSS projects, can enhance the learning-teaching process based on extensive and systematic collaborative practices.
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||