Automatic Translation from Textual Representations of Laws to Formal Models through UML.
Pietro MercataliFrancesco RomanoLuciano BoschiEmilio SpinicciPublished in: JURIX (2005)
Keyphrases
- formal models
- class diagram
- formal model
- rule based systems
- process model
- visual representations
- database design
- software systems
- software development
- conceptual modeling
- software engineering
- object oriented
- causal inferences
- metamodel
- unified modeling language
- object oriented modeling
- formal methods
- data analysis
- natural language
- artificial intelligence
- symbolic representation
- real time
- error rate
- expert systems
- intermediate representation
- sequence diagrams
- state machine
- keywords
- class diagrams
- neural network