Modal Logics for Reasoning about Object-based Component Composition

Pahl, Claus

doi:10.14236/ewic/iwfm2000.4

Cited by 2 publications

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Components, Contracts, and Connectors for the Unified Modelling Language UML

Pahl

2001

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. The lack of a component concept for the UML is widely acknowledged. Contracts between components can be the starting point for introducing components and component i n terconnections. Contracts between service providers and service users are formulated based on abstractions of action and operation behaviour using the pre-and postcondition technique. A valid contract allows to establish an interconnection -a connector -between the provider and the user. The contract concept supports the re-use of components by providing means to establish and modify component i n terconnections. A exible contract concept shall be based on a re nement relation for operations and classes, derived from operation abstractions. Abstract behaviour, expressed by pre-and postconditions, and re nement are the key elements in the de nition of a formal and exible component and component i n terconnection approach.

show abstract

Components, Contracts, and Connectors for the Unified Modelling Language UML

Pahl

2001

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

Observation and Abstract Behaviour in Specification and Implementation of State-based Systems

Pahl

2001

Electronic Workshops in Computing

Self Cite

View full text Add to dashboard Cite

Classical algebraic specification is an accepted framework for specification. A criticism which applies is the fact that it is functional, not based on a notion of state as most software development and implementation languages are. We formalise the idea of a state-based object or abstract machine using algebraic means. In contrast to similar approaches we consider dynamic logic instead of equational logic as the framework for specification and implementation. The advantage is a more expressive language allowing us to specify safety and liveness conditions. It also allows a clearer distinction of functional and state-based parts which require different treatment in order to achieve behavioural abstraction when necessary. We shall in particular focus on abstract behaviour and observation. A behavioural notion of satisfaction for state-elements is needed in order to abstract from irrelevant details of the state realisation.5th Irish Workshop on Formal Methods IWFM'01

show abstract

Modal Logics for Reasoning about Object-based Component Composition

Cited by 2 publications

References 18 publications

Components, Contracts, and Connectors for the Unified Modelling Language UML

Components, Contracts, and Connectors for the Unified Modelling Language UML

Observation and Abstract Behaviour in Specification and Implementation of State-based Systems

Contact Info

Product

Resources

About