Synchronizations in Team Automata for Groupware Systems
| dc.contributor.author | ter Beek, Maurice H. | |
| dc.contributor.author | Ellis, Clarence A. | |
| dc.contributor.author | Kleijn, Jetty | |
| dc.contributor.author | Rozenberg, Grzegorz | |
| dc.date.accessioned | 2020-06-06T09:06:47Z | |
| dc.date.available | 2020-06-06T09:06:47Z | |
| dc.date.issued | 2003 | |
| dc.date.issued | 2003 | |
| dc.description.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. | de |
| dc.identifier.doi | 10.1023/A:1022407907596 | |
| dc.identifier.pissn | 1573-7551 | |
| dc.identifier.uri | http://dx.doi.org/10.1023/A:1022407907596 | |
| dc.identifier.uri | https://dl.eusset.eu/handle/20.500.12015/3633 | |
| dc.publisher | Springer | |
| dc.relation.ispartof | Computer Supported Cooperative Work (CSCW): Vol. 12, No. 1 | |
| dc.relation.ispartofseries | Computer Supported Cooperative Work (CSCW) | |
| dc.subject | CSCW | |
| dc.subject | formalization | |
| dc.subject | groupware systems | |
| dc.subject | master-slave | |
| dc.subject | peer-to-peer | |
| dc.subject | synchronizations | |
| dc.subject | team automata framework | |
| dc.title | Synchronizations in Team Automata for Groupware Systems | de |
| dc.type | Text/Journal Article | |
| gi.citation.endPage | 69 | |
| gi.citation.startPage | 21 | |
| gi.citations.count | 48 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | Josep Carmona, Jetty Kleijn (2013): Compatibility in a multi-component environment, In: Theoretical Computer Science, doi:10.1016/j.tcs.2013.03.006 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | Markus Lumpe (2012): Partition refinement of Component Interaction Automata, In: Science of Computer Programming 1(78), doi:10.1016/j.scico.2011.10.014 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | Maurice H. ter Beek, Jetty Kleijn (2012): Vector team automata, In: Theoretical Computer Science, doi:10.1016/j.tcs.2011.12.020 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 | |
| gi.citations.element | 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 |