Behaviour, Interaction and Dynamics

The growth and diffusion of reconfigurable and adaptive systems motivate the foundational study of models of software connectors that can evolve dynamically, as opposed to the better understood notion of static connectors. In this paper we investigate the interplay of behaviour, interaction and dyna...

Full description

Saved in:
Bibliographic Details
Published inSpecification, Algebra, and Software Vol. 8373; pp. 382 - 401
Main Authors Bruni, Roberto, Melgratti, Hernán, Montanari, Ugo
Format Book Chapter
LanguageEnglish
Published Germany Springer Berlin / Heidelberg 2014
Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Atomic Component
Dynamic Transition
Operational Semantic
Pairwise Disjoint
Static Port
Online AccessGet full text
ISBN3642546234
9783642546235
ISSN0302-9743
1611-3349
DOI10.1007/978-3-642-54624-2_19

Cover

Abstract The growth and diffusion of reconfigurable and adaptive systems motivate the foundational study of models of software connectors that can evolve dynamically, as opposed to the better understood notion of static connectors. In this paper we investigate the interplay of behaviour, interaction and dynamics in the context of the BIP component framework, here denoted BI(P), as we disregard priorities. We introduce two extensions of BIP: 1)  reconfigurable BI(P) allows to reconfigure the set of admissible interactions, while preserving the set of interacting components; 2) dynamic BI(P) allows to spawn new components and interactions during execution. Our main technical results show that reconfigurable BI(P) is as expressive as BI(P), while dynamic BI(P) allows to deal with infinite state systems. Still, we show that reachability remains decidable for dynamic BI(P).
AbstractList The growth and diffusion of reconfigurable and adaptive systems motivate the foundational study of models of software connectors that can evolve dynamically, as opposed to the better understood notion of static connectors. In this paper we investigate the interplay of behaviour, interaction and dynamics in the context of the BIP component framework, here denoted BI(P), as we disregard priorities. We introduce two extensions of BIP: 1)  reconfigurable BI(P) allows to reconfigure the set of admissible interactions, while preserving the set of interacting components; 2) dynamic BI(P) allows to spawn new components and interactions during execution. Our main technical results show that reconfigurable BI(P) is as expressive as BI(P), while dynamic BI(P) allows to deal with infinite state systems. Still, we show that reachability remains decidable for dynamic BI(P).
Author Bruni, Roberto
Melgratti, Hernán
Montanari, Ugo
Author_xml – sequence: 1
  givenname: Roberto
  surname: Bruni
  fullname: Bruni, Roberto
  organization: Dipartimento di Informatica, Università di Pisa, Italy
– sequence: 2
  givenname: Hernán
  surname: Melgratti
  fullname: Melgratti, Hernán
  organization: Departamento de Computación, FCEyN, Universidad de Buenos Aires - Conicet, Argentina
– sequence: 3
  givenname: Ugo
  surname: Montanari
  fullname: Montanari, Ugo
  organization: Dipartimento di Informatica, Università di Pisa, Italy
BookMark eNpFkEtPwzAQhA0URFr6DzhE4orB9vqVI5RXpUpc4Gw5jk0DxQlxisS_J2mROO1qRrOrb6ZoEpvoETqn5IoSoq4LpTFgyRkWXDKOmaHFAZrCoOwEdogyKinFALw4-jeAT1BGgDBcKA4nKNMKCsGIoqdontI7IYRSrQToDF3c-rX9rpttd5kvY-876_q6ibmNVX73E-1n7dIZOg52k_z8b87Q68P9y-IJr54fl4ubFW6p0AV2jBGtnYRSOBGsLIO242NLQxDWS0lL4XVwEGRVDqsPRGmvNNUhsKqSMENsfze1XR3ffGfKpvlIhhIz9mGGPgyYAdLs8M3YxxDi-1DbNV9bn3rjx5Tzse_sxq1tO0AlA6QAwcAwIQ0nBH4BkOdfzA
ContentType Book Chapter
Copyright Springer-Verlag Berlin Heidelberg 2014
Copyright_xml – notice: Springer-Verlag Berlin Heidelberg 2014
DBID FFUUA
DEWEY 005.1
DOI 10.1007/978-3-642-54624-2_19
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 3642546242
9783642546242
EISSN 1611-3349
Editor Iida, Shusaku
Ogata, Kazuhiro
Meseguer, José
Editor_xml – sequence: 1
  fullname: Iida, Shusaku
– sequence: 2
  fullname: Ogata, Kazuhiro
– sequence: 3
  fullname: Meseguer, José
EndPage 401
ExternalDocumentID EBC3093523_256_400
GroupedDBID 0D6
0DA
2HV
38.
A0U
A3-
AABBV
AAPCR
ABBVZ
ABFTD
ABMNI
ACKEY
ACTXJ
AEDXK
AEJLV
AEKFX
AETDV
AEZAY
AHJUR
ALMA_UNASSIGNED_HOLDINGS
ANZUN
AZZ
BBABE
BZAQK
CZZ
FFUUA
I4C
IEZ
MA.
SBO
TPJZQ
TSXQS
Z83
Z88
-DT
-GH
-~X
1SB
29L
2HA
5QI
875
AASHB
ACGFS
ADCXD
AEFIE
EJD
F5P
FEDTE
HVGLF
LAS
LDH
P2P
RIG
RNI
RSU
SVGTG
VI1
~02
ID FETCH-LOGICAL-p1589-c22088c63b5c5fa6bf8a7395a1ff5ae661b5e8fc3f6dbb5eef078e7818ff2dd63
ISBN 3642546234
9783642546235
ISSN 0302-9743
IngestDate Tue Jul 29 20:07:43 EDT 2025
Thu May 29 16:25:50 EDT 2025
IsPeerReviewed true
IsScholarly true
LCCallNum QA75.5-76.95
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-p1589-c22088c63b5c5fa6bf8a7395a1ff5ae661b5e8fc3f6dbb5eef078e7818ff2dd63
Notes Research supported by the EU Integrated Project 257414 ASCENS, the Italian MIUR Project CINA (PRIN 2010/11), ANPCyT Project BID-PICT-2008-00319, and EU FP7-project MEALS 295261.
OCLC 873952071
PQID EBC3093523_256_400
PageCount 20
ParticipantIDs springer_books_10_1007_978_3_642_54624_2_19
proquest_ebookcentralchapters_3093523_256_400
PublicationCentury 2000
PublicationDate 2014
PublicationDateYYYYMMDD 2014-01-01
PublicationDate_xml – year: 2014
  text: 2014
PublicationDecade 2010
PublicationPlace Germany
PublicationPlace_xml – name: Germany
– name: Berlin, Heidelberg
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSubtitle Essays Dedicated to Kokichi Futatsugi
PublicationTitle Specification, Algebra, and Software
PublicationYear 2014
Publisher Springer Berlin / Heidelberg
Springer Berlin Heidelberg
Publisher_xml – name: Springer Berlin / Heidelberg
– name: Springer Berlin Heidelberg
RelatedPersons Kleinberg, Jon M.
Mattern, Friedemann
Nierstrasz, Oscar
Steffen, Bernhard
Kittler, Josef
Vardi, Moshe Y.
Weikum, Gerhard
Sudan, Madhu
Naor, Moni
Mitchell, John C.
Terzopoulos, Demetri
Pandu Rangan, C.
Kanade, Takeo
Hutchison, David
Tygar, Doug
RelatedPersons_xml – sequence: 1
  givenname: David
  surname: Hutchison
  fullname: Hutchison, David
  organization: Lancaster University, Lancaster, UK
– sequence: 2
  givenname: Takeo
  surname: Kanade
  fullname: Kanade, Takeo
  organization: Carnegie Mellon University, Pittsburgh, USA
– sequence: 3
  givenname: Josef
  surname: Kittler
  fullname: Kittler, Josef
  organization: University of Surrey, Guildford, UK
– sequence: 4
  givenname: Jon M.
  surname: Kleinberg
  fullname: Kleinberg, Jon M.
  organization: Cornell University, Ithaca, USA
– sequence: 5
  givenname: Friedemann
  surname: Mattern
  fullname: Mattern, Friedemann
  organization: ETH Zurich, Zurich, Switzerland
– sequence: 6
  givenname: John C.
  surname: Mitchell
  fullname: Mitchell, John C.
  organization: Stanford University, Stanford, USA
– sequence: 7
  givenname: Moni
  surname: Naor
  fullname: Naor, Moni
  organization: Weizmann Institute of Science, Rehovot, Israel
– sequence: 8
  givenname: Oscar
  surname: Nierstrasz
  fullname: Nierstrasz, Oscar
  organization: University of Bern, Bern, Switzerland
– sequence: 9
  givenname: C.
  surname: Pandu Rangan
  fullname: Pandu Rangan, C.
  organization: Indian Institute of Technology, Madras, India
– sequence: 10
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
  organization: University of Dortmund, Dortmund, Germany
– sequence: 11
  givenname: Madhu
  surname: Sudan
  fullname: Sudan, Madhu
  organization: Massachusetts Institute of Technology, USA
– sequence: 12
  givenname: Demetri
  surname: Terzopoulos
  fullname: Terzopoulos, Demetri
  organization: University of California, Los Angeles, USA
– sequence: 13
  givenname: Doug
  surname: Tygar
  fullname: Tygar, Doug
  organization: University of California, Berkeley, USA
– sequence: 14
  givenname: Moshe Y.
  surname: Vardi
  fullname: Vardi, Moshe Y.
  organization: Rice University, Houston, USA
– sequence: 15
  givenname: Gerhard
  surname: Weikum
  fullname: Weikum, Gerhard
  organization: Max-Planck Institute of Computer Science, Saarbrücken, Germany
SSID ssj0001187538
ssj0002792
Score 1.9936059
Snippet The growth and diffusion of reconfigurable and adaptive systems motivate the foundational study of models of software connectors that can evolve dynamically,...
SourceID springer
proquest
SourceType Publisher
StartPage 382
SubjectTerms Atomic Component
Dynamic Transition
Operational Semantic
Pairwise Disjoint
Static Port
Title Behaviour, Interaction and Dynamics
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=3093523&ppg=400
http://link.springer.com/10.1007/978-3-642-54624-2_19
Volume 8373
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEF60XsSDb6wvAnqrkTx28zhqqZSinlrpbcludrxVaVMEf72zyaZ5kEu9hLAkYTNfmMzO7PcNIfdhmEbAfLABhLCpEg76QZFiIOeAHydOEOfNJt7eg_GMTuZsXnX3zNklmXiUv528kv-gimOIq2bJboHs5qE4gOeILx4RYTy2gt9mmrXgcOjO8WBSbgVX5VNXgav9mJD9JMvGR2HUENfLwjVo9rFpFa43JBfN6RuJAJe2EgFlInBgdLK06nmXVlbO26BaBt8rhEJKP4hLVb_Tqdb3UeCdtr6V2h43vq6hYU0dpzmY_ypHz8O84ur5HEMsjhftkt0wYj2y9zSavH5UWTFXr58iTcIp51ioN9bmXCNAds2psVRoVbfzoGF6RA40kcTSDA-c5THZUYsTcli20bCMVz0ldxtUHqwaJhZiYpWYnJHZy2g6HNumd4X97bIotqXnof-WgS-YZJAEAqJE10QTF4AlCqMiwVQE0ocgFXiqAGM1FWL4BOClaeCfk97ia6EuiOUFoGUHRYrOlQoZRbGSSSBjRpM0TBntE7t8YZ5X2M22Xlm83oq3TN8ng9IqXF--4qV0NZqT-xzNyXNzcm3Oyy2ffkX2q4_zmvSy5VrdYNyWiVsD9h_51Ttv
linkProvider Library Specific Holdings
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%3Abook&rft.genre=bookitem&rft.title=Specification%2C+Algebra%2C+and+Software&rft.atitle=Behaviour%2C+Interaction+and+Dynamics&rft.date=2014-01-01&rft.pub=Springer+Berlin+%2F+Heidelberg&rft.isbn=9783642546235&rft.volume=8373&rft_id=info:doi/10.1007%2F978-3-642-54624-2_19&rft.externalDBID=400&rft.externalDocID=EBC3093523_256_400
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F3093523-l.jpg