A Two-Component Language for Adaptation: Design, Semantics and Program Analysis

Adaptive systems are designed to modify their behaviour in response to changes of their operational environment. We propose a two-component language for adaptive programming, within the Context-Oriented Programming paradigm. It has a declarative constituent for programming the context and a function...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on software engineering Vol. 42; no. 6; pp. 505 - 529
Main Authors:	Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.06.2016 IEEE Computer Society
Subjects:	Adaptability Adaptation Adaptation models Adaptive Software Approximation Computer languages Computer programming Context Context Oriented Programming Datalog Dynamical systems Dynamics Formal Methods Functional Programming Information systems Mathematical analysis Programming Programming languages Running Semantics Software Studies Type Systems Verification context oriented programming functional programming formal methods Adaptive software semantics type systems verification datalog
ISSN:	0098-5589, 1939-3520
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Abstract	Adaptive systems are designed to modify their behaviour in response to changes of their operational environment. We propose a two-component language for adaptive programming, within the Context-Oriented Programming paradigm. It has a declarative constituent for programming the context and a functional one for computing. We equip our language with a dynamic formal semantics. Since wrong adaptation could severely compromise the correct behaviour of applications and violate their properties, we also introduce a two-phase verification mechanism. It is based on a type and effect system that type-checks programs and computes, as an effect, a sound approximation of their behaviour. The effect is exploited at load time to mechanically verify that programs correctly adapt themselves to all possible running environments.
AbstractList	Adaptive systems are designed to modify their behaviour in response to changes of their operational environment. We propose a two-component language for adaptive programming, within the Context-Oriented Programming paradigm. It has a declarative constituent for programming the context and a functional one for computing. We equip our language with a dynamic formal semantics. Since wrong adaptation could severely compromise the correct behaviour of applications and violate their properties, we also introduce a two-phase verification mechanism. It is based on a type and effect system that type-checks programs and computes, as an effect, a sound approximation of their behaviour. The effect is exploited at load time to mechanically verify that programs correctly adapt themselves to all possible running environments.
Author	Ferrari, Gian-Luigi Galletta, Letterio Degano, Pierpaolo
Author_xml	– sequence: 1 givenname: Pierpaolo surname: Degano fullname: Degano, Pierpaolo email: degano@di.unipi.it organization: Dipt. di Inf., Univ. di Pisa, Pisa, Italy – sequence: 2 givenname: Gian-Luigi surname: Ferrari fullname: Ferrari, Gian-Luigi email: giangi@di.unipi.it organization: Dipt. di Inf., Univ. di Pisa, Pisa, Italy – sequence: 3 givenname: Letterio surname: Galletta fullname: Galletta, Letterio email: galletta@di.unipi.it organization: Dipt. di Inf., Univ. di Pisa, Pisa, Italy
BookMark	eNp9kM9LwzAYhoNMcJveBS8BLx7sTJqmabyNOX_AYMLmuaRpUjLaZCYdsv_ejA0PO3j6Dt_zvt_HMwID66wC4BajCcaIP61X80mKMJ2kGc95hi_AEHPCE0JTNABDhHiRUFrwKzAKYYMQoozRIVhO4frHJTPXbWOf7eFC2GYnGgW183Bai20veuPsM3xRwTT2Ea5UJ2xvZIDC1vDTu8aLDk6taPfBhGtwqUUb1M1pjsHX63w9e08Wy7eP2XSRSMJRn2gk4zNZlSlKakokr7QSlFKiGao1loJVLK84zSosdF3oKi4yKSONMSlYRsbg4di79e57p0JfdiZI1bbCKrcLJS5SmvG0yHlE78_Qjdv5-G-kGC9STFk8PAboSEnvQvBKl1tvOuH3JUblwXAZDZcHw-XJcIzkZxFpjrZ6L0z7X_DuGDRKqb87jODDnvwCSi6JYQ
CODEN	IESEDJ
CitedBy_id	crossref_primary_10_1007_s11227_018_2603_3 crossref_primary_10_1016_j_jpdc_2021_07_004 crossref_primary_10_3233_JCS_160551 crossref_primary_10_1016_j_scico_2019_03_008
Cites_doi	10.3233/JCS-2009-0357 10.1145/250707.239104 10.1145/2489793.2489795 10.1017/CBO9780511804779 10.1023/B:JARS.0000021015.15794.82 10.1007/978-3-642-24206-9_13 10.1007/978-3-540-74255-5_14 10.1145/1137677.1137682 10.1007/978-3-642-35887-6_2 10.1201/9780849332517 10.1109/MC.2006.362 10.1145/2637066.2637071 10.1007/978-3-642-23178-0_3 10.1145/512950.512973 10.1145/2330667.2330686 10.1007/978-3-642-30829-1_18 10.1109/NCM.2009.218 10.1007/3-540-45337-7_18 10.4204/EPTCS.201.2 10.1007/978-3-642-19440-5_15 10.1007/978-3-642-14046-4_5 10.1007/978-3-642-24206-9_16 10.1007/3-540-45177-3_3 10.1145/1146841.1146842 10.1145/1297027.1297053 10.1145/1408681.1408684 10.1016/j.infsof.2014.10.002 10.1145/503502.503505 10.1145/1353482.1353503 10.3233/JCS-2011-0430 10.1145/643603.643613 10.5381/jot.2009.8.4.a1 10.1145/944217.944233 10.1017/S0269888905000263 10.1109/TSE.2007.70740 10.1145/2451598.2451601 10.1145/944746.944718 10.1007/978-3-642-00590-9_24 10.1145/2637066.2637072 10.1017/S0269888904000025 10.1007/978-3-319-10882-7_5 10.1145/2068736.2068737 10.1145/1370018.1370028 10.5381/jot.2008.7.3.a4 10.1007/978-3-540-30477-7_8 10.1145/1352678.1352688 10.1145/2637066.2637073 10.1007/978-3-642-28872-2_17 10.1145/182409.182495 10.1145/1380584.1380585 10.1145/2577080.2579816 10.1016/j.scico.2006.01.004 10.1145/1552309.1552313 10.1145/976270.976282 10.1109/69.43410 10.1145/2637066.2637070 10.1007/BFb0039704 10.1145/1018203.1018208 10.1007/978-3-319-10431-7_28 10.5381/jot.2013.12.2.a4 10.1016/0004-3702(84)90017-1 10.1145/1960510.1960515 10.1145/1721654.1721675 10.1145/2637066.2637068 10.1017/S0956796807006466 10.1145/1562112.1562122 10.1016/j.comnet.2010.05.010 10.1145/1516533.1516538 10.1007/3-540-36377-7_11 10.1109/MC.2003.1160055 10.1145/1562112.1562118 10.1145/215465.215552 10.1145/1562112.1562113 10.1145/1101480.1101483 10.1145/2491465.2491466
ContentType	Journal Article
Copyright	Copyright IEEE Computer Society Jun 1, 2016
Copyright_xml	– notice: Copyright IEEE Computer Society Jun 1, 2016
DBID	97E RIA RIE AAYXX CITATION JQ2 K9. 7SC 7SP 8FD F28 FR3 L7M L~C L~D
DOI	10.1109/TSE.2015.2496941
DatabaseName	IEEE All-Society Periodicals Package (ASPP) 2005–Present IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef ProQuest Computer Science Collection ProQuest Health & Medical Complete (Alumni) Computer and Information Systems Abstracts Electronics & Communications Abstracts Technology Research Database ANTE: Abstracts in New Technology & Engineering Engineering Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional
DatabaseTitle	CrossRef ProQuest Health & Medical Complete (Alumni) ProQuest Computer Science Collection Technology Research Database Computer and Information Systems Abstracts – Academic Electronics & Communications Abstracts Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace ANTE: Abstracts in New Technology & Engineering Computer and Information Systems Abstracts Professional
DatabaseTitleList	ProQuest Health & Medical Complete (Alumni) Technology Research Database
Database_xml	– sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
EISSN	1939-3520
EndPage	529
ExternalDocumentID	4095065191 10_1109_TSE_2015_2496941 7314969
Genre	orig-research Feature
GrantInformation_xml	– fundername: Università di Pisa PRA project – fundername: MIUR Prin Project
GroupedDBID	--Z -DZ -~X .DC 0R~ 29I 4.4 5GY 6IK 85S 8R4 8R5 97E AAJGR AARMG AASAJ AAWTH ABAZT ABPPZ ABQJQ ABVLG ACGFO ACGOD ACIWK ACNCT AENEX AGQYO AGSQL AHBIQ AKQYR ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BKOMP BPEOZ CS3 DU5 EBS EDO EJD HZ~ I-F IEDLZ IFIPE IPLJI JAVBF LAI M43 MS~ O9- OCL P2P Q2X RIA RIE RNS RXW S10 TAE TN5 TWZ UHB UPT WH7 YZZ AAYXX CITATION JQ2 K9. 7SC 7SP 8FD F28 FR3 L7M L~C L~D
ID	FETCH-LOGICAL-c390t-f0c5584b4e53d53c9bfea5553f70df1ca7b76b954b1afd8fb3f74cce531138743
IEDL.DBID	RIE
ISICitedReferencesCount	8
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000380054100001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0098-5589
IngestDate	Sun Sep 28 01:47:12 EDT 2025 Fri Oct 03 04:11:50 EDT 2025 Tue Nov 18 22:05:37 EST 2025 Sat Nov 29 03:10:23 EST 2025 Wed Aug 27 02:47:44 EDT 2025
IsPeerReviewed	true
IsScholarly	true
Issue	6
Keywords	context oriented programming functional programming formal methods Adaptive software semantics type systems verification datalog
Language	English
License	https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c390t-f0c5584b4e53d53c9bfea5553f70df1ca7b76b954b1afd8fb3f74cce531138743
Notes	SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-1 ObjectType-Feature-2 content type line 23
PQID	1798215755
PQPubID	21418
PageCount	25
ParticipantIDs	ieee_primary_7314969 crossref_primary_10_1109_TSE_2015_2496941 proquest_journals_1798215755 proquest_miscellaneous_1825492869 crossref_citationtrail_10_1109_TSE_2015_2496941
PublicationCentury	2000
PublicationDate	2016-June-1 2016-6-1 20160601
PublicationDateYYYYMMDD	2016-06-01
PublicationDate_xml	– month: 06 year: 2016 text: 2016-June-1 day: 01
PublicationDecade	2010
PublicationPlace	New York
PublicationPlace_xml	– name: New York
PublicationTitle	IEEE transactions on software engineering
PublicationTitleAbbrev	TSE
PublicationYear	2016
Publisher	IEEE IEEE Computer Society
Publisher_xml	– name: IEEE – name: IEEE Computer Society
References	ref57 ref13 ref56 ref12 ref15 ref58 ref14 ref55 ref11 ref54 van wissen (ref50) 0 bellia (ref81) 0; 16 spinczyk (ref24) 0 ref17 ref16 ref19 ref51 ref95 ref94 meijer (ref49) 0 ref91 ref90 ref46 ref45 ref86 ref42 ref85 ref41 ref88 ref44 ref87 ref43 nielson (ref72) 2005 wrona (ref92) 0 ref8 ref7 ref9 ref4 ref3 ref6 ref5 ref82 wang (ref47) 0 ref40 ref84 ref80 ref79 pierce (ref69) 0 ref78 ref34 büchi (ref89) 1999 ref37 ref36 ref75 ref31 ref30 ref77 ref33 ref76 ref32 ref2 ref1 ref39 appeltauer (ref38) 2013 campbell (ref93) 0 (ref10) 0; jun 2005 gu (ref48) 0; 2004 box (ref74) 0 ref71 igarashi (ref35) 0 ref70 barber (ref83) 2012 ref73 bainomugisha (ref53) 2012 ref68 ref67 ref23 ref26 ref25 ref20 salvaneschi (ref18) 2011 ref63 ref66 ref22 ref65 ref21 degano (ref64) 0 ref28 ref27 necula (ref59) 2014 ref29 ref60 bordini (ref52) 2009 ref62 ref61
References_xml	– ident: ref86 doi: 10.3233/JCS-2009-0357 – ident: ref13 doi: 10.1145/250707.239104 – ident: ref79 doi: 10.1145/2489793.2489795 – year: 2012 ident: ref83 publication-title: Bayesian Reasoning and Machine Learning doi: 10.1017/CBO9780511804779 – ident: ref60 doi: 10.1023/B:JARS.0000021015.15794.82 – ident: ref55 doi: 10.1007/978-3-642-24206-9_13 – ident: ref58 doi: 10.1007/978-3-540-74255-5_14 – ident: ref14 doi: 10.1145/1137677.1137682 – ident: ref19 doi: 10.1007/978-3-642-35887-6_2 – ident: ref70 doi: 10.1201/9780849332517 – ident: ref4 doi: 10.1109/MC.2006.362 – year: 2011 ident: ref18 publication-title: CoRR – ident: ref44 doi: 10.1145/2637066.2637071 – ident: ref94 doi: 10.1007/978-3-642-23178-0_3 – ident: ref67 doi: 10.1145/512950.512973 – ident: ref95 doi: 10.1145/2330667.2330686 – ident: ref43 doi: 10.1007/978-3-642-30829-1_18 – ident: ref1 doi: 10.1109/NCM.2009.218 – start-page: 53 year: 0 ident: ref24 article-title: AspectC++: An aspect-oriented extension to the C++ programming language publication-title: Proc 40th Int Conf Tools Pacific Objects Internet Mobile Embedded Appl – ident: ref23 doi: 10.1007/3-540-45337-7_18 – ident: ref75 doi: 10.4204/EPTCS.201.2 – ident: ref80 doi: 10.1007/978-3-642-19440-5_15 – volume: 2004 start-page: 270 year: 0 ident: ref48 article-title: An ontology-based context model in intelligent environments publication-title: Proc Commun Netw Distrib Syst Model Simul Conf – ident: ref76 doi: 10.1007/978-3-642-14046-4_5 – ident: ref57 doi: 10.1007/978-3-642-24206-9_16 – year: 2012 ident: ref53 article-title: Reactive method dispatch for context-oriented programming – ident: ref15 doi: 10.1007/3-540-45177-3_3 – ident: ref28 doi: 10.1145/1146841.1146842 – ident: ref90 doi: 10.1145/1297027.1297053 – ident: ref78 doi: 10.1145/1408681.1408684 – ident: ref45 doi: 10.1016/j.infsof.2014.10.002 – ident: ref33 doi: 10.1145/503502.503505 – ident: ref22 doi: 10.1145/1353482.1353503 – ident: ref87 doi: 10.3233/JCS-2011-0430 – ident: ref20 doi: 10.1145/643603.643613 – year: 1999 ident: ref89 article-title: The greybox approach: When blackbox specifications hide too much – ident: ref88 doi: 10.5381/jot.2009.8.4.a1 – ident: ref2 doi: 10.1145/944217.944233 – ident: ref56 doi: 10.1017/S0269888905000263 – start-page: 1 year: 0 ident: ref93 article-title: Towards security and privacy for pervasive computing publication-title: Proc Mext-NSF-JSPS Int Conf Softw Security Theories Syst – start-page: 61 year: 2014 ident: ref59 article-title: Safe, untrusted agents using proof-carrying code publication-title: Mobile Agents and Security – ident: ref85 doi: 10.1109/TSE.2007.70740 – ident: ref41 doi: 10.1145/2451598.2451601 – ident: ref25 doi: 10.1145/944746.944718 – ident: ref91 doi: 10.1007/978-3-642-00590-9_24 – ident: ref8 doi: 10.1145/2637066.2637072 – ident: ref46 doi: 10.1017/S0269888904000025 – ident: ref71 doi: 10.1007/978-3-319-10882-7_5 – ident: ref40 doi: 10.1145/2068736.2068737 – ident: ref16 doi: 10.1145/1370018.1370028 – ident: ref29 doi: 10.5381/jot.2008.7.3.a4 – ident: ref84 doi: 10.1007/978-3-540-30477-7_8 – ident: ref77 doi: 10.1145/1352678.1352688 – ident: ref37 doi: 10.1145/2637066.2637073 – ident: ref17 doi: 10.1007/978-3-642-28872-2_17 – ident: ref68 doi: 10.1145/182409.182495 – ident: ref12 doi: 10.1145/1380584.1380585 – ident: ref5 doi: 10.1145/2577080.2579816 – ident: ref27 doi: 10.1016/j.scico.2006.01.004 – ident: ref62 doi: 10.1145/1552309.1552313 – ident: ref21 doi: 10.1145/976270.976282 – ident: ref7 doi: 10.1109/69.43410 – start-page: 2002 year: 0 ident: ref74 publication-title: Essential NET The Common Language Runtime – ident: ref36 doi: 10.1145/2637066.2637070 – ident: ref73 doi: 10.1007/BFb0039704 – year: 2009 ident: ref52 publication-title: Multi-Agent Programming Languages Tools and Applications – ident: ref26 doi: 10.1145/1018203.1018208 – ident: ref9 doi: 10.1007/978-3-319-10431-7_28 – volume: jun 2005 year: 0 ident: ref10 article-title: An architectural blueprint for autonomic computing – ident: ref6 doi: 10.1145/1146841.1146842 – start-page: 2002 year: 0 ident: ref69 publication-title: Types and Programming Languages – start-page: 18 year: 0 ident: ref47 article-title: Ontology based context modeling and reasoning using OWL publication-title: Proc 2nd IEEE Annu Conf Perv Comput Commun Workshops – start-page: 4:1 year: 2013 ident: ref38 publication-title: J Object Technol doi: 10.5381/jot.2013.12.2.a4 – ident: ref63 doi: 10.1016/0004-3702(84)90017-1 – start-page: 255 year: 0 ident: ref92 article-title: Context-aware security and secure context-awareness in ubiquitous computing environments publication-title: Proc XXI Autumn Meeting Polish Inf Process Soc – ident: ref34 doi: 10.1145/1960510.1960515 – ident: ref82 doi: 10.1145/1721654.1721675 – ident: ref39 doi: 10.1145/2637066.2637068 – ident: ref61 doi: 10.1017/S0956796807006466 – ident: ref32 doi: 10.1145/1562112.1562122 – start-page: 1 year: 0 ident: ref50 article-title: ContextDroid: An expression-based context framework for Android publication-title: Proc of PhoneSense – start-page: 1 year: 0 ident: ref49 article-title: Programming with circles, triangles and rectangles publication-title: Proc XML Conf Expo – volume: 16 start-page: 281 year: 0 ident: ref81 article-title: The call by name semantics of a clause language with functions publication-title: Logic Programming – ident: ref3 doi: 10.1016/j.comnet.2010.05.010 – ident: ref54 doi: 10.1145/1516533.1516538 – start-page: 13 year: 0 ident: ref35 article-title: A type system for dynamic layer composition publication-title: Proc Fifth Int l Workshop Foundations of Object-Oriented Languages – year: 0 ident: ref64 article-title: A two-step type and effect inference for a context-aware language – ident: ref66 doi: 10.1007/3-540-36377-7_11 – year: 2005 ident: ref72 publication-title: Principles of Program Analysis – ident: ref11 doi: 10.1109/MC.2003.1160055 – ident: ref31 doi: 10.1145/1562112.1562118 – ident: ref65 doi: 10.1145/215465.215552 – ident: ref42 doi: 10.1145/1562112.1562113 – ident: ref51 doi: 10.1145/1101480.1101483 – ident: ref30 doi: 10.1145/2491465.2491466
SSID	ssj0005775 ssib053395008
Score	2.2490113
Snippet	Adaptive systems are designed to modify their behaviour in response to changes of their operational environment. We propose a two-component language for...
SourceID	proquest crossref ieee
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	505
SubjectTerms	Adaptability Adaptation Adaptation models Adaptive Software Approximation Computer languages Computer programming Context Context Oriented Programming Datalog Dynamical systems Dynamics Formal Methods Functional Programming Information systems Mathematical analysis Programming Programming languages Running Semantics Software Studies Type Systems Verification
Title	A Two-Component Language for Adaptation: Design, Semantics and Program Analysis
URI	https://ieeexplore.ieee.org/document/7314969 https://www.proquest.com/docview/1798215755 https://www.proquest.com/docview/1825492869
Volume	42
WOSCitedRecordID	wos000380054100001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) customDbUrl: eissn: 1939-3520 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0005775 issn: 0098-5589 databaseCode: RIE dateStart: 19750101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSxxBEC5WycFL1qghqya04EVw3Hn1y9uS7JLDYgRX8Db0E4Q4u-xD_77VPTMrkhDIbaCre5r6-lHdVf0VwLmh1AnqdOID_SOukjoRPtUJVzZ3ube58pFdf8pvbsTDg7ztweX2LYxzLgafuavwGX35dm424apsyAu055ncgR3OWfNW6y2cg3Pa8WNSKmTnkkzlcHY3DjFc9CoPtcvs3RYUc6r8sRDH3WXS_79-7cPH1ookowb2T9Bz9QH0uwwNpJ2wh_BrRGYv8yQUzGtsg0zb60mCtioZWbVoPPHX5EeM5Lgkd-4Jdf1oVkTVltw20Vukoy45gvvJePb9Z9KmUEhMIdM1IoBgiFKXjhaWFkZq7xSltPA8tT4zimvOtKSlzpS3wmssKI1B6SwrBFoXn2G3xg5-AaJULtLSlspSVnrGtcgUs0oynjncCP0Ahp1WK9Pyi4c0F7-reM5IZYU4VAGHqsVhABfbGouGW-MfsodB71u5VuUDOO2Aq9rJt6oCBxtaMpzSAZxti3HaBF-Iqt18gzLxZJwLJo__3vIJ7OH_WRMVdgq76-XGfYUP5nn9uFp-i2PvFfUI1t0
linkProvider	IEEE
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3daxQxEB9qFfTFqrV4WjWCL0K3tx-ZTeLboS0tPc9CT-jbkk840L3Su9N_30l290QUwbeFmYQwv00yyUx-A_DWInqJ3mQh0j_SKmkyGXKTCe1KXwZX6pDY9adiNpPX1-pyB462b2G89yn5zB_HzxTLd0u7iVdlY1GRP1-rO3AXOS_z7rXWr4QOIXBgyESUaghK5mo8vzqJWVx4XMb2vPhtE0pVVf5YitP-crr3fyN7BA97P5JNOuAfw45vn8DeUKOB9VN2Hz5P2PzHMouCZUt9sGl_QcnIW2UTp2-6WPx79jHlchyxK_-NrL2wK6Zbxy67_C02kJc8hS-nJ_MPZ1lfRCGzlcrXhAHBIbnhHiuHlVUmeI2IVRC5C4XVwojaKOSm0MHJYEjArSXtoqgk-RcHsNvSAJ8B07qUOXdcO6x5qIWRha6dVrUoPG2FYQTjwaqN7RnGY6GLr006aeSqIRyaiEPT4zCCd9sWNx27xj9096Pdt3q9yUdwOADX9NNv1UQWNvJlBOII3mzFNHFiNES3frkhnXQ2LmWtnv-959dw_2z-adpMz2cXL-ABjaXucsQOYXd9u_Ev4Z79vl6sbl-l__AnSn7aJA
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Two-Component+Language+for+Adaptation%3A+Design%2C+Semantics+and+Program+Analysis&rft.jtitle=IEEE+transactions+on+software+engineering&rft.au=Degano%2C+Pierpaolo&rft.au=Ferrari%2C+Gian-Luigi&rft.au=Galletta%2C+Letterio&rft.date=2016-06-01&rft.pub=IEEE+Computer+Society&rft.issn=0098-5589&rft.eissn=1939-3520&rft.volume=42&rft.issue=6&rft.spage=505&rft_id=info:doi/10.1109%2Ftse.2015.2496941&rft.externalDBID=NO_FULL_TEXT&rft.externalDocID=4095065191
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0098-5589&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0098-5589&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0098-5589&client=summon