Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
An overview of Manifold and its implementation
Concurrency: Practice and Experience
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Design, implementation, and evaluation of a software-based real-time Ethernet protocol
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
Coordination models and languages as software integrators
ACM Computing Surveys (CSUR)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
A process algebraic view of Linda coordination primitives
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
The discrete time TOOLBUS—a software coordination architecture
Science of Computer Programming
A transition system semantics for the control-driven coordination language MANIFOLD
Theoretical Computer Science
Communication and Concurrency
On the Expressiveness of Event Notification in Data-Driven Coordination Languages
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Process Calculi for Coordination: From Linda to JavaSpaces
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
The Concurrency Factory Software Development Environment
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Statecharts Via Process Algebra
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
A Compositional Semantics for Statecharts using Labeled Transition Systems
CONCUR '94 Proceedings of the Concurrency Theory
A Process Algebraic Semantics for Statecharts via State Refinement
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
The Concurrency Factory: A Development Environment for Concurrent Systems
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Practical Considerations in Protocol Verification: The E-2C Case Study
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Performance Analysis of Software Architectures via a Process Algebraic Description Language
Performance Analysis of Software Architectures via a Process Algebraic Description Language
IBM Systems Journal
VCD: a visual formalism for specification of heterogeneous software architectures
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Hi-index | 0.00 |
We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represents a coordination model based on process algebra. Its coordination laws, given as a structural operational semantics, allow one to infer atomic system transitions on the basis of transitions taken by system components. We illustrate the language's utility by exhibiting a GCCS-coordinated specification of the Rether real-time ethernet protocol. The specification contains both graphical and textual components.