Article

Synthesis of correct and distributed adaptors for component-based systems: an automatic approach

Authors:

Paola Inverardi,

Leonardo Mostarda,

Massimo Tivoli,

Marco AutiliAuthors Info & Claims

ASE '05: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering

Pages 405 - 409

https://doi.org/10.1145/1101908.1101981

Published: 07 November 2005 Publication History

Get Access

Abstract

Building a distributed system from third-party components introduces a set of problems, mainly related to compatibility and communication. Our approach to solve these problems is to build an adaptor which forces the system to exhibit only a set of safe or desired behaviors. By exploiting an abstract and partial specification of the global behavior that must be enforced, we automatically build a centralized adaptor. It mediates the interaction among components by both performing the specified behavior and, simultaneously, avoiding possible deadlocks. However in a distributed environment it is not always possible or convenient to insert a centralized adaptor. In contrast, building a distributed adaptor might increase the applicability of the approach in a real-scale context. In this paper we show how it is possible to automatically generate a distributed adaptor by exploiting an approach to the definition of distributed IDS (Intrusion Detection Systems) filters developed by us to increase security measures in component based systems. Firstly, by taking into account a high level specification of the global behavior that must be enforced, we synthesize a behavioral model of a centralized adaptor that allows the composed system to only exhibit the specified behavior and, simultaneously, avoid possible unspecified deadlocks. This model represents a lower level specification of the global behavior that is enforced by the adaptor. Secondly, by taking into account the synthesized adaptor model, we generate a set of component filters that validate the centralized adaptor behavior by simply looking at local information. In this way we address the problem of mechanically generating correct and distributed adaptors for real-scale component-based systems.

References

[1]

J. Buchi. On a decision method in restricted second order arithmetic. In International Congress on Logic, Method and Philosophical Sciences, 1960.

Google Scholar

[2]

I. Crnkovic and M. Larsson. Building reliable component-based Software Systems. Artech House, Boston, London, 2002.

Digital Library

Google Scholar

[3]

J. E. Hopcroft and J. D. Ullman. Introduction to automata theory, languages, and computation. Addison-wesley publishing company, 1979.

Digital Library

Google Scholar

[4]

P. Inverardi, L. Mostarda, M. Tivoli, and M. Autili. Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. Technical report, Dep. of Computer Science, University of L'Aquila - http://www.di.univaq.it/tivoli/trcs_07.pdf, 2005.

Digital Library

Google Scholar

[5]

P. Inverardi and M. Tivoli. Software Architecture for Correct Components Assembly. Springer, LNCS 2804.

Google Scholar

[6]

L. Mostarda and P. Inverardi. A distributed intrusion detection approach for secure software architecture. 2th European Workshop on Software Architecture. To appear. 2005.

Digital Library

Google Scholar

[7]

M. Tivoli and M. Autili. Synthesis: a tool for synthesizing "correct" and protocol-enhanced adaptors. to appear on L'Object Journal, http://www.di.univaq.it/tivoli/LastSynthesis.pdf, 2005.

Google Scholar

[8]

C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley, 2004.

Digital Library

Google Scholar

[9]

S. Uchitel, J. Kramer, and J. Magee. Detecting implied scenarios in message sequence chart specifications. In ACM Proceedings of the joint 8th ESEC and 9th FSE, Vienna, Sep 2001.

Digital Library

Google Scholar

Cited By

View all

Mendonca NAderaldo C(2021)Towards First-Class Architectural Connectors: The Case for Self-Adaptive Service MeshesProceedings of the XXXV Brazilian Symposium on Software Engineering10.1145/3474624.3477072(404-409)Online publication date: 27-Sep-2021
https://dl.acm.org/doi/10.1145/3474624.3477072
Gan YChechik MNejati SBennett JO'Farrell BWaterhouse JMindel MLyons KWigglesworth J(2017)Runtime monitoring of web service conversationsProceedings of the 27th Annual International Conference on Computer Science and Software Engineering10.5555/3172795.3172797(2-17)Online publication date: 6-Nov-2017
https://dl.acm.org/doi/10.5555/3172795.3172797
Chechik MSimmonds JLiaskos SNejati SSabetzadeh MSalay R(2013)PWWMThe Personal Web10.5555/2554612.2554614(11-48)Online publication date: 1-Jan-2013
https://dl.acm.org/doi/10.5555/2554612.2554614
Show More Cited By

Index Terms

Synthesis of correct and distributed adaptors for component-based systems: an automatic approach
1. Software and its engineering

Recommendations

Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems

Building a distributed system from third-party components introduces a set of problems, mainly related to compatibility and communication. Our existing approach to solve such problems is to build a centralized adaptor which restricts the system's ...
Synthesis of concurrent and distributed adaptors for component-based systems
EWSA'06: Proceedings of the Third European conference on Software Architecture

Building a distributed system from third-party components introduces a set of problems, mainly related to compatibility and communication. Our existing approach to solve such problems is to build a centralized adaptor which restricts the system's ...
An architectural approach to the correct and automatic assembly of evolving component-based systems

Software components are specified, designed and implemented with the intention to be reused, and they are assembled in various contexts in order to produce a multitude of software systems. However, in the practice of software development, this ideal ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ASE '05: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering

November 2005

482 pages

ISBN:1581139934

DOI:10.1145/1101908

General Chair:
David Redmiles
University of California, Irvine, CA
,
Program Chairs:
Tom Ellman
Vassar College
,
Andrea Zisman
City University, UK

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 November 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ASE05

Sponsor:

ASE05: International Conference on Automated Software Engineering 2005

November 7 - 11, 2005

CA, Long Beach, USA

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

26
Total Citations
View Citations
341
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Mendonca NAderaldo C(2021)Towards First-Class Architectural Connectors: The Case for Self-Adaptive Service MeshesProceedings of the XXXV Brazilian Symposium on Software Engineering10.1145/3474624.3477072(404-409)Online publication date: 27-Sep-2021
https://dl.acm.org/doi/10.1145/3474624.3477072
Gan YChechik MNejati SBennett JO'Farrell BWaterhouse JMindel MLyons KWigglesworth J(2017)Runtime monitoring of web service conversationsProceedings of the 27th Annual International Conference on Computer Science and Software Engineering10.5555/3172795.3172797(2-17)Online publication date: 6-Nov-2017
https://dl.acm.org/doi/10.5555/3172795.3172797
Chechik MSimmonds JLiaskos SNejati SSabetzadeh MSalay R(2013)PWWMThe Personal Web10.5555/2554612.2554614(11-48)Online publication date: 1-Jan-2013
https://dl.acm.org/doi/10.5555/2554612.2554614
Denaro GPezzè MTosi D(2013)Test-and-adaptACM Transactions on Software Engineering and Methodology10.1145/2522920.252292122:4(1-43)Online publication date: 22-Oct-2013
https://dl.acm.org/doi/10.1145/2522920.2522921
Simmonds JBen-David SChechik M(2013)Monitoring and recovery for web service applicationsComputing10.1007/s00607-012-0215-y95:3(223-267)Online publication date: 1-Mar-2013
https://dl.acm.org/doi/10.1007/s00607-012-0215-y
Chechik MSimmonds JLiaskos SNejati SSabetzadeh MSalay R(2013)PWWM: A Personal Web Workflow MethodologyThe Personal Web10.1007/978-3-642-39995-4_2(11-48)Online publication date: 2013
https://doi.org/10.1007/978-3-642-39995-4_2
Zhang PLi WWan DGrunske L(2011)Monitoring of Probabilistic Timed Property Sequence ChartsSoftware—Practice & Experience10.1002/spe.103841:7(841-866)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1002/spe.1038
Simmonds JBen-David SChechik M(2010)Monitoring and recovery of web service applicationsThe smart internet10.5555/1986637.1986657(250-288)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.5555/1986637.1986657
Simmonds JBen-David SChechik M(2010)Monitoring and recovery of web service applicationsThe smart internet10.5555/1980659.1980679(250-288)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.5555/1980659.1980679
Motahari Nezhad HXu GBenatallah BRappa MJones PFreire JChakrabarti S(2010)Protocol-aware matching of web service interfaces for adapter developmentProceedings of the 19th international conference on World wide web10.1145/1772690.1772765(731-740)Online publication date: 26-Apr-2010
https://dl.acm.org/doi/10.1145/1772690.1772765
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems

Synthesis of concurrent and distributed adaptors for component-based systems

An architectural approach to the correct and automatic assembly of evolving component-based systems