Logics of time and computation
Logics of time and computation
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel program design: a foundation
Parallel program design: a foundation
Constructing Distributed Systems in Conic
IEEE Transactions on Software Engineering
Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Superimposition for interacting processes
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Software Engineering and Methodology (TOSEM)
Correctness and composition of software architectures
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Software architecture: practice, potential, and pitfalls
ICSE '94 Proceedings of the 16th international conference on Software engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
A Classification of Models for Concurrency
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
A Sheaf Semantics for FOOPS Expressions
ECOOP '91 Proceedings of the Workshop on Object-Based Concurrent Computing
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Representing software systems architectures
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Connectors for Mobile Programs
IEEE Transactions on Software Engineering
Algebraic software architecture reconfiguration
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 24th International Conference on Software Engineering
Systematising Reactive System Design
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
On what exactly goes on when software is developed step-by-step, II: the sequel
Information Processing Letters - Special issue: Contribution to computing science
Formal semantic meanings of architecture-centric model mapping
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Categorial semantics of a solution to distributed dining philosophers problem
FAW'10 Proceedings of the 4th international conference on Frontiers in algorithmics
An overview of the mensurae language: specifying business processes
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Hi-index | 0.00 |
It is suggested that Category Theory provides the right level of mathematical abstraction to address languages for describing software architectures. Contrarily to most other formalisations of SA concepts, Category Theory does not promote any particular formalism for component and connector description but provides instead the very semantics of the concepts that are related to the gross modularisation of complex systems like "interconnection", "configuration", "instantiation" and "composition". Two examples, a category of programs for a parallel program design language and a category of temporal logic specifications, together with comparisons with other work, namely by Allen and Garlan, and Moriconi and Qian, are adduced to justify this claim.