Semantics for consistent activation in context-oriented systems

Context-oriented programming languages provide dedicated programming abstractions to define behavioral adaptations and means to combine those adaptations dynamically according to sensed context changes. Some of these languages feature programming abstractions to explicitly define interaction depende...

Full description

Saved in:

Bibliographic Details
Published in:	Information and software technology Vol. 58; pp. 71 - 94
Main Authors:	Cardozo, Nicolás, González, Sebastián, Mens, Kim, Van Der Straeten, Ragnhild, Vallejos, Jorge, D’Hondt, Theo
Format:	Journal Article
Language:	English
Published:	Amsterdam Elsevier B.V 01.02.2015 Elsevier Science Ltd
Subjects:	Activation Adaptation Context-oriented programming Dynamic behavior adaptation Dynamical systems Dynamics Mathematical models Petri nets Program semantics Programming Programming languages Run time (computers) Self-adaptiveness Semantics Software engineering Studies Context-oriented programming Self-adaptiveness Dynamic behavior adaptation Petri nets Program semantics
ISSN:	0950-5849, 1873-6025
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Abstract	Context-oriented programming languages provide dedicated programming abstractions to define behavioral adaptations and means to combine those adaptations dynamically according to sensed context changes. Some of these languages feature programming abstractions to explicitly define interaction dependencies among contexts. However, the semantics of context activation and the meaning of dependency relations have been described only informally, which in some cases has led to incorrect specifications, faulty implementations and inconsistent system behavior. With the aim of avoiding faulty implementations and inconsistencies during system execution, this paper proposes both a formal and run-time model of contexts, context activation and context interaction. As a formal and computational basis, we introduce context Petri nets, a model based on Petri nets, which we found to match closely the structure of contexts in context-oriented systems. The operational semantics of Petri nets permits the modeling of run-time context activations. Existing Petri net analyses allow us to reason about system properties. As validation, we carried out small and medium-sized case studies. In the cases explored, context Petri nets served effectively as underlying run-time model to ensure that declared context interaction constraints remain consistent during context manipulation. Moreover, context Petri nets enabled us to analyze certain properties regarding the activation state of particular contexts. Context Petri nets thus proved to be appropriate to encode and manage the semantics of context activation, both formally and computationally, so as to preserve the consistency of context-oriented systems.
AbstractList	Context-oriented programming languages provide dedicated programming abstractions to define behavioral adaptations and means to combine those adaptations dynamically according to sensed context changes. Some of these languages feature programming abstractions to explicitly define interaction dependencies among contexts. However, the semantics of context activation and the meaning of dependency relations have been described only informally, which in some cases has led to incorrect specifications, faulty implementations and inconsistent system behavior. With the aim of avoiding faulty implementations and inconsistencies during system execution, this paper proposes both a formal and run-time model of contexts, context activation and context interaction. As a formal and computational basis, we introduce context Petri nets, a model based on Petri nets, which we found to match closely the structure of contexts in context-oriented systems. The operational semantics of Petri nets permits the modeling of run-time context activations. Existing Petri net analyses allow us to reason about system properties. As validation, we carried out small and medium-sized case studies. In the cases explored, context Petri nets served effectively as underlying run-time model to ensure that declared context interaction constraints remain consistent during context manipulation. Moreover, context Petri nets enabled us to analyze certain properties regarding the activation state of particular contexts. Context Petri nets thus proved to be appropriate to encode and manage the semantics of context activation, both formally and computationally, so as to preserve the consistency of context-oriented systems. Context: Context-oriented programming languages provide dedicated programming abstractions to define behavioral adaptations and means to combine those adaptations dynamically according to sensed context changes. Some of these languages feature programming abstractions to explicitly define interaction dependencies among contexts. However, the semantics of context activation and the meaning of dependency relations have been described only informally, which in some cases has led to incorrect specifications, faulty implementations and inconsistent system behavior. Objective: With the aim of avoiding faulty implementations and inconsistencies during system execution, this paper proposes both a formal and run-time model of contexts, context activation and context interaction. Method: As a formal and computational basis, we introduce context Petri nets, a model based on Petri nets, which we found to match closely the structure of contexts in context-oriented systems. The operational semantics of Petri nets permits the modeling of run-time context activations. Existing Petri net analyses allow us to reason about system properties. As validation, we carried out small and medium-sized case studies. Results: In the cases explored, context Petri nets served effectively as underlying run-time model to ensure that declared context interaction constraints remain consistent during context manipulation. Moreover, context Petri nets enabled us to analyze certain properties regarding the activation state of particular contexts. Conclusion: Context Petri nets thus proved to be appropriate to encode and manage the semantics of context activation, both formally and computationally, so as to preserve the consistency of context-oriented systems. Context-oriented programming languages provide dedicated programming abstractions to define behavioral adaptations and means to combine those adaptations dynamically according to sensed context changes. Some of these languages feature programming abstractions to explicitly define interaction dependencies among contexts. However, the semantics of context activation and the meaning of dependency relations have been described only informally, which in some cases has led to incorrect specifications, faulty implementations and inconsistent system behavior. With the aim of avoiding faulty implementations and inconsistencies during system execution, this paper proposes both a formal and run-time model of contexts, context activation and context interaction. Context Petri nets thus proved to be appropriate to encode and manage the semantics of context activation, both formally and computationally, so as to preserve the consistency of context-oriented systems.
Author	Vallejos, Jorge D’Hondt, Theo González, Sebastián Van Der Straeten, Ragnhild Mens, Kim Cardozo, Nicolás
Author_xml	– sequence: 1 givenname: Nicolás surname: Cardozo fullname: Cardozo, Nicolás email: cardozon@tcd.ie, nicolas.cardozo@uclouvain.be organization: ICTEAM, Université catholique de Louvain, Place Sainte-Barbe 2, 1348 Louvain-la-Neuve, Belgium – sequence: 2 givenname: Sebastián surname: González fullname: González, Sebastián email: s.gonzalez@uclouvain.be organization: ICTEAM, Université catholique de Louvain, Place Sainte-Barbe 2, 1348 Louvain-la-Neuve, Belgium – sequence: 3 givenname: Kim surname: Mens fullname: Mens, Kim email: kim.mens@uclouvain.be organization: ICTEAM, Université catholique de Louvain, Place Sainte-Barbe 2, 1348 Louvain-la-Neuve, Belgium – sequence: 4 givenname: Ragnhild surname: Van Der Straeten fullname: Van Der Straeten, Ragnhild email: rvdstrae@vub.ac.be organization: Software Languages Lab, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belgium – sequence: 5 givenname: Jorge surname: Vallejos fullname: Vallejos, Jorge email: jvallejo@vub.ac.be organization: Software Languages Lab, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belgium – sequence: 6 givenname: Theo surname: D’Hondt fullname: D’Hondt, Theo email: tjdhondt@vub.ac.be organization: Software Languages Lab, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belgium
BookMark	eNqFkE1LAzEQhoNUsFX_gYcFL152TfYjm3hQpPgFBQ_qOWSTWcjSJjVJi_33Zq2nHvQ08M7zDsMzQxPrLCB0QXBBMKHXQ2FsH1xflJjUKSowLo_QlLC2yikumwmaYt7gvGE1P0GzEAaMSYsrPEV3b7CSNhoVst75TDkbTIhgYyZVNFsZjbOZseMiwlfMnTdpCToLu4Stwhk67uUywPnvPEUfjw_v8-d88fr0Mr9f5Kqibcw56xpGOq55rYH3Wna1atJnuCl7yaVUbalJK4EDZb1mvKOEaA664WWHO6qrU3S1v7v27nMDIYqVCQqWS2nBbYIglHLGOW1ZQi8P0MFtvE3fJapktCGsahNV7ynlXQgeerH2ZiX9ThAsRqtiEHurYrQ6pslqqt0c1JSJP5ail2b5X_l2X4ZkamvAi6CSTgXaeFBRaGf-PvANk7-YXg
CitedBy_id	crossref_primary_10_1109_TSE_2015_2496941 crossref_primary_10_1109_MS_2017_4121225 crossref_primary_10_1016_j_infsof_2020_106504 crossref_primary_10_1016_j_jss_2023_111614 crossref_primary_10_1016_j_scico_2019_03_008
Cites_doi	10.1016/j.jss.2012.03.024 10.1016/S0304-3975(01)00127-X 10.1109/5.24143 10.1016/0167-6423(92)90005-V 10.1016/0304-3975(92)90184-H 10.1007/s002360050065 10.1016/j.entcs.2008.12.042 10.1145/1146841.1146842 10.1007/978-3-642-19440-5_15 10.1142/S0218126698000043
ContentType	Journal Article
Copyright	2014 Elsevier B.V. Copyright Elsevier Science Ltd. Feb 2015
Copyright_xml	– notice: 2014 Elsevier B.V. – notice: Copyright Elsevier Science Ltd. Feb 2015
DBID	AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D
DOI	10.1016/j.infsof.2014.10.002
DatabaseName	CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional
DatabaseTitle	CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional
DatabaseTitleList	Computer and Information Systems Abstracts Computer and Information Systems Abstracts
DeliveryMethod	fulltext_linktorsrc
Discipline	Business
EISSN	1873-6025
EndPage	94
ExternalDocumentID	3510790751 10_1016_j_infsof_2014_10_002 S0950584914002134
Genre	Feature
GroupedDBID	--K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 29I 4.4 457 4G. 5GY 5VS 7-5 71M 77K 8P~ 9JN AABNK AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN AAYOK ABBOA ABFNM ABFRF ABJNI ABMAC ABTAH ABXDB ABYKQ ACDAQ ACGFO ACGFS ACGOD ACNNM ACRLP ACZNC ADBBV ADEZE ADJOM ADMUD AEBSH AEFWE AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BKOJK BKOMP BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q G8K GBLVA GBOLZ HLZ HVGLF HZ~ IHE J1W KOM LG9 M41 MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG ROL RPZ SBC SDF SDG SDP SES SEW SPC SPCBC SSV SSZ T5K TWZ UHS UNMZH WH7 WUQ XFK ZY4 ~G- 77I 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SC 8FD JQ2 L7M L~C L~D
ID	FETCH-LOGICAL-c367t-98b581b9d94de9fdab4c5025052fa9aac72d17ae9e68fd89b611d9ed592b0b6d3
ISICitedReferencesCount	7
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000347022800005&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0950-5849
IngestDate	Sun Sep 28 12:16:52 EDT 2025 Sun Nov 09 05:40:27 EST 2025 Sat Nov 29 03:40:34 EST 2025 Tue Nov 18 22:19:50 EST 2025 Fri Feb 23 02:23:55 EST 2024
IsPeerReviewed	true
IsScholarly	true
Keywords	Context-oriented programming Self-adaptiveness Dynamic behavior adaptation Petri nets Program semantics
Language	English
LinkModel	OpenURL
MergedId	FETCHMERGED-LOGICAL-c367t-98b581b9d94de9fdab4c5025052fa9aac72d17ae9e68fd89b611d9ed592b0b6d3
Notes	SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-1 ObjectType-Feature-2 content type line 23
PQID	1628651837
PQPubID	41979
PageCount	24
ParticipantIDs	proquest_miscellaneous_1669899678 proquest_journals_1628651837 crossref_primary_10_1016_j_infsof_2014_10_002 crossref_citationtrail_10_1016_j_infsof_2014_10_002 elsevier_sciencedirect_doi_10_1016_j_infsof_2014_10_002
PublicationCentury	2000
PublicationDate	February 2015 2015-02-00 20150201
PublicationDateYYYYMMDD	2015-02-01
PublicationDate_xml	– month: 02 year: 2015 text: February 2015
PublicationDecade	2010
PublicationPlace	Amsterdam
PublicationPlace_xml	– name: Amsterdam
PublicationTitle	Information and software technology
PublicationYear	2015
Publisher	Elsevier B.V Elsevier Science Ltd
Publisher_xml	– name: Elsevier B.V – name: Elsevier Science Ltd
References	Best, Koutny (b0020) 1992; 96 van der Aalst (b0175) 1998; 8 Schmidt (b0170) 2000 Clarke, Sergey (b0055) 2009 Mazurkiewicz (b0120) 1988 N. Cardozo, Identification and management of inconsistencies in dynamically adaptive software systems, Ph.D. thesis, Université catholique de Louvain – Vrije Universiteit Brussel, Louvain-la-Neuve, Belgium, September 2013. S. González, Programming in ambience: gearing up for dynamic adaptation to context, Ph.D. thesis, Université catholique de Louvain, coll. EPL 211/2008. Promoted by Prof. Kim Mens, October 2008 Busi (b0030) 2002; 275 Aotani, Kamina, Masuhara (b0005) 2011 Salvaneschi (b0150) 2012 Clarke, Costanza, Tanter (b0050) 2009 Desmet, Vallejos, Costanza, De Meuter, D’Hondt (b0070) 2007 N. Cardozo, J. Vallejos, S. González, K. Mens, T. D’Hondt, Context Petri nets: enabling consistent composition of context-dependent behavior, in: L. Cabac, M. Duvigneau, D. Moldt (Eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering. CEUR Workshop Proceedings, vol. 851, 25–26 June 2012, pp. 156–170. Co-located with the International Conference on Application and Theory of Petri Nets and Concurrency. Fahland, Favre, Jobstmann, Koehler, Lohmann, Völzer, Wolf (b0080) 2009; vol. 5701 González, Mens, Heymans (b0095) 2007 Schippers, Molderez, Janssens (b0165) 2010 Berry, Gonthier, Gonthier, Laltte (b0015) 1992; 19 P. Costanza, R. Hirschfeld, Language constructs for context-oriented programming: an overview of ContextL, in: Proceedings of the Dynamic Languages Symposium, October 2005, pp. 1–10. S. González, N. Cardozo, K. Mens, A. Cádiz, J.-C. Libbrecht, J., Goffaux, Subjective-C: bringing context to mobile platform programming, in: Proceedings of the International Conference on Software Language Engineering, 2011. Bause (b0010) 1996; 33 Muschevici, Clarke, Proença (b0130) 2010; vol. 2 T. Poncelet, L. Vigneron, The phenomenal gem: putting features as a service on rails, Master’s thesis, Université catholique de Louvain, Louvain-la-Neuve, Belgium, June 2012. Salvaneschi, Ghezzi, Pradella (b0155) 2012; 85 Kamina, Aotani, Masuhara (b0115) 2012 Eshuis, Dehnert (b0075) 2003 Biberstein, Buchs, Guelfi (b0025) 1997 Cardozo, González, Mens (b0040) 2012 CEUR-WS.org. . P. Costanza, T. D’Hondt, Feature descriptions for context-oriented programming, in: S. Thiel, K. Pohl (Eds.), International Software Product Line Conference, Second Volume (Workshops), Lero Int. Science Centre, University of Limerick, Ireland, 2008, pp. 9–14, 2nd International Workshop on Dynamic Software Product Lines (DSPL’08). Salvaneschi, Ghezzi, Pradella (b0160) 2012 Murata (b0125) 1989; 77 Reinhardt (b0145) 2008; 223 Kamina, Aotani, Masuhara (b0110) 2011 Peterson (b0135) 1977; vol. 9 Jensen, Kristensen (b0105) 2009 S. Hinz, K. Schmidt, C. Stahl, Transforming BPEL to Petri nets, in: W.M.P. van der Aalst, B. Benatallah, F. Casati, F. Curbera (Eds.), Proceedings of the Third International Conference on Business Process Management, LNCS (BPM’05), vol. 3649, September 2005, pp. 220–235. Aotani (10.1016/j.infsof.2014.10.002_b0005) 2011 Cardozo (10.1016/j.infsof.2014.10.002_b0040) 2012 10.1016/j.infsof.2014.10.002_b0035 Mazurkiewicz (10.1016/j.infsof.2014.10.002_b0120) 1988 Reinhardt (10.1016/j.infsof.2014.10.002_b0145) 2008; 223 10.1016/j.infsof.2014.10.002_b0090 Murata (10.1016/j.infsof.2014.10.002_b0125) 1989; 77 Muschevici (10.1016/j.infsof.2014.10.002_b0130) 2010; vol. 2 Busi (10.1016/j.infsof.2014.10.002_b0030) 2002; 275 González (10.1016/j.infsof.2014.10.002_b0095) 2007 Jensen (10.1016/j.infsof.2014.10.002_b0105) 2009 van der Aalst (10.1016/j.infsof.2014.10.002_b0175) 1998; 8 Schmidt (10.1016/j.infsof.2014.10.002_b0170) 2000 Best (10.1016/j.infsof.2014.10.002_b0020) 1992; 96 Peterson (10.1016/j.infsof.2014.10.002_b0135) 1977; vol. 9 Schippers (10.1016/j.infsof.2014.10.002_b0165) 2010 Bause (10.1016/j.infsof.2014.10.002_b0010) 1996; 33 Desmet (10.1016/j.infsof.2014.10.002_b0070) 2007 Kamina (10.1016/j.infsof.2014.10.002_b0110) 2011 Kamina (10.1016/j.infsof.2014.10.002_b0115) 2012 Berry (10.1016/j.infsof.2014.10.002_b0015) 1992; 19 Biberstein (10.1016/j.infsof.2014.10.002_b0025) 1997 Salvaneschi (10.1016/j.infsof.2014.10.002_b0150) 2012 Salvaneschi (10.1016/j.infsof.2014.10.002_b0160) 2012 Eshuis (10.1016/j.infsof.2014.10.002_b0075) 2003 Clarke (10.1016/j.infsof.2014.10.002_b0050) 2009 10.1016/j.infsof.2014.10.002_b0045 10.1016/j.infsof.2014.10.002_b0100 10.1016/j.infsof.2014.10.002_b0065 Clarke (10.1016/j.infsof.2014.10.002_b0055) 2009 Salvaneschi (10.1016/j.infsof.2014.10.002_b0155) 2012; 85 10.1016/j.infsof.2014.10.002_b0085 10.1016/j.infsof.2014.10.002_b0140 10.1016/j.infsof.2014.10.002_b0060 Fahland (10.1016/j.infsof.2014.10.002_b0080) 2009; vol. 5701
References_xml	– start-page: 4:1 year: 2012 end-page: 4:6 ident: b0115 article-title: Bridging real-world contexts and units of behavioral variations by composite layers publication-title: Proceedings of the International Workshop on Context-Oriented Programming (COP’12) – start-page: 1 year: 2009 end-page: 6 ident: b0050 article-title: How should context-escaping closures proceed? publication-title: International Workshop on Context-Oriented Programming (COP’09) – start-page: 73 year: 1997 end-page: 130 ident: b0025 article-title: Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism publication-title: Advances in Petri Nets on Object-Orientation – year: 1988 ident: b0120 article-title: Compositional Semantics of Pure Place/Transition Systems – start-page: 191 year: 2012 end-page: 202 ident: b0160 article-title: ContextErlang: introducing context-oriented programming in the actor model publication-title: Proceedings of International Conference on Aspect-Oriented Software Development (AOSD’12) – start-page: 1 year: 2009 end-page: 6 ident: b0055 article-title: A semantics for context-oriented programming with layers publication-title: International Workshop on Context-Oriented Programming, No. 10 in COP’09 – volume: vol. 9 start-page: 223 year: 1977 end-page: 252 ident: b0135 article-title: Petri nets∗ publication-title: Computing Surveys – volume: 8 start-page: 21 year: 1998 end-page: 66 ident: b0175 article-title: The application of Petri nets to workflow management publication-title: J. Circ. Syst. Comput. – reference: S. González, Programming in ambience: gearing up for dynamic adaptation to context, Ph.D. thesis, Université catholique de Louvain, coll. EPL 211/2008. Promoted by Prof. Kim Mens, October 2008, < – year: 2009 ident: b0105 article-title: Coloured Petri Nets: Modeling and Validation of Concurrent Systems – reference: P. Costanza, T. D’Hondt, Feature descriptions for context-oriented programming, in: S. Thiel, K. Pohl (Eds.), International Software Product Line Conference, Second Volume (Workshops), Lero Int. Science Centre, University of Limerick, Ireland, 2008, pp. 9–14, 2nd International Workshop on Dynamic Software Product Lines (DSPL’08). – start-page: 178 year: 2007 end-page: 191 ident: b0070 article-title: Context-oriented domain analysis publication-title: Modeling and Using Context – start-page: 77 year: 2007 end-page: 88 ident: b0095 article-title: Highly dynamic behaviour adaptability through prototypes with subjective multimethods publication-title: Proceedings of the Dynamic Languages Symposium – reference: S. Hinz, K. Schmidt, C. Stahl, Transforming BPEL to Petri nets, in: W.M.P. van der Aalst, B. Benatallah, F. Casati, F. Curbera (Eds.), Proceedings of the Third International Conference on Business Process Management, LNCS (BPM’05), vol. 3649, September 2005, pp. 220–235. – volume: 33 start-page: 669 year: 1996 end-page: 685 ident: b0010 article-title: On the analysis of Petri nets with static priorities publication-title: Acta Inform. – start-page: 465 year: 2000 end-page: 474 ident: b0170 article-title: LoLA: a low level analyser publication-title: Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN’00) – start-page: 1 year: 2012 end-page: 3 ident: b0040 article-title: Uniting global and local context behavior with context petri nets publication-title: Proceedings of the International Workshop on Context-Oriented Programming, No. 3 in COP’12 – reference: > CEUR-WS.org. – start-page: 296 year: 2003 end-page: 315 ident: b0075 article-title: Reactive Petri nets for workflow modeling publication-title: Application and Theory of Petri Nets 2003 – volume: 85 year: 2012 ident: b0155 article-title: Context-oriented programming: a software engineering perspective publication-title: J. Syst. Softw. – start-page: 1 year: 2011 end-page: 7 ident: b0005 article-title: Featherwight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition publication-title: Proceedings of the 3rd Context-Oriented Programming Workshop (COP’11) – reference: N. Cardozo, Identification and management of inconsistencies in dynamically adaptive software systems, Ph.D. thesis, Université catholique de Louvain – Vrije Universiteit Brussel, Louvain-la-Neuve, Belgium, September 2013. – start-page: 253 year: 2011 end-page: 264 ident: b0110 article-title: EventCJ: a context-oriented programming language with declarative event-based context transition publication-title: Proceedings of International Conference on Aspect-Oriented Software Development (AOSD’11) – volume: vol. 5701 start-page: 278 year: 2009 end-page: 293 ident: b0080 article-title: Instantaneous soundness checking of industrial business process models publication-title: 7th International Conference, Business Process Management – reference: >. – year: 2012 ident: b0150 article-title: Context-oriented programming: a software engineering perspective publication-title: J. Syst. Softw. – volume: 19 start-page: 87 year: 1992 end-page: 152 ident: b0015 article-title: The Esterel synchronous programming language: design, semantics, implementation publication-title: Sci. Comput. Prog. – volume: 77 start-page: 541 year: 1989 end-page: 580 ident: b0125 article-title: Petri nets: properties, analysis and applications publication-title: Proc. IEEE – reference: N. Cardozo, J. Vallejos, S. González, K. Mens, T. D’Hondt, Context Petri nets: enabling consistent composition of context-dependent behavior, in: L. Cabac, M. Duvigneau, D. Moldt (Eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering. CEUR Workshop Proceedings, vol. 851, 25–26 June 2012, pp. 156–170. Co-located with the International Conference on Application and Theory of Petri Nets and Concurrency. < – volume: vol. 2 start-page: 99 year: 2010 end-page: 106 ident: b0130 article-title: Feature Petri nets publication-title: SPLC Workshops – volume: 223 start-page: 239 year: 2008 end-page: 264 ident: b0145 article-title: Reachability in Petri nets with inhibitor arcs publication-title: Electron. Notes Theor. Comput. Sci. – start-page: 1 year: 2010 end-page: 6 ident: b0165 article-title: A graph-based operational semantics for context-oriented programming publication-title: Proceedings of the 2nd International Workshop on Context-Oriented Programming (COP’10) – reference: T. Poncelet, L. Vigneron, The phenomenal gem: putting features as a service on rails, Master’s thesis, Université catholique de Louvain, Louvain-la-Neuve, Belgium, June 2012. – reference: S. González, N. Cardozo, K. Mens, A. Cádiz, J.-C. Libbrecht, J., Goffaux, Subjective-C: bringing context to mobile platform programming, in: Proceedings of the International Conference on Software Language Engineering, 2011. – volume: 96 start-page: 175 year: 1992 end-page: 215 ident: b0020 article-title: Petri net semantics of priority systems publication-title: Theor. Comput. Sci. – reference: P. Costanza, R. Hirschfeld, Language constructs for context-oriented programming: an overview of ContextL, in: Proceedings of the Dynamic Languages Symposium, October 2005, pp. 1–10. – volume: 275 start-page: 127 year: 2002 end-page: 177 ident: b0030 article-title: Analysis of Petri nets with inhibitor arcs publication-title: Theor. Comput. Sci. – year: 2012 ident: 10.1016/j.infsof.2014.10.002_b0150 article-title: Context-oriented programming: a software engineering perspective publication-title: J. Syst. Softw. doi: 10.1016/j.jss.2012.03.024 – year: 2009 ident: 10.1016/j.infsof.2014.10.002_b0105 – volume: 275 start-page: 127 year: 2002 ident: 10.1016/j.infsof.2014.10.002_b0030 article-title: Analysis of Petri nets with inhibitor arcs publication-title: Theor. Comput. Sci. doi: 10.1016/S0304-3975(01)00127-X – volume: vol. 5701 start-page: 278 year: 2009 ident: 10.1016/j.infsof.2014.10.002_b0080 article-title: Instantaneous soundness checking of industrial business process models – start-page: 465 year: 2000 ident: 10.1016/j.infsof.2014.10.002_b0170 article-title: LoLA: a low level analyser – volume: 77 start-page: 541 issue: 4 year: 1989 ident: 10.1016/j.infsof.2014.10.002_b0125 article-title: Petri nets: properties, analysis and applications publication-title: Proc. IEEE doi: 10.1109/5.24143 – volume: vol. 9 start-page: 223 year: 1977 ident: 10.1016/j.infsof.2014.10.002_b0135 article-title: Petri nets∗ – start-page: 1 year: 2010 ident: 10.1016/j.infsof.2014.10.002_b0165 article-title: A graph-based operational semantics for context-oriented programming – ident: 10.1016/j.infsof.2014.10.002_b0140 – start-page: 1 year: 2011 ident: 10.1016/j.infsof.2014.10.002_b0005 article-title: Featherwight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition – volume: vol. 2 start-page: 99 year: 2010 ident: 10.1016/j.infsof.2014.10.002_b0130 article-title: Feature Petri nets – start-page: 1 year: 2009 ident: 10.1016/j.infsof.2014.10.002_b0050 article-title: How should context-escaping closures proceed? – start-page: 1 year: 2009 ident: 10.1016/j.infsof.2014.10.002_b0055 article-title: A semantics for context-oriented programming with layers – ident: 10.1016/j.infsof.2014.10.002_b0060 – ident: 10.1016/j.infsof.2014.10.002_b0045 – start-page: 1 year: 2012 ident: 10.1016/j.infsof.2014.10.002_b0040 article-title: Uniting global and local context behavior with context petri nets – ident: 10.1016/j.infsof.2014.10.002_b0085 – volume: 19 start-page: 87 issue: 2 year: 1992 ident: 10.1016/j.infsof.2014.10.002_b0015 article-title: The Esterel synchronous programming language: design, semantics, implementation publication-title: Sci. Comput. Prog. doi: 10.1016/0167-6423(92)90005-V – volume: 96 start-page: 175 year: 1992 ident: 10.1016/j.infsof.2014.10.002_b0020 article-title: Petri net semantics of priority systems publication-title: Theor. Comput. Sci. doi: 10.1016/0304-3975(92)90184-H – ident: 10.1016/j.infsof.2014.10.002_b0100 – volume: 33 start-page: 669 year: 1996 ident: 10.1016/j.infsof.2014.10.002_b0010 article-title: On the analysis of Petri nets with static priorities publication-title: Acta Inform. doi: 10.1007/s002360050065 – start-page: 4:1 year: 2012 ident: 10.1016/j.infsof.2014.10.002_b0115 article-title: Bridging real-world contexts and units of behavioral variations by composite layers – start-page: 73 year: 1997 ident: 10.1016/j.infsof.2014.10.002_b0025 article-title: Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism – ident: 10.1016/j.infsof.2014.10.002_b0035 – year: 1988 ident: 10.1016/j.infsof.2014.10.002_b0120 – volume: 223 start-page: 239 year: 2008 ident: 10.1016/j.infsof.2014.10.002_b0145 article-title: Reachability in Petri nets with inhibitor arcs publication-title: Electron. Notes Theor. Comput. Sci. doi: 10.1016/j.entcs.2008.12.042 – start-page: 191 year: 2012 ident: 10.1016/j.infsof.2014.10.002_b0160 article-title: ContextErlang: introducing context-oriented programming in the actor model – ident: 10.1016/j.infsof.2014.10.002_b0065 doi: 10.1145/1146841.1146842 – start-page: 77 year: 2007 ident: 10.1016/j.infsof.2014.10.002_b0095 article-title: Highly dynamic behaviour adaptability through prototypes with subjective multimethods – start-page: 253 year: 2011 ident: 10.1016/j.infsof.2014.10.002_b0110 article-title: EventCJ: a context-oriented programming language with declarative event-based context transition – start-page: 296 year: 2003 ident: 10.1016/j.infsof.2014.10.002_b0075 article-title: Reactive Petri nets for workflow modeling – start-page: 178 year: 2007 ident: 10.1016/j.infsof.2014.10.002_b0070 article-title: Context-oriented domain analysis – ident: 10.1016/j.infsof.2014.10.002_b0090 doi: 10.1007/978-3-642-19440-5_15 – volume: 85 issue: 8 year: 2012 ident: 10.1016/j.infsof.2014.10.002_b0155 article-title: Context-oriented programming: a software engineering perspective publication-title: J. Syst. Softw. doi: 10.1016/j.jss.2012.03.024 – volume: 8 start-page: 21 issue: 1 year: 1998 ident: 10.1016/j.infsof.2014.10.002_b0175 article-title: The application of Petri nets to workflow management publication-title: J. Circ. Syst. Comput. doi: 10.1142/S0218126698000043
SSID	ssj0017030
Score	2.1612895
Snippet	Context-oriented programming languages provide dedicated programming abstractions to define behavioral adaptations and means to combine those adaptations... Context: Context-oriented programming languages provide dedicated programming abstractions to define behavioral adaptations and means to combine those...
SourceID	proquest crossref elsevier
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	71
SubjectTerms	Activation Adaptation Context-oriented programming Dynamic behavior adaptation Dynamical systems Dynamics Mathematical models Petri nets Program semantics Programming Programming languages Run time (computers) Self-adaptiveness Semantics Software engineering Studies
Title	Semantics for consistent activation in context-oriented systems
URI	https://dx.doi.org/10.1016/j.infsof.2014.10.002 https://www.proquest.com/docview/1628651837 https://www.proquest.com/docview/1669899678
Volume	58
WOSCitedRecordID	wos000347022800005&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: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1873-6025 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0017030 issn: 0950-5849 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3db9MwELfKhhAviE9RGChIiJfJqM6X48dpdHyVgrQO9S1ybGdq1SWlzca0f45_jbs4TsYqGDzwklbOh9q7y93P59-dCXkJUwaZ6BDetCjgNEx8QUWuJAXXJ2Wo8zgwdXf9ER-Pk-lUfOn1frhamLMFL4rk_Fws_6uqYQyUjaWz_6Du9qEwAN9B6XAEtcPxrxR_aE5AWth8GRmECgmwoElkkiu3ldluTT4vkPRBS2x0jLBzfal3-dzx29vaxl2bYM-r70gVqzYS8vtgaeVF2RpXvQDPWsD-tiwu7NDCpqwPDcTPambHWgP9ZCys_zg7cUNfwQG9MStcPpcI8GubkMcFFqFfTlmwyLGcXR7N1dI499URmGxickABFllHaqxbTnhA44EtkXZ-27Z8bxyv3cdlIx7Y1MQcJzEgImTyha9rMp_fxT-35j_-nB4cjUbpZDid_HrWhnvwXlwAwmKvlt9QOce4vN_s4XKDbPs8EhAZtvfeD6cf2oUsdKi23aP9U656s6YYbv6q36GjKzihBj-Tu-ROM2vx9qy13SM9U9wnt1zRxAOY8jmj88BivM7ovM7ovFnhXTU6rzG6h-ToYDjZf0ebrTmoCmJeUZFkEUx4hBahNiLXMgtVVMNpP5fwlivua8alESZOcp2ILGZMC6Mj4WeDLNbBI7JVlIV5TLxEAEKU2PotY2E28AXzleQKPnUGcxfWJ4ETSaqavvW4fcoidQTFeWoFmaIgcRQE2Se0vWtp-7Zccz130k4b7GkxZQqmdM2dO045aeMG1imrK74hXPI-edGeBs-Ny3GyMOUpXoObtwpAi0_-_Iin5Hb3Fu2QrWp1ap6Rm-qsmq1XzxuL-wlHrbpr
linkProvider	Elsevier
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=Semantics+for+consistent+activation+in+context-oriented+systems&rft.jtitle=Information+and+software+technology&rft.au=Cardozo%2C+Nicol%C3%A1s&rft.au=Gonz%C3%A1lez%2C+Sebasti%C3%A1n&rft.au=Mens%2C+Kim&rft.au=Van+Der+Straeten%2C+Ragnhild&rft.date=2015-02-01&rft.pub=Elsevier+Science+Ltd&rft.issn=0950-5849&rft.eissn=1873-6025&rft.volume=58&rft.spage=71&rft_id=info:doi/10.1016%2Fj.infsof.2014.10.002&rft.externalDBID=NO_FULL_TEXT&rft.externalDocID=3510790751
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0950-5849&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0950-5849&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0950-5849&client=summon