Formal methods in human-computer interaction
Formal methods in human-computer interaction
What is coordination theory and how can it help design cooperative work systems?
CSCW '90 Proceedings of the 1990 ACM conference on Computer-supported cooperative work
Groupware: some issues and experiences
Communications of the ACM
Context and consciousness: activity theory and human-computer interaction
Context and consciousness: activity theory and human-computer interaction
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Task based groupware design: putting theory into practice
DIS '00 Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
Modelling Dynamic Group Behaviours
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
An Execution Algorithm for UML Activity Graphs
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Definition and use of Computation Independent Models in an MDA-based groupware development process
Science of Computer Programming
Petri net translation patterns for the analysis of ebusiness collaboration messaging protocols
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A triple graph grammar (TGG) approach for mapping UML 2 activities into Petri nets
SEPADS'10 Proceedings of the 9th WSEAS international conference on Software engineering, parallel and distributed systems
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
Transformation of UML activity diagrams into analyzable systems and software blueprints construction
WSEAS Transactions on Information Science and Applications
Simplified bi-directional transformation of UML activities into Petri nets
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
CanonSketch: a user-centered tool for canonical abstract prototyping
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
Leveraging the linda coordination model for a groupware architecture implementation
CRIWG'06 Proceedings of the 12th international conference on Groupware: design, implementation, and use
| Hi-index | 0.00 |
New approaches are currently being adopted to address the development of cooperative systems, although not many standards exist that can be used to develop this type of interactive system. We apply the standard Unified Modelling Language (UML) notation within a methodology aimed at the analysis and design of such systems, and present a semantic formalisation of the UML notation used to model cooperative systems. The semantics and its application are described on the basis of translation schemes to Coloured Petri Nets and the benefits of formalisation are shown.