Architectural Specifications: Modeling and Structuring Behavior Through Rules (original) (raw)
Related papers
On the Horizontal Dimension of Software Architecture in Formal Specifications of Reactive Systems
Foundations of Aspect-Oriented Languages, 2004
A framework and Patterns for the Specification of Reactive Systems
Information and Software Technology, 1998
A Framework and Patterns for the Support of Reactive Specifications
cse.wustl.edu
An object-oriented dual language for specifying reactive systems
1994
A logic for the stepwise development of reactive systems
Theoretical Computer Science, 2018
DisCo Specification Language: Marriage of Actions and Objects
1991
A novel paradigm for programming reactive systems centered on naturally specified modular behavior
Specifying Reactive Systems through the Object-Process Methodology
1998
BDL, a language of distributed reactive objects
Z. Bouziane, Albert Benveniste
Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998
Reactive systems: modelling, specification and verification
2007
A specification idiom for reactive systems
2009
Temporal theories as modularisation units for concurrent system specification
Formal Aspects of Computing, 1992
Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study
Studies in Computational Intelligence, 2009
A formal approach for the development of reactive systems
Information and Software Technology, 2011
A Logical Characterization of a Reactive System Language
Lecture Notes in Computer Science, 2014
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
Lecture Notes in Computer Science, 2016
Behavior Models and Composition for Software and Systems Architecture
ICSSEA 2012, 24th International Conference on SOFTWARE & SYSTEMS ENGINEERING and their APPLICATIONS, Telecom ParisTech, Paris, October 23-25, 2012
Hybrid Specification of Reactive Systems: An Institutional Approach
Lecture Notes in Computer Science, 2011
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
The Journal of Object Technology, 2008
Behavior protocols for software components
IEEE Transactions on Software Engineering, 2002
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
Electronic Notes in Theoretical Computer Science, 2004
Towards formalizing behavioral substitutability in component frameworks
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., 2004
The DisCo language and temporal logic of actions
1990
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Lecture Notes in Computer Science, 2006
Behavioural semantics for asynchronous components
Journal of Logical and Algebraic Methods in Programming, 2017
Towards a Formal Semantics for Autonomic Components
From Grids To Service and Pervasive Computing (Proc. of the CoreGRID Symposium 2008), Las Palmas, Spain, 2008, pp. 31-45. doi:10.1007/978-0-387-09455-7_3 , 2008
A language for behavioural modelling of architectural patterns
Proceedings of the Third Workshop on Behavioural Modelling - BM-FA '11, 2011
A Formalism for the Specification of Operationally Embedded Reactive Systems
INCOSE International Symposium, 1995