Formal Specification of an Ontology-based Service for EHR Interoperability.
Carolina GonzálezBernd G. M. E. BlobelDiego M. LopezPublished in: MIE (2012)
Keyphrases
- formal specification
- protocol specification
- web services
- model checking
- specification languages
- object oriented design
- specification language
- electronic health records
- reverse engineering
- service oriented
- management system
- metadata
- loose coupling
- process algebra
- formal methods
- software components
- data abstraction
- information systems
- concurrent systems
- service discovery
- service composition
- service providers
- formal specification language
- health records
- business rules
- service oriented architecture
- real world
- user interface
- databases