Found 57 result(s)
Found 3 page(s)
Page Size: 10, 20, 50
Export: bibtex, xml, json, csv

2007 Doctoral thesis Unknown

Exploiting extra functional model annotations for B3G applications
De Angelis G.
Beyond Third Generation (B3G) mobile networks will encompass various kinds of technologies and telecommunication protocols, according to network connectivity, environment conditions or user preferences. Consequently, software applications for B3G scenarios will have to deal with both the heterogeneity and flexibility of the run-time context, and the limitedness of resources on the target mobile devices. In this thesis we argue that B3G scenarios cover the characteristics and the issues exposed by both a closed world vision and by an open one. Depending on the scenario and on the abstraction level, model-based approaches provide the opportunity and capability to consider the most proper aspects in such a dichotomy. We present two different approaches for model-based analysis of extra-functional properties of a system under development, the first conceived for application to embedded systems; the second for web services compositions. Having been working on model-based approaches for assessment of extra-functional properties in both domains in different projects, we believe that these two domains are going to converge in B3G applications. Thus design and analysis in B3G domain will have to reconcile both visions and suitably combine the two presented or similar approaches into one common framework.

See at: CNR People

2016 Part of book or chapter of book Open Access OPEN

Modeling for learning in public administrations - The learn PAd approach
De Angelis G., Pirantonio A., Polini A., Re B., Thönssen B., Woitsch R.
This chapter describes a modeling method that has been conceived to support learning in public administrations. The modeling method foresees the description of both procedures in the public administrations, and the working context of the civil servants. The approach relies on several model types that are used to organize and to relate the knowledge needed by civil servants in order to perform their daily activities. Each model instance describes a view on the concerns expressed by the model type it conforms to. These descriptions intend to provide an easy way for civil servants to retrieve knowledge when they need to learn specific aspects of a procedure, and to make collaboration easier in order to enable the emergence of knowledge related to the procedures themselves. Indeed, the method comes with an infrastructure that allows to automatically set up a wiki-based collaborative platform enabling collaboration and knowledge sharing among the stakeholders involved in the activities of a Public Administration. This chapter mainly reports on the modeling method that was conceived and developed within the FP7 EU research project Learn PAd. Learning aspects, while clearly relevant for the project, will not be directly discussed here.Source: Domain-Specific Conceptual Modeling: Concepts, Methods and Tools, edited by Karagiannis, D.; Heinrich, C. M.; Mylopoulos J., pp. 575–594, 2016
DOI: 10.1007/978-3-319-39417-6_26
Project(s): LEARN PAD via OpenAIRE

See at: PUblication MAnagement Open Access | DOI Resolver | CNR People

2011 Conference object Open Access OPEN

Access policy compliance testing in a user centric trust service infrastructure
De Angelis G., Kirkham T., Winfield S.
Access Policy compliance testing within a trust network helps ensure that the services available to users are reliable, secure and trustworthy. In the TAS3 project Access Policy testing is a vital function of the trust network in which users and service providers interact. User-centric security management is enabled by using automated compliance testing using the TAS3 Audit Bus and OCT components to monitor service state and provide users with a new level of privacy protection in networks of services. The components have been deployed and tested in an employability scenario and present a foundation from which a new level of security for emerging service-based applications can be developed.Source: International Workshop on Quality Assurance for Service-based applications, QASBA 2011, pp. 33–39, Lugano, 14 Settembre 2011
DOI: 10.1145/2031746.2031757
Project(s): CHOREOS via OpenAIRE, TAS3 via OpenAIRE

See at: Hyper Article en Ligne Open Access | ACM Digital Library Restricted | Unknown Repository Restricted | | DOI Resolver | CNR People

2005 Conference object Unknown

A product line architecture for web applications
Balzerani L., Di Ruscio D., Pierantonio A., De Angelis G.
Increasingly, Web applications are used in similar environments to fulfill similar tasks. Sharing a common infrastructure and reusing assets to deploy recurrent services may be considered an advantage in terms of economic significance and overall quality. Thus, it may be appropriate to design web applications as members of a product family. The paper illustrates Koriandol, a product-line architecture designed to develop, deploy and maintain web application families. In contrast with usual component-based systems, Koriandol prescribes that variability handling mechanisms are reflective and built-in into the components.Source: SAC'05. Symposium on Applied Computing, pp. 1689–1693, Santa Fe, New Mexico, USA, March 13-17, 2005
DOI: 10.1145/1066677.1067059

See at: | DOI Resolver | CNR People

2006 Article Unknown

Supporting Web applications development with a product line architecture
Balzerani L., Di Ruscio D., Pierantonio A., De Angelis G.
Web applications have become crucial elements of the global information infrastructure, evolving from simple collections of static pages to distributed applications. Since Web applications often share similar behaviors, shifting the focus from the design of single applications to that of system families is an effective way to pursue synergy effects in software development. The paper illustrates Koriandol, a product line architecture designed to develop, deploy and maintain families of Web applications. Specific family members are assembled from reusable components which support variability determination through built-in reflective mechanisms. These provide the ability to bind variation points to specific variants even post deployment, making applications widely reconfigurable.Source: Journal of web engineering 5 (2006): 25–42.

See at: CNR People

2011 Conference object Unknown

(role)CAST: a framework for on-line service testing
Bertolino A., De Angelis G., Polini A.
Engineering of service-oriented systems is still an immature discipline. Traditional software engineering approaches do not adequately fit development needs arising in this widely adopted paradigm. In particular, because of dynamic service composition, several engineering activities typically performed off-line (i.e., pre-deployment) have to be carried on also on-line (i.e., during real usage). In this paper, we present a framework called (role)cast which supports an instantiation of the concept of on-line testing of services, for the purpose of validating their compliance to role-based service access policies.Source: 7th International Conference on Web Information Systems and Technologies, WEBIST 2011, pp. 13–18, Noordwijkerhout, The Netherlands, 6-9 May 2011
Project(s): TAS3 via OpenAIRE

See at: CNR People

2012 Part of book or chapter of book Open Access OPEN

An integrated development and runtime environment for the future Internet.
Ben Hamida A., Kon F., Ansaldi Oliva G., Moreira Dos Santos C. E., Lorrè J., Autili M., De Angelis G., Zarras A., Georgantas N., Issarny V., Bertolino A.
The Future Internet environments raise challenging issues for the Service-Oriented Architectures. Due to the scalability and heterogeneity issues new approaches are thought in order to leverage the SOA to support a wider range of services and users. The CHOReOS project is part of the European Community Initiative to sketch technological solutions for the future ultra large systems. In particular, CHOReOS explores the choreography of services paradigm. Within this project, a conceptual architecture combining both the development and runtime environments is realized. This chapter introduces the CHOReOS Integrated Development and Runtime Environment, aka IDRE.Source: The Future Internet - Future Internet Assembly 2012: From Promises to Reality, edited by Federico Álvarez , Frances Cleary , Petros Daras et al..., pp. 81–92. Berlin: Springer, 2012
DOI: 10.1007/978-3-642-30241-1_8
Project(s): CHOREOS via OpenAIRE

See at: Hyper Article en Ligne Open Access | Unknown Repository Restricted | DOI Resolver | CNR People |

2010 Conference object Unknown

A counter-example testing approach for orchestrated services
De Angelis F., Polini A., De Angelis G.
Service oriented computing is based on a typical combination of features such as very late binding, run-time integration of software elements owned and managed by third parties, run-time changes. These characteristics generally make difficult both static and dynamic verification capabilities of service-centric systems. In this domain verification and testing research communities have to face new issues and revise existing solutions; possibly profiting of the new opportunities that the new paradigm makes available. In this paper, focusing on service orchestrations, we propose an approach to automatic test case generation aiming in particular at checking the behaviour of services participating in a given orchestration. The approach exploits the availability of a runnable model (the BPEL specification) and uses model checking techniques to derive test cases suitable to detect possible integration problems. The approach has been implemented in a plug-in for the Eclipse platform already released for public usage. In this way BPEL developers can easily derive, using a single environment, test suites for each participant service they would like to composeSource: Third International Conference on Software Testing, Verification and Validation, pp. 373–382, Paris, 6-10 April 2010
DOI: 10.1109/ICST.2010.27

See at: DOI Resolver | | CNR People

2007 Conference object Unknown

Scaling up SLA monitoring in pervasive environments
Bertolino A., De Angelis G., Elbaum S., Sabetta A.
Service level agreements (SLA) are contracts defining the obligations and rights between the provider of a web service and a client with respect to the service's quality. An essential component of SLA management is the run-time checking of relevant quality parameters. SLA checking must be precise and continuous to timely detect any possible SLA violations. Available techniques and mechanisms to check SLAs,however, are unlikely to scale to more complex families of SLAs tailored to fit diverse and very large groups of clients whose devices have limited storage and bandwidth capabilities. This challenge results not only in the commitment of valuable resources to SLA checking (reducing the service provider capacity), but it can also trigger additional violations and cause disagreements between client and server due to perceived violations. In this paper we focus on the elaboration of this challenge and on identifying opportunities that arise from the inherent diversity present in scenarios rendering web services in pervasive environments.Source: International Workshop on the Engineering of Software Services for Pervasive Environments (ESSPE 2007), pp. 65–68, Cavtat-Dubrovnik, Croatia, 4 September 2007

See at: CNR People

2011 Part of book or chapter of book Unknown

Trends and Research Issues in SOA Validation
Bertolino A., De Angelis G., Sabetta A., Polini A.
Service Oriented Architecture (SOA) is changing the way in which software applications are designed, deployed and maintained. A service-oriented application consists of the runtime composition of autonomous services that are typically owned and controlled by different organizations. This decentralization impacts on the dependability of applications that consist of dynamic services agglomerates, and challenges their validation. Different techniques can be used or combined for the verification of dependability aspects, spanning over traditional off-line testing approaches, monitoring, and on-line testing. In this chapter we discuss issues and opportunities of SOA validation, we identify three different stages for validation along the service life-cycle model, and we overview some proposed research approaches and tools. The emphasis is on on-line testing, which to us is the most peculiar stage in the SOA validation process. Finally, we claim that on-line testing is only possible within an agreed governance framework.Source: Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions, edited by Valeria Cardellini, Emiliano Casalicchio, Kalinka Regina Lucas Jaquie Castelo Branco, Julio Cezar Estrella, Francisco Josè Monaco, pp. 98–115. Hershey: IGI Global, 2011
DOI: 10.4018/978-1-60960-794-4.ch004
Project(s): TAS3 via OpenAIRE

See at: DOI Resolver | CNR People |

2013 Conference object Unknown

ServicePot - An extensible registry for choreography governance
Ali M., De Angelis G., Polini A.
The Future Internet (FI) vision fosters the establishment of highly dynamic and continuously evolving systems in which different organizations, via provided e-services, dynamically cooperate at run-time, and possibly just for a single application level transaction. Service choreographies contribute to establish the FI vision, by providing support for the description of complex and interorganizational service-based applications. Specifically, the choreography paradigm facilitates the dynamic integration and interoperability of services managed and made available by different organizations. Nevertheless the real take off of choreography based solutions asks for the definition and development of suitable supporting frameworks (i.e. platforms and tools) permitting to govern the whole life-cycle of a service choreography. In this paper, we have introduced the main challenges and requirements for a software infrastructure supporting choreography adoption, and our response to these challenges: ServicePot. ServicePot is an extensible registry for choreography-based solutions offering choreography lifecycle management and governance features. The registry implements all the fundamental functionalities for choreography support and it has a plug-in based extensible architecture permitting the easy introduction of additional choreography related manipulation activities. A reference implementation of the registry is also introduced and discussed, taking into account choreographies specifications defined using the BPMN 2.0 standard notation.Source: SOSE 2013 - Seventh IEEE International Symposium on Service-Oriented System Engineering, pp. 113–124, San Francisco, March 25-28 2013
DOI: 10.1109/SOSE.2013.35
Project(s): CHOREOS via OpenAIRE

See at: DOI Resolver | | CNR People

2016 Article Unknown

A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models
Autili M., Bertolino A., De Angelis G., Di Ruscio D., Di Sandro A.
Model-driven engineering (MDE) promotes automated model transformations along the entire development process. Guaranteeing the quality of early models is essential for a successful application of MDE techniques and related tool-supported model refinements. Do these models properly reflect the requirements elicited from the owners of the problem domain? Ultimately, this question needs to be asked to the domain experts. The problem is that a gap exists between the respective backgrounds of modeling experts and domain experts. MDE developers cannot show a model to the domain experts and simply ask them whether it is correct with respect to the requirements they had in mind. To facilitate their interaction and make such validation more systematic, we propose a methodology and a tool that derive a set of customizable questionnaires expressed in natural language from each model to be validated. Unexpected answers by domain experts help to identify those portions of the models requiring deeper attention. We illustrate the methodology and the current status of the developed tool MOTHIA, which can handle UML Use Case, Class, and Activity diagrams. We assess MOTHIA effectiveness in reducing the gap between domain and modeling experts, and in detecting modeling faults on the European Project CHOReOS.Source: IEEE transactions on software engineering 42 (2016): 2–25. doi:10.1109/TSE.2015.2449319
DOI: 10.1109/TSE.2015.2449319
Project(s): CHOREOS via OpenAIRE

See at: DOI Resolver | | CNR People

2012 Conference object Unknown

Property-driven software engineering approach.
Di Marco A., Lonetti F., De Angelis G.
We present a research roadmap that defines an enhanced model-driven software engineering approach focused on non-functional properties models. Currently, we have implemented two sub-processes of this roadmap: Property Modeling and Monitoring. We provide a property-driven approach to runtime monitoring based on a comprehensive Property Meta-Model (PMM) and on a generic configurable event-based monitoring infrastructure.Source: Fifth International Conference on Software Testing, Verification and Validation, pp. 966–967, Montreal, Canada, 17-21 April 2012
DOI: 10.1109/ICST.2012.207
Project(s): CONNECT via OpenAIRE

See at: DOI Resolver | | CNR People

2016 Conference object Unknown

Learn PAd: collaborative and model-based learning in public administrations
Bertolino A., De Angelis G., Polini A.
In modern society public administrations (PAs) are undergoing a transformation of their perceived role from controllers to proactive service providers. PAs are often under pressure to constantly improve the quality of delivered services, while coping with quickly changing context (changes in law and regulations, societal globalization, fast technology evolution) and decreasing budgets. As a result civil servants supporting the delivery of such services to citizens are challenged to understand and put in action latest procedures and rules within tight time constraints. In Learn PAd we propose to organize knowledge, and base the learning activities, according to several model kinds permitting to describe the activities to perform by the civil servants and their working context. Models also constitute the starting point to shape a collaborative platform that civil servants will use to share their competences on the activities to perform to serve citizens requests.Source: 2nd CINI Annual Workshop on ICT for Smart Cities & Communities, pp. 81–82, Benevento, Italy, 29-30 September 2016
Project(s): LEARN PAD via OpenAIRE

See at: CNR People |

2012 Conference object Unknown

Validation and verification policies for governance of service choreographies.
De Angelis G., Bertolino A., Polini A.
The Future Internet (FI) sustains the emerging vision of a software ecosystem in which pieces of software, developed, owned and run by different organizations, can be dynamically discovered and bound to each other so to readily start to interact. Nevertheless, without suitable mechanisms, paradigms and tools, this ecosystem is at risk of tending towards chaos. Indeed the take off of FI passes through the introduction of paradigms and tools permitting to establish some discipline. Choreography specifications and Governance are two different proposals which can contribute to such a vision, by permitting to define rules and functioning agreements both at the technical level and at the social (among organizations) level. In this paper we discuss such aspects and introduce a policy framework so to support a FI ecosystem in which V&V activities are controlled and perpetually run so to contribute to the quality and trustworthiness perceived by all the involved stakeholders.Source: 8th International Conference on Web Information Systems and Technologies, pp. 58–70, Porto, Portugal, 18-21 April 2012
Project(s): CHOREOS via OpenAIRE

See at: CNR People

2005 Report Unknown

A model based approach to design applications for network processor
Afsharian S., Bertolino A., De Angelis G., Iovanna P., Mirandola R.
Network Processors (NPs) are an emerging class of embedded systems used in the telecommunication domain for applications like routing and switching. In this paper we introduce the main characteristics of the existing NP architectures and the difficulties intrinsic to their software application design. On the other hand we review the basic principles underlying the well-known modelbased development (MBD) approach. After motivating the opportunity of applying MBD to the domain of NPs, we outline a framework currently under development for the application of MBD to the design of NP software applications, thus allowing for the early derivation of test plans and for performance analysis.

See at: CNR People

2016 Conference object Unknown

Learn PAd: model-based social learning for public administrations
Bertolino A., De Angelis G., Polini A., Silingas D.
Modern public administrations (PAs) are undergoing a profound transformation of their role, from rigid controllers to proactive service providers. However, PA services has to cope with quickly changing context such as : changes in law and regulations, societal globalization, fast technology evolution. As a result PA servants delivering such services to citizens are challenged to learn, to understand and to put in action latest procedures and rules within tight time constraints. The EC FP7 Project Learn PAd enables a model-driven learning approach, through an open platform fostering cooperation and knowledge-sharing and exploiting process simulation for an effective training and assessment. Learn PAd considers learning and working strongly intertwined (learning-while-doing). The platform supports both an informative learning approach based on enriched business process models, and a procedural learning approach based on simulation and monitoring (learning-by-doing). The Learn PAd platform organizes knowledge, and bases the learning activities, according to several model kinds permitting to describe the activities to perform by the PA servants and their working context. Also, the platform relies on formal verification and natural language processing techniques to ensure accuracy of content and documentation. Finally it exploits specialized ontologies and KPIs purposely defined to keep learners engaged.Source: 8th International Conference on Computer Supported Education, Rome, Italy, 22 June 2016
Project(s): LEARN PAD via OpenAIRE

See at: CNR People

2018 Conference object Open Access OPEN

When the testing gets tough, the tough get ElasTest
Bertolino A., Calabro A., De Angelis G., Gallego M., Garcia B., Gortazar F.
We present ElasTest, an open-source generic and extensible platform supporting end-To-end testing of large complex cloud systems, including web, mobile, network and WebRTC applications. ElasTest is developed following a fully transparent and open agile process around which a community of developers, contributors and users is collected. We demonstrate ElasTest in action by testing the FullTeaching application: The video is available from ICSE '18 - 40th International Conference on Software Engineering: Companion Proceeedings, pp. 17–20, Gothenburg, Sweden, May 27 - June 3 2018
DOI: 10.1145/3183440.3183497
Project(s): ELASTEST via OpenAIRE

See at: ZENODO Open Access | | DOI Resolver | CNR People

2012 Article Closed Access

Enhancing service federation trustworthiness through online testing
Bertolino A., De Angelis G., Kellomaki S., Polini A.
Security, data protection, trust management, authentication, and authorization are crucial assets in the Internet of Services. On-line testing enhances trustworthiness among federated services that are often independently developed, deployed, and maintained.Source: Computer (Long Beach Calif. Print) 45 (2012): 66–72. doi:10.1109/MC.2011.227
DOI: 10.1109/MC.2011.227
Project(s): CHOREOS via OpenAIRE, TAS3 via OpenAIRE

See at: Unknown Repository Restricted | Unknown Repository Restricted | DOI Resolver | | CNR People

2012 Other Unknown

MOdel Testing by Human Interrogations & Answers
Bertolino A., De Angelis G., Di Sandro A., Sabetta A.
Defining a domain model is a costly and error-prone process, whose success requires that the knowledge possessed by domain experts be suitably captured by modeling experts, using a modeling language. Eliciting and expressing what is in the domain expert's mind involves substantial human effort. In the process, conceptual errors may be introduced that are hard to detect without a suitable validation methodology. MOTHIA implements an approach to support such validation, by reducing the knowledge gap that separates modeling experts and domain experts. While our methodology still requires the domain expert's judgement, it simplifies the process by automatically generating a set of yes/no questions from the model. The answers from the domain experts are compared with the model in order to identify elements that may require further interactions.

See at: CNR People