Encapsulation and inheritance in object-oriented programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Eiffel: the language
Coordination languages and their significance
Communications of the ACM
Elements of interaction: Turing award lecture
Communications of the ACM
A calculus of mobile processes, I
Information and Computation
Reusable software: the Base object-oriented component libraries
Reusable software: the Base object-oriented component libraries
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object structures: building object-oriented software components with Eiffel
Object structures: building object-oriented software components with Eiffel
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
A coordination language for mobile components
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
A transition system semantics for the control-driven coordination language MANIFOLD
Theoretical Computer Science
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
Asynchronous process calculi: the first-and higher-order paradigms
Theoretical Computer Science - Special issues on models and paradigms for concurrency
JML (poster session): notations and tools supporting detailed design in Java
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
The algebra of stream processing functions
Theoretical Computer Science
Composing crosscutting concerns using composition filters
Communications of the ACM
A really abstract concurrent model and its temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Professional Dcom Programming
Professional Jini
Reusable Specification Components
MFCS '88 Proceedings of the Mathematical Foundations of Computer Science 1988
Coalgebraic Specifications and Models of Determinatistic Hybrid Systems
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Inheritance and Cofree Constructions
ECCOP '96 Proceedings of the 10th European Conference on Object-Oriented Programming
The IWIM Model for Coordination of Concurrent Activities
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Coordination through Channel Composition
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
An Extended Static Checker for Modular-3
CC '98 Proceedings of the 7th International Conference on Compiler Construction
A Formal Method for the Systematic Reuse of Specification Components
Method of Programming, Selected Papers on the CIP-Project
Towards a Uniform Topological Treatment of Streams and Functions on Streams
Proceedings of the 12th Colloquium on Automata, Languages and Programming
Modeling Dynamic Component Interfaces
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
Applying Enterprise JavaBeans: Component-Based Development for the J2EE Platform
Applying Enterprise JavaBeans: Component-Based Development for the J2EE Platform
Automata and coinduction (an exercise in coalgebra)
Automata and coinduction (an exercise in coalgebra)
Automata, power series, and coinduction: taking input derivatives seriously (extended abstract)
Automata, power series, and coinduction: taking input derivatives seriously (extended abstract)
Coalgebra, concurrency, and control
Coalgebra, concurrency, and control
Universal coalgebra: a theory of systems
Universal coalgebra: a theory of systems
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002: Revised Lectures (Lecture Notes in Computer Science, 2852)
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Connector colouring I: Synchronisation and context dependency
Science of Computer Programming
The algebra of connectors: structuring interaction in BIP
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Compositional failure-based semantic equivalences for Reo specifications
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Causality interfaces for actor networks
ACM Transactions on Embedded Computing Systems (TECS)
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Journal of Systems and Software
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Causal Semantics for the Algebra of Connectors
Formal Methods for Components and Objects
Interfaces of active objects with internal concurrency
Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
The ARC Programming Model -- Language Constructs for Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
Automata for Context-Dependent Connectors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Compositional Failure-based Equivalence of Constraint Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Interaction in Normative Multi-Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
The Role of Agent Interaction in Models of Computing: Panelist Reviews
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Connector Colouring I: Synchronisation and Context Dependency
Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Engineering Interactions in Java-based Component Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Composite connectors for composing software components
SC'07 Proceedings of the 6th international conference on Software composition
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
Verifying trace inclusion between an experimental frame and a model
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
How far can enterprise modeling for banking be supported by graph transformation?
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Channel-based coordination via constraint satisfaction
Science of Computer Programming
Specifying and verifying organizational security properties in first-order logic
Verification, induction termination analysis
Specifying and verifying organizational security properties in first-order logic
Verification, induction termination analysis
Model feasible interactions in distributed real-time systems
Formal modeling
Formal modeling
Concurrent semantics without the notions of state or state transitions
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Internal and external token-based synchronization in object-oriented languages
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
A new component-oriented programming language with the first-class connector
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
A model of context-dependent component connectors
Science of Computer Programming
Defining “predictable assembly”
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Stochastic reasoning about channel-based component connectors
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Software engineering techniques for the development of systems of systems
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Bridging agent theory and object orientation: importing social roles in object oriented languages
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Towards a formal foundation of behavioral types for UML state-machines
ACM SIGSOFT Software Engineering Notes
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Behavioral specification based runtime monitors for OSGi services
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs
ACM Transactions on Embedded Computing Systems (TECS)
Journal of Visual Languages and Computing
Hi-index | 0.00 |
The notion of Abstract Data Type (ADT) has served as a foundation model for structured and object oriented programming for some thirty years. The current trend in software engineering toward component based systems requires a foundation model as well. The most basic inherent property of an ADT, i.e., that it provides a set of operations, subverts some highly desirable properties in emerging formal models for components that are based on the object oriented paradigm.We introduce the notion of Abstract Behavior Type (ABT) as a higher-level alternative to ADT and propose it as a proper foundation model for both components and their composition. An ABT defines an abstract behavior as a relation among a set of timed-data-streams, without specifying any detail about the operations that may be used to implement such behavior or the data types it may manipulate for its realization. The ABT model supports a much looser coupling than is possible with the ADT's operational interface, and is inherently amenable to exogenous coordination. We propose that both of these are highly desirable, if not essential, properties for models of components and their composition.To demonstrate the utility of the ABT model, we describe Reo: an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. We show the expressive power of Reo, and the applicability of ABT, through a number of examples.