Towards an Institutional Framework for Heterogeneous Formal Development in UML

DOI10.1007/978-3-319-15545-6_15zbMath1453.68107arXiv1403.7747OpenAlexW69851487MaRDI QIDQ5256350

Markus Roggenbach, Alexander Knapp, Till Mossakowski

Publication date: 22 June 2015

Published in: Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1403.7747

zbMATH Keywords

institutionsUMLheterogeneous formal methods

Mathematics Subject Classification ID

Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65)

Related Items (2)

The Distributed Ontology, Modeling and Specification Language – DOL ⋮ Institution-based encoding and verification of simple UML state machines in CASL/SPASS

Uses Software

• CASL
• ACSL
• Hets
• EPK-fix

Cites Work

• Unnamed Item
• Foundations of algebraic specification and formal software development.
• Grothendieck institutions
• Institution morphisms
• Specification and refinement of mobile systems in MTLA and mobile UML
• A formal approach to object-oriented software engineering
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Development graphs -- proof management for structured specifications
• Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl
• Semantics of the Distributed Ontology Language: Institutes and Institutions
• Views on Behaviour Protocols and Their Semantic Foundation
• Categories for Software Engineering
• What Is a Multi-modeling Language?
• A Heterogeneous Approach to UML Semantics
• Institutions: abstract model theory for specification and programming
• Recent Trends in Algebraic Development Techniques

This page was built for publication: Towards an Institutional Framework for Heterogeneous Formal Development in UML