Foundations of Heterogeneous Specification

Foundations of Heterogeneous Specification

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Till Mossakowski

Citations:

9 - 2 self

BibTeX

@MISC{Mossakowski_foundationsof,
    author = {Till Mossakowski},
    title = {Foundations of Heterogeneous Specification},
    year = {}
}

Bookmark

OpenURL

Abstract

We provide a semantic basis for heterogeneous specifications that not only involve different logics, but also different kinds of translations between these. We show that Grothendieck institutions based on spans of (co)morphisms can serve as a unifying framework providing a simple but powerful semantics for heterogeneous specification.

Citations

1009	Temporal and modal logic - Emerson - 1990
532	The Theory and Practice of Concurrency - Roscoe - 1998
425	Institutions: Abstract model theory for specification and programming - Goguen, Burstall - 1992
160	General logics - Meseguer - 1989
156	Using branching time temporal logic to synthesize synchronization skeletons - Emerson, Clarke - 1982
134	Toward formal development of programs from algebraic specification revisited - Sanella, Tarlecki - 1988
84	Specifications in an arbitrary institution - Sannella, Tarlecki - 1988
79	P.: Logical support for modularisation - Diaconescu, Stefaneas - 1993
58	Rewriting as a unified model of concurrency - Meseguer - 1990
51	Institution morphisms - Goguen, Ro¸su - 2002
47	Moving between logical systems - Tarlecki - 1998
44	I borrow your logic? (Transporting logical structures along maps - Cerioli, Meseguer
43	CoFI: The Common Framework Initiative for Algebraic Specification and Development - Mosses - 1997
42	The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible from http://www.brics.dk/Projects/CoFI - CoFI
37	Fundamentals of Algebraic Specification 2 - Ehrig, Mahr - 1990
34	Towards an Evolutionary Formal Software-Development Using CASL - Autexier, Hutter, et al. - 1999
31	An implementation-oriented semantics for module composition - Goguen, Tracz
30	Relating casl with other specification languages: the institution level - MOSSAKOWSKI
29	Logical systems for structured specifications - BORZYSZKOWSKI - 2002
26	Institution morphisms. Formal aspects of computing 13 - GOGUEN, ¸SU, et al. - 2002
26	CSP-CASL: A new integration of process algebra and algebraic specification - Roggenbach
26	Extra theory morphisms for institutions: logical semantics for multiparadigm languages - Diaconescu - 1998
25	Towards heterogeneous specifications - Tarlecki - 2000
22	Relationships between Logical Formalisms - Cerioli - 1993
21	Static semantic analysis and theorem proving for Casl - Mossakowski, Kolyang, et al. - 1997
20	Comorphism-based grothendieck logics - Mossakowski - 2002
19	Grothendieck institutions. Applied categorical structures - Diaconescu - 2002
19	CASL-CHART: A Combination of Statecharts and the Algebraic Specification Language CASL - Reggio, Repetto
18	Relationships between logical frameworks - Astesiano, Cerioli - 1993
17	Equivalences among various logical frameworks of partial algebras - Mossakowski - 1995
17	Integrating Hol-Casl into the development graph manager Maya - Autexier, Mossakowski - 2002
16	Unifying theories in different institutions - Arrais, Fiadeiro - 1996
15	Extending development graphs with hiding - Mossakowski, Autexier, et al. - 2005
14	Structured theories and institutions - Durán, Meseguer - 2003
14	A soft stairway to institutions - Salibra, Scollo - 1993
14	From abstract data types to logical frameworks - Meseguer, Mart'i-Oliet - 1995
13	CASL-LTL — a Casl extension for dynamic reactive systems - Reggio, Astesiano, et al. - 2000
12	Information Processing Systems -- Open Systems Interconnection -- LOTOS -- A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour - Brinksma - 1989
11	Heterogeneous development graphs and heterogeneous borrowing - Mossakowski - 2002
11	State-based extension of casl - Baumeister, Zamulin - 2000
10	Feature interactions: A mixed semantic model approach - Gibson, Mermet, et al. - 1997
9	Speci in an arbitrary institution - Sannella, Tarlecki - 1988
8	A Validation Environment for LOTOS”. In - Ghribi, Logrippo - 1993
7	Equivalence and difference of institutions: Simulating horn clause logic with based algebras - Kreowski, Mossakowski - 1995
6	Interpolation and compactness in categories of preinstitutions - Salibra, Scollo - 1996
6	Logical Semantics of CafeOBJ - Diaconescu, Futatsugi - 1996
6	Relating CASL with other speci languages: the institution level - Mossakowski - 2002
5	On the engineering of logics - Scollo - 1993
5	Unifying theories in dierent institutions - Arrais, Fiadeiro - 1996
5	Logical systems for structured speci - Borzyszkowski - 2002