Defining an Ontology for the Formal Requirements Engineering of Manufacturing Systems.
Michaël PetitEric DuboisPublished in: ICEIMT (1997)
Keyphrases
- manufacturing systems
- requirements engineering
- requirements specification
- software engineering
- goal oriented
- life cycle
- systems engineering
- manufacturing environment
- software development
- petri net
- quality control
- automotive industry
- manufacturing processes
- software requirements
- requirements elicitation
- complex systems
- shop floor
- requirements engineering process
- development process
- manufacturing cell
- security requirements
- manufacturing enterprises
- business process
- knowledge base
- activity diagrams
- artificial intelligence
- manufacturing process
- formal methods
- information systems
- systems development
- holonic manufacturing systems
- knowledge representation