Knowledge representation of the software architecture design process based on situation calculus.
María Luciana RoldánSilvio GonnetHoracio Pascual LeonePublished in: Expert Syst. J. Knowl. Eng. (2013)
Keyphrases
- software architecture
- design process
- situation calculus
- knowledge representation
- event calculus
- description language
- conceptual design
- initial state
- design decisions
- life cycle
- action theories
- software engineering
- distributed systems
- engineering design
- reasoning about actions
- software systems
- product design
- case study
- knowledge base
- natural language
- expert systems
- artificial intelligence
- logic programming
- concurrent actions
- fluent calculus
- development process
- architectural design
- modal logic
- knowledge based systems
- software development
- knowledge engineering
- knowledge acquisition
- automated reasoning
- user interface
- creative design
- design processes
- functional requirements
- design patterns
- design principles
- decision making
- reverse engineering
- detailed design
- building blocks
- concurrent engineering
- description logics