HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents.
Barry G. SilvermanOleg SokolskyVal TannenAlex WongLance LangAllan KhouryKeith E. CampbellChen QiangArnaud SahuguetPublished in: AMIA (1999)
Keyphrases
- formal methods
- decision support
- product configuration
- decision support system
- safety critical
- formal analysis
- open systems
- reactive systems
- decision making
- multi agent systems
- development lifecycle
- knowledge based systems
- cooperative
- formal specification
- model checking
- agent architecture
- multi agent
- artificial intelligence
- open standards
- intelligent agents
- business intelligence
- decision makers
- expert systems
- model checker
- process algebra
- software engineering
- data warehouse
- modeling language
- knowledge discovery
- formal specification language
- manufacturing systems
- software agents
- web services
- petri net
- knowledge acquisition
- clinical guidelines
- open source
- case based reasoning
- data model
- data mining
- database