Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model.
Dalay Israel de Almeida PereiraSana DebbechMatthieu PerinPhilippe BonSimon Collart DutilleulPublished in: ER (2019)
Keyphrases
- conceptual model
- formal specification
- model checking
- data model
- object oriented design
- process algebra
- high level
- specification language
- formal methods
- query language
- data warehouse
- conceptual models
- reverse engineering
- entity relationship
- data abstraction
- concurrent systems
- conceptual data model
- object oriented
- conceptual modeling
- behavioral models
- domain ontology
- knowledge base
- data sets
- software components
- software engineering
- expert systems
- architectural model