Searching for authors named "George Spanoudakis" – sorted by Relevance.
-
Non intrusive monitoring of service based systems
- Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes systems composed of webservices which are co-coordinated by a service composition process expressed in BPEL and uses event cal
- Cited by 8 (5 self) – Add To MetaCart
-
A Pattern-Driven Framework for Monitoring Security and Dependability
- Abstract. In this paper we describe a framework that supports the dynamic configuration, adaptation and monitoring of systems that need to guarantee specific security and dependability (S&D) properties whilst operating in distributed settings. The framework is based on patterns providing abstrac
- Add To MetaCart
-
Measuring Similarity Between Software Artifacts
- This paper presents a model of estimating the similarity of software artifacts so as to promote their analogical reuse. The model permits comparisons between artifacts developed at the various stages of the software development (i.e specifications, designs and code) from conceptual descriptions of t
- Cited by 12 (5 self) – Add To MetaCart
-
Inconsistency management in software engineering: Survey and open research issues
- The development of complex software systems is a complex and lengthy activity that involves the participation and collaboration of many stakeholders (e.g. customers, users, analysts, designers, and developers). This results in many partial models of the developing system. These models can be inconsi
- Cited by 23 (4 self) – Add To MetaCart
-
On Evidential Feature Salience
- . This paper describes a method for estimating the salience of features comprising conceptual descriptions of software artifacts. Salience estimates are used in a model analyzing the similarity between such descriptions so as to promote the analogical reuse of the artifacts described by them. Salien
- Cited by 5 (5 self) – Add To MetaCart
-
2002): Diagnosis of the significance of inconsistencies in object-oriented designs: a framework and its experimental evaluation, The
- ABSTRACT: This paper presents: (a) a framework for assessing the significance of inconsistencies which arise in object-oriented design models that describe software systems from multiple perspectives, and (b) the findings of a series of experiments conducted to evaluate it. The framework allows the
- Cited by 1 (0 self) – Add To MetaCart
-
A Semi-Automatic Process of Identifying Overlaps and Inconsistencies Between Requirements Specifications
- Reconciliation is a method which supports the detection and verification of overlaps and the resolution of certain forms of inconsistencies between requirements specifications expressed in an object-oriented framework. The method identifies a set of candidate overlaps between two specifications by a
- Cited by 4 (2 self) – Add To MetaCart
-
Supporting the reconciliation of models of object behaviour
- Abstract: This paper presents Reconciliation+, a method which identifies overlaps between models of software systems behaviour expressed as UML object interaction diagrams (i.e., sequence and/or collaboration diagrams), checks whether the overlapping elements of these models satisfy specific consist
- Cited by 4 (1 self) – Add To MetaCart
-
UML-based Service Discovery Framework
- Abstract. The development of service centric systems, i.e software systems constructed as compositions of autonomous services, has been recognised as an important approach for software system development. Recently, there has been a proliferation of systems which are developed, deployed, and consumed
- Cited by 1 (1 self) – Add To MetaCart

