Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Specifying multiple-viewed software requirements with conceptual graphs
Journal of Systems and Software
Analysing multiple views of software requirements
Conceptual structures
A situated classification solution of a resource allocation task represented in a visual language
International Journal of Human-Computer Studies
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
An approach to conceptual feedback in multiple viewed software requirements modeling
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Expressing the relationships between multiple views in requirements specification
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Conceptual Graphs and First-Order Logic
ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
Viewpoint Consistency in Z and LOTOS: A Case Study
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
An Application of the Process Mechanism to a Room Allocation Problem Using the pCG Language
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Hi-index | 0.00 |
Different participants in system development often hold partial specifications of the knowledge relating to the system being developed. To reflect this, the system may be developed through 'perspectives' to make such information more manageable. The ViewPoints framework [1] offers a way of dealing with the partitioning and the organization of perspectives entailed in system development. ViewPoints represent "agents" having "roles-in" and "views-of a problem domain. We are using conceptual graphs (CGs) as a meta-representation language to describe ViewPoints in order to facilitate reasoning about the partitioned knowledge that each ViewPoint represents. The established notations and operations of CGs provide a strong foundation for this purpose. This paper presents the applicability of ViewPoints together with a CG meta-representation language for the knowledge acquisition activities of the Sisyphus-I room allocation task. The paper provides an illustrative case study of our ongoing work on CG application to the area of software engineering [2]. Although the Sisyphus-I room allocation task is not a natural fit with the ViewPoints framework which aims at different tasks, we have made an attempt to apply it and believe that there are some interesting lessons.