Till Mossakowski Lutz Schröder . We extend the coalgebraic account of specification classes in object- oriented programming given by Reichel , refinement of objects Jacobs to ( generalised) binary methods. The usual approach to formally describe a specification is sheet to define an sheet algebra that satisfies the specification. A coalgebraic equational approach to specifying observational structures A coalgebraic equational approach to specifying observational structures A coalgebraic, equational approach to the specification of observational structures allowing for a choice in the sheet result type of observations is presented. Coalgebraic specification sheet. Algebraic- coalgebraic sheet specification in CoCasl. Toggle navigation Swansea University' s Research Repository.
Rosetta is a systems level design language that allows algebraic specification of systems through facets. Class types include products sums powerset type constructors. Expressivity of coalgebraic modal logic: The limits and beyond. While algebraic specification deals with functional behaviour coalgebraic specification in concerned with reactive behaviour modelled by coinductive process types that are observable by selectors, typically using inductive datatypes generated by constructors much in the spirit of automata theory. 0 items; Your Account; Log Out; Login; English; Cymraeg.
While algebraic specification deals with functional behaviour, typically using inductive datatypes generated by constructors, coalgebraic specification is concerned with behaviour modelled by coinductive process types that are observable by selectors, much in the spirit of automata theory. We extend the Reichel- Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to ( generalized) binary methods. These are methods that take more than one parameter of a class type. Class types include sums and ( possibly infinite) products type constructors. Coalgebraic specification and semantics, as used earlier for object- oriented programming, is extended with temporal aspects.
coalgebraic specification sheet
The ( non- temporal) expression s: meth expressing that method meth is applied in state s is extended to an expression where ff is a time parameter. This paper presents the Coalgebraic Class Specification Language ccsl that is developed within the loop project on formal methods for object- oriented languages.