Composition for component-based modeling

Gößler, Gregor; Sifakis, Joseph

doi:10.1016/j.scico.2004.05.014

Cited by 167 publications

(46 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The functionality of components is separated from their communication mechanisms, as is advocated by many researchers [Keutzer et al 2000;Goessler and Sifakis 2005]. Moreover, actor-oriented abstractions can embrace time and concurrency, and therefore match much better the modeling of embedded systems, which are intrinsically concurrent.…”

Section: Software Componentsmentioning

confidence: 99%

Classes and inheritance in actor-oriented design

Lee

Liu

Neuendorffer

2009

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

Actor-oriented components emphasize concurrency and temporal semantics and are used for modeling and designing embedded software and hardware. Actors interact with one another through ports via a messaging schema that can follow any of several concurrent semantics. Domainspecific actor-oriented languages and frameworks are common (Simulink, LabVIEW, SystemC, etc.). However, they lack many modularity and abstraction mechanisms that programmers have become accustomed to in object-oriented components, such as classes, inheritance, interfaces, and polymorphism, except as inherited from the host language. This paper shows a form that such mechanisms can take in actor-oriented components, gives a formal structure, and describes a prototype implementation. The mechanisms support actor-oriented class definitions, subclassing, inheritance, and overriding. The formal structure imposes structural constraints on a model (mainly the "derivation invariant") that lead to a policy to govern inheritance. In particular, the structural constraints permit a disciplined form of multiple inheritance with unambiguous inheritance and overriding behavior. The policy is based formally on a generalized ultrametric space with some remarkable properties. In this space, inheritance is favored when actors are "closer" (in the generalized ultrametric), and we show that when inheritance can occur from multiple sources, one source is always unambiguously closer than the other.

show abstract

Section: Software Componentsmentioning

confidence: 99%

Classes and inheritance in actor-oriented design

Lee

Liu

Neuendorffer

2009

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

show abstract

“…Dynamic priorities [9,10] were used in the IF tool to eliminate asynchrony and to represent particular execution semantics. We also developed BIP [4,8], a framework for component composition which allows to model and efficiently analyse systems combining synchronous interaction, rendez-vous, and UML like communication and execution modes in a structural way.…”

Section: Lessons Learned and Perspectivesmentioning

confidence: 99%

OMEGA: correct development of real time and embedded systems

Graf

2008

Softw Syst Model

View full text Add to dashboard Cite

“…In interaction models of [GS05], a#b holds (implicitly) whenever a·b = a b is not explicitly defined. Here, we can avoid the definition of an explicit interaction a · b when a and b are independent; such interactions are implicitly captured by a b in cl(Σ).…”

Section: Specifications and Their Semanticsmentioning

confidence: 99%

“…We consider a framework where a system is a hierarchically structured set of components. For this purpose, we extend the component framework BIP [GS05,BBS06] and in particular its instance based on hierarchical connectors [BS07] to a framework for hierarchical components enriched with contracts as defined in the SPEEDS project [BC07 + ]. In the BIP framework, components interact through ports typed by trig or sync and are connected via hierarchical n-ary connectors which are typed in the same way as ports.…”

Section: Introductionmentioning

confidence: 99%

Contracts for BIP: Hierarchical Interaction Models for Compositional Verification

Graf

Quinton

2007

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. This paper presents an extension of the BIP component framework to hierarchical components by considering also port sets of atomic components to be structured (ports may be in conflict or ordered, where a larger port represents an interaction set with larger interactions). A composed component consisting of a set of components connected through BIP connectors and a set of ports representing a subset of the internal connectors and ports, has two semantics: one in terms if interactions as defined by the BIP semantics, and one in terms of the actions represented by external ports where the structure of the port set of the component is derived from the internal structure of the component.A second extension consists in the addition of implicit interactions which is done through an explicit distinction of conflicting and concurrent ports: interactions involving only non conflicting ports can be executed concurrently without the existence of an explicit connector.Finally, we define contract-based reasoning for component hierarchies.

show abstract

Composition for component-based modeling

Cited by 167 publications

References 12 publications

Classes and inheritance in actor-oriented design

Classes and inheritance in actor-oriented design

OMEGA: correct development of real time and embedded systems

Contracts for BIP: Hierarchical Interaction Models for Compositional Verification

Contact Info

Product

Resources

About