Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Through the Interface: A Human Activity Approach to User Interface Design
Through the Interface: A Human Activity Approach to User Interface Design
Participatory Design: Principles and Practices
Participatory Design: Principles and Practices
Applying Graph Grammars for Task-Oriented User Interface Development
ICCI '92 Proceedings of the Fourth International Conference on Computing and Information: Computing and Information
Transformations of Graph Grammars
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Towards a formal specification method for graphical user interfaces using modularized graph grammars
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Work-Oriented Design of Computer Artifacts
Work-Oriented Design of Computer Artifacts
Analyzing human-computer interaction as distributed cognition: the resources model
Human-Computer Interaction
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
| Hi-index | 0.00 |
The design of complex interactive systems can be successfully supported by the collaboration of several teams. Each of these teams considers a specific part of the system under design specifying it continuously through a series of specification stages between the requirements and the design stages. Highly important for achieving a precise and continuous specification process between the requirements and the design stages is, however, a suitable strategy for refining abstract specifications into more concrete ones correctly and consistently. Beyond the possibility of continuous refinements the most challenging point is whether all parts of a specification treated by various respective teams are able to interact with each other in the right way thus leading to a collaborative specification process. This concerns the requirement that the interoperability of the involved parts is always given in the intended manner. In this paper human-computer interaction is modelled using the concept of information resources and is formally specified by the notation of graph grammars. In order to refine abstract graph grammar specifications of human-computer interaction wrt important requirements correctly and consistently graph rewrite rules at a meta level will be used. The formalism of graph grammars and especially the graph grammar concepts of sequential independence, parallelism, amalgamation and distribution are valuable means for showing how collaboration of teams and interoperability of the respective arising specification parts of a system can be realized. The advantage of such a continuous collaborative specification process is that local as well as global views onto the specification are possible whenever desired. In such specification processes the existence of consistency can be shown and arising inconsistencies can be man-aged in a suitable and flexible way at every specification stage.