A Language for Software Design and its Graphoriented Semantics.

Published in: WG (1983)

Keyphrases

software design
uml diagrams
logical language
uml class diagrams
specification language
software engineering
operational semantics
software systems
logic programming language
object oriented design

intended meaning
design patterns
functional requirements
definition language
formal semantics
software development
highly expressive
programming language
formal language
educational software

action language
fixed point semantics
dynamic logic
conditional logic
conceptual graphs
logic programming
model theoretic
speech acts
proof theory

semantically equivalent
conceptual model
disjunctive logic programming
natural language
aggregate functions
data sets
owl ontologies
semantic information
logic programs