Journal Article

Synchronizations in Team Automata for Groupware Systems

Thumbnail Image

Fulltext URI

Document type

Text/Journal Article

Additional Information

Date

2003, 2003

Authors

Journal Title

Journal ISSN

Volume Title

Source

Computer Supported Cooperative Work (CSCW): Vol. 12, No. 1

Publisher

Springer

Abstract

Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team automata in a mathematically precise way in terms of component automata which synchronizeon certain executions of actions.At the conceptual level, our model serves as a formal framework in whichbasic groupware notions can be rigorously defined and studied.At the architectural level, team automata can be used as building blocksin the design of groupware systems.

Description

ter Beek, Maurice H.; Ellis, Clarence A.; Kleijn, Jetty; Rozenberg, Grzegorz (2003): Synchronizations in Team Automata for Groupware Systems. Computer Supported Cooperative Work (CSCW): Vol. 12, No. 1. DOI: 10.1023/A:1022407907596. Springer. PISSN: 1573-7551. pp. 21-69

Keywords

CSCW, formalization, groupware systems, master-slave, peer-to-peer, synchronizations, team automata framework

Citation

DOI

10.1023/A:1022407907596

URI

URI

http://dx.doi.org/10.1023/A:1022407907596
 https://dl.eusset.eu/handle/20.500.12015/3633

Collections

JCSCW Vol. 12 (2003)

Endorsement

Review

Supplemented By

Referenced By

Number of citations to item: 48

  • Luboš Brim, Ivana Černá, Pavlína Vařeková, Barbora Zimmerova (2005): Component-interaction automata as a verification-oriented component-based system specification, In: ACM SIGSOFT Software Engineering Notes 2(31), doi:10.1145/1118537.1123063
  • Amel Mammar, Lazhar Hamel, Mohamed Graiet (2021): An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications, In: The Computer Journal, doi:10.1093/comjnl/bxab115
  • M.H. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, M. Sebastianis (2000): A case study on the automated verification of groupware protocols, In: Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005., doi:10.1109/icse.2005.1553606
  • Josep Carmona, Jetty Kleijn (2013): Compatibility in a multi-component environment, In: Theoretical Computer Science, doi:10.1016/j.tcs.2013.03.006
  • Tom Chothia, Jetty Kleijn (2007): Q-Automata: Modelling the Resource Usage of Concurrent Components, In: Electronic Notes in Theoretical Computer Science 2(175), doi:10.1016/j.entcs.2007.03.009
  • Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn (2017): Communication Requirements for Team Automata, In: Lecture Notes in Computer Science, doi:10.1007/978-3-319-59746-1_14
  • Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença (2021): Featured Team Automata, In: Lecture Notes in Computer Science, doi:10.1007/978-3-030-90870-6_26
  • Yangli Jia, Zhoujun Li, Zhenling Zhang (2008): Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive Systems, In: 2008 International Conference on Computer Science and Software Engineering, doi:10.1109/csse.2008.1132
  • Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar (2007): A Review on Specifying Software Architectures Using Extended Automata-Based Models, In: Lecture Notes in Computer Science, doi:10.1007/978-3-540-75698-9_30
  • David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock (2011): Requirements Engineering via Non-monotonic Logics and State Diagrams, In: Communications in Computer and Information Science, doi:10.1007/978-3-642-23391-3_9
  • Markus Lumpe, Rajesh Vasa (2010): Partition Refinement of Component Interaction Automata: Why Structure Matters More Than Size, In: Electronic Proceedings in Theoretical Computer Science, doi:10.4204/eptcs.37.2
  • Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens (2008): A Calculus for Team Automata, In: Electronic Notes in Theoretical Computer Science, doi:10.1016/j.entcs.2007.08.022
  • Markus Lumpe, Lars Grunske, Jean-Guy Schneider (2008): State Space Reduction Techniques for Component Interfaces, In: Lecture Notes in Computer Science, doi:10.1007/978-3-540-87891-9_9
  • Syed Adeel Ali, Partha Roop, Ian Warren, Zeeshan Ejaz Bhatti (2011): Unified management of control flow and data mismatches in web service composition, In: Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE), doi:10.1109/sose.2011.6139097
  • Jin-Cheon Na, Richard Furuta (2006): <b>caT: Adapting and updating the Trellis hypertext model</b>, In: New Review of Hypermedia and Multimedia 2(12), doi:10.1080/13614560601051133
  • Davide Basile, Maurice H. ter Beek (2024): Advancing orchestration synthesis for contract automata, In: Journal of Logical and Algebraic Methods in Programming, doi:10.1016/j.jlamp.2024.100998
  • Giorgio Ausiello, Hendrik Jan Hoogeboom, Juhani Karhumäki, Ion Petre, Arto Salomaa (2012): Preface, In: Theoretical Computer Science, doi:10.1016/j.tcs.2011.12.019
  • Markus Lumpe (2010): Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata, In: Electronic Notes in Theoretical Computer Science, doi:10.1016/j.entcs.2010.05.011
  • Teijiro Isokawa, Ferdinand Peper, Masahiko Mitsui, Jian-Qin Liu, Kenichi Morita, Hiroshi Umeo, Naotake Kamiura, Nobuyuki Matsui (2000): Computing by Swarm Networks, In: Lecture Notes in Computer Science, doi:10.1007/978-3-540-79992-4_7
  • Maurice H. ter Beek, Jetty Kleijn (2007): Infinite unfair shuffles and associativity, In: Theoretical Computer Science 3(380), doi:10.1016/j.tcs.2007.03.030
  • Markus Lumpe (2012): Partition refinement of Component Interaction Automata, In: Science of Computer Programming 1(78), doi:10.1016/j.scico.2011.10.014
  • Maurice H. ter Beek, Carlos Martín-Vide, Victor Mitrana (2005): Synchronized shuffles, In: Theoretical Computer Science 1-3(341), doi:10.1016/j.tcs.2005.04.007
  • Yanhua Du, Yang Wang, Benyuan Yang, Hesuan Hu (2022): Analyzing Security Requirements in Timed Workflow Processes, In: IEEE Transactions on Dependable and Secure Computing 1(19), doi:10.1109/tdsc.2020.2975163
  • Josep Carmona, Jordi Cortadella, Mike Kishinevsky (2010): New Region-Based Algorithms for Deriving Bounded Petri Nets, In: IEEE Transactions on Computers 3(59), doi:10.1109/tc.2009.131
  • Yangli Jia, Zhenling Zhang, Shengxian Xie (2011): Modeling and verification of interactive behavior for cyber-physical systems, In: 2011 IEEE 2nd International Conference on Software Engineering and Service Science, doi:10.1109/icsess.2011.5982376
  • Maurice H. ter Beek, Josep Carmona, Jetty Kleijn (2016): Conditions for Compatibility of Components, In: Lecture Notes in Computer Science, doi:10.1007/978-3-319-47166-2_55
  • José Proença (2024): Overview on Constrained Multiparty Synchronisation in Team Automata, In: Lecture Notes in Computer Science, doi:10.1007/978-3-031-52183-6_10
  • N. Jaisankar, S. Veeramalai, A. Kannan (2010): Team Automata Based Framework for Spatio-Temporal RBAC Model, In: Communications in Computer and Information Science, doi:10.1007/978-3-642-12214-9_106
  • Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn (2020): Team Automata@Work: On Safe Communication, In: Lecture Notes in Computer Science, doi:10.1007/978-3-030-50029-0_5
  • Maurice H. ter Beek, Jetty Kleijn (2003): Team Automata Satisfying Compositionality, In: Lecture Notes in Computer Science, doi:10.1007/978-3-540-45236-2_22
  • Graeme Smith, J. W. Sanders, Kirsten Winter (2014): Designing Adaptive Systems Using Teleo-Reactive Agents, In: Lecture Notes in Computer Science, doi:10.1007/978-3-662-44871-7_2
  • Maurice H. Ter Beek, Erzsébet Csuhaj-Varjú†, Victor Mitrana‡ (2004): Teams of pushdown automata, In: International Journal of Computer Mathematics 2(81), doi:10.1080/00207160310001650099
  • H.P. Dommel, S.K. Verma (2000): Multipoint synchronization protocol, In: 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), doi:10.1109/icsmc.2004.1401262
  • Oliver Kautz, Bernhard Rumpe, Andreas Wortmann (2020): Automated semantics-preserving parallel decomposition of finite component and connector architectures, In: Automated Software Engineering 1-2(27), doi:10.1007/s10515-020-00268-5
  • Zhenrong Yang, Aiman Hanna, Mourad Debbabi (2007): Team Edit Automata for Testing Security Property, In: Third International Symposium on Information Assurance and Security, doi:10.1109/ias.2007.45
  • Yangli Jia, Zhoujun Li, Zhenling Zhang, Shengxian Xie (2008): A Method on Specification and Verification of Component Interaction in Real-Time Reactive Systems, In: 2008 International Conference on Advanced Computer Theory and Engineering, doi:10.1109/icacte.2008.133
  • David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock (2010): Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment, In: Lecture Notes in Computer Science, doi:10.1007/978-3-642-17319-6_21
  • Maurice H. ter Beek, Jetty Kleijn (2012): Vector team automata, In: Theoretical Computer Science, doi:10.1016/j.tcs.2011.12.020
  • Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi (2005): Team Automata for Security, In: Electronic Notes in Theoretical Computer Science 5(128), doi:10.1016/j.entcs.2004.11.044
  • Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn (2020): Compositionality of Safe Communication in Systems of Team Automata, In: Lecture Notes in Computer Science, doi:10.1007/978-3-030-64276-1_11
  • Kees van Hee, Jan Hidders, Geert-Jan Houben, Jan Paredaens, Philippe Thiran (2009): On the relationship between workflow models and document types, In: Information Systems 1(34), doi:10.1016/j.is.2008.06.003
  • Maurice H. ter Beek, Rolf Hennicker, José Proença (2024): Team Automata: Overview and Roadmap, In: Lecture Notes in Computer Science, doi:10.1007/978-3-031-62697-5_10
  • Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença (2023): Can We Communicate? Using Dynamic Logic to Verify Team Automata, In: Lecture Notes in Computer Science, doi:10.1007/978-3-031-27481-7_9
  • Lavinia Egidi, Marinella Petrocchi (2006): Modelling a Secure Agent with Team Automata, In: Electronic Notes in Theoretical Computer Science, doi:10.1016/j.entcs.2004.12.046
  • Rolf Hennicker, Annabelle Klarl (2014): Foundations for Ensemble Modeling – The Helena Approach, In: Lecture Notes in Computer Science, doi:10.1007/978-3-642-54624-2_18
  • Zhang Jing-zhou, Ren Hong-min, Ge Xiao-Kun, Qian Le-Qiu, Zhu San-Yuan (2009): Research on Component Behavior Protocols Mismatch Detection and Limited Assembly, In: 2009 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, doi:10.1109/snpd.2009.83
  • Loïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix (2023): Specification and Verification of Communication Paradigms for CBSE in Event B, In: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), doi:10.1109/iceccs59891.2023.00028
  • Mehran Sharafi (2008): Extending Team Automata to Evaluate Software Architectural Design, In: 2008 32nd Annual IEEE International Computer Software and Applications Conference, doi:10.1109/compsac.2008.57
Please note: Providing information about citations is only possible thanks to to the open metadata APIs provided by crossref.org and opencitations.net. These lists may be incomplete due to unavailable citation data.source: opencitations.net, crossref.org