Towards Multiple Access in Generic Component Architectures

Authors:
M. Klein;J. Padberg;F. Orejas
Affiliations:
Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany;Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany;Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Barcelona, Spain
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 16
Cited 1

SARA (system architects apprentice): modeling, analysis, and simulation support for design of concurrent systems

IEEE Transactions on Software Engineering
Elementary net systems

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
Dynamic structure in software architectures

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Categorical semantics of parallel program design

Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
A Generic Component Framework for System Modeling

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Specifying Distributed Software Architectures

Proceedings of the 5th European Software Engineering Conference
Specifying and Verifying Reconfigurable Software Architectures

PDSE '00 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Formal Specification of Mixed Components with Korrigan

APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
A survey of self-management in dynamic software architecture specifications

WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
A Transformation-Based Component Framework For A Generic Integrated Modeling Technique

Journal of Integrated Design & Process Science - Component-Based System Development
Petri Net Modules

Journal of Integrated Design & Process Science - Component-Based System Development
Object-Oriented Connector-Component Architectures

Electronic Notes in Theoretical Computer Science (ENTCS)
A Generic Framework for Connector Architectures based on Components and Transformations

Electronic Notes in Theoretical Computer Science (ENTCS)

A Generic Approach to Connector Architectures Part I: The General Framework

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper introduces an abstract framework for the specification of components with multiple require and provide interfaces that allows the specification of multiple access to a single provide interface. This framework can be regarded as a generalization of abstract hierarchical and connector-based component specification approaches. The main ideas are clarified in a sample specification, a component architecture for a web browser suite. For this, elementary nets are applied and are shown to be an instantiation of the abstract framework.