Tag machines

Authors:
Albert Benveniste;Benoît Caillaud;Luca P. Carloni;Alberto Sangiovanni-Vincentelli
Affiliations:
Irisa/Inria, Campus de Beaulieu, cedex, France;Irisa/Inria, Campus de Beaulieu, cedex, France;Columbia University, New York, NY;U.C. Berkeley, Berkeley, CA
Venue:
Proceedings of the 5th ACM international conference on Embedded software
Year:
2005

Citing 7
Cited 5

Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Deciding Properties for Message Sequence Charts

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
HMSCs as partial specifications ... with PNs as completions

Modeling and verification of parallel processes
Concurrency in Synchronous Systems

ACSD '04 Proceedings of the Fourth International Conference on Application of Concurrency to System Design
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)

Proceedings of the 4th ACM international conference on Embedded software
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications

ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
A framework for comparing models of computation

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

42: programmable models of computation for a component-based approach to heterogeneous embedded systems

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling

Models in Software Engineering
Exploring Multi-Paradigm Modeling Techniques

Simulation
A tag machine based performance evaluation method for job-shop schedules

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
An industrial system engineering process integrating model driven architecture and model based design

MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagged systems, a behavioral (denotational) framework. in this paper, we present an operational view of tagged systems, where we focus on tag machines as mathematical artifacts that act as finitary generators of tagged systems. Properties of tag machines are investigated. A fundamental theorem on homogeneous compositionality is given as a first step towards an operational theory of heterogeneous systems.