Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models.
Aneesh KrishnaSergiy A. VilkomirAditya K. GhosePublished in: Inf. Softw. Technol. (2009)
Keyphrases
- agent oriented
- conceptual models
- formal specification
- conceptual modeling
- multi agent systems
- conceptual model
- agent technology
- multi agent
- information systems
- software development
- reverse engineering
- model checking
- object oriented
- development process
- data model
- agent systems
- agent oriented software engineering
- entity relationship
- software components
- virtual organization
- formal methods
- reinforcement learning
- business rules
- case study
- databases