@inproceedings{BraunLahnPeter, author = {Braun, Peter and Lahn, Julia and Peter, Heiko}, title = {Car crash detection on smartphones}, series = {Proceedings of the 2nd International Workshop on Sensor-based Activity Recognition and Interaction}, booktitle = {Proceedings of the 2nd International Workshop on Sensor-based Activity Recognition and Interaction}, language = {en} } @article{BraunKohl, author = {Braun, Peter and Kohl, Lutz}, title = {Serverseitige Infrastruktur f{\"u}r komplexe iOS Apps}, series = {iX Developer}, journal = {iX Developer}, number = {3}, pages = {60 -- 66}, language = {de} } @article{BayerSchreibmannAckvaetal., author = {Bayer, Sven and Schreibmann, Vitaliy and Ackva, Ansgar and Balzer, Arndt and Braun, Peter}, title = {PedElEc: Towards a Better Understanding of Ageing Processes of E-Bike Batteries}, series = {Applied mechanics and materials}, volume = {848}, journal = {Applied mechanics and materials}, issn = {1662-7482}, doi = {10.4028/www.scientific.net/AMM.848.119}, pages = {119 -- 122}, language = {en} } @inproceedings{BraunHerwigFischer, author = {Braun, Peter and Herwig, Volker and Fischer, Rene}, title = {Assessment of REST and Web-Sockets in regards to their energy consumption for mobile applications}, series = {Proceedings of the 8th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS'2015)}, booktitle = {Proceedings of the 8th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS'2015)}, language = {en} } @inproceedings{BraunSchreibmannAckvaetal., author = {Braun, Peter and Schreibmann, Vitaliy and Ackva, Ansgar and Balzer, Arndt and Bayer, Sven}, title = {PEDELEC}, series = {Proceedings of the 6th RMUTP International Conference on Science, Technology and Innovation for Sustainable Development: Current Challenges towards Creative and Green Economy}, booktitle = {Proceedings of the 6th RMUTP International Conference on Science, Technology and Innovation for Sustainable Development: Current Challenges towards Creative and Green Economy}, language = {en} } @inproceedings{BraunSchreibmann, author = {Braun, Peter and Schreibmann, Vitaliy}, title = {Model-driven development of RESTful apis}, series = {11th International Conference on Web Information Systems and Technologies (WEBIST)}, booktitle = {11th International Conference on Web Information Systems and Technologies (WEBIST)}, language = {en} } @inproceedings{BraunFertig, author = {Braun, Peter and Fertig, Tobias}, title = {Model-driven testing of RESTful apis}, series = {World Wide Web Conference, Workshop on Web APIs and RESTful Design (WS-REST)}, booktitle = {World Wide Web Conference, Workshop on Web APIs and RESTful Design (WS-REST)}, language = {en} } @inproceedings{BraunMuellerKowalczyk, author = {Braun, Peter and M{\"u}ller, Ingo and Kowalczyk, Ryszard}, title = {A classification scheme for the integration of software agent and service-oriented paradigms}, series = {Workshop on Service-Oriented Computing and Agent-Based Engineering (SOCABE' 2005) in conjunction with 4th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'2005)}, booktitle = {Workshop on Service-Oriented Computing and Agent-Based Engineering (SOCABE' 2005) in conjunction with 4th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'2005)}, editor = {Cavedon, Lawrence and Kowalczyk, Ryszard and Maamar, Zakaria and Martin, David and M{\"u}ller, Ingo}, address = {Utrecht}, pages = {57 -- 60}, language = {en} } @article{BraunEismannErfurthetal., author = {Braun, Peter and Eismann, Jan and Erfurth, Christian and D{\"o}hler, Arndt and Rossak, Wilhelm R.}, title = {A Multi-Agent Approach to Manage a Network of Mobile Agent Servers}, series = {Informatica - An International Journal of Computing and Informatics}, volume = {29}, journal = {Informatica - An International Journal of Computing and Informatics}, number = {1}, pages = {111 -- 121}, language = {de} } @incollection{BraunMuellerSchlegeletal., author = {Braun, Peter and M{\"u}ller, Ingo and Schlegel, Tino and Kern, Steen and Schau, Volkmar and Rossak, Wilhelm}, title = {Tracy}, series = {Software Agent-Based Applications, Platforms and Development Kits, Whitestein Series in Software Agent Technologies}, booktitle = {Software Agent-Based Applications, Platforms and Development Kits, Whitestein Series in Software Agent Technologies}, editor = {Calisti, Monique and Klusch, Matthias and Unland, Rainer}, publisher = {Birkh{\"a}user Verlag}, pages = {357 -- 382}, language = {en} } @inproceedings{BraunMuellerKowalczyk, author = {Braun, Peter and M{\"u}ller, Ingo and Kowalczyk, Ryszard}, title = {Design patterns for agentbased service composition in the Web}, series = {Proceedings of the Fifth International Conference on Quality Software (QSIC 2005)}, booktitle = {Proceedings of the Fifth International Conference on Quality Software (QSIC 2005)}, editor = {Cai, Kai-Yuan and Ohnishi, Atsushi and Lau, Edmonds M.F.}, publisher = {IEEE Computer Society Press}, address = {Melbourne}, pages = {425 -- 430}, language = {en} } @inproceedings{BraunTrinhKowalczyk, author = {Braun, Peter and Trinh, Duc and Kowalczyk, Ryszard}, title = {Integrating a new mobility service into the Jade agent toolkit}, series = {Proceedings of the Second International Workshop on Mobility Aware Technologies and Applications (MATA 2005)}, booktitle = {Proceedings of the Second International Workshop on Mobility Aware Technologies and Applications (MATA 2005)}, editor = {Magedanz, Thomas and Karmouch, Ahmed and Pierre, Samuel and Venieris, Iakovos}, publisher = {Springer}, address = {Montreal (Canada)}, pages = {354 -- 363}, language = {en} } @book{BraunRossak, author = {Braun, Peter and Rossak, Wilhelm R.}, title = {Mobile Agents}, editor = {Kaufmann, Morgan}, publisher = {Elsevier}, address = {Amsterdam}, language = {en} } @incollection{BraunKern, author = {Braun, Peter and Kern, Steffen}, title = {Towards adaptive migration strategies for mobile agents}, series = {Innovative Concepts for Autonomic and Agent-Based Systems, Second GSFC/IEEE Workshop on Radical Agent Concepts (WRAC), NASA Goddard Space Flight Center}, volume = {3825}, booktitle = {Innovative Concepts for Autonomic and Agent-Based Systems, Second GSFC/IEEE Workshop on Radical Agent Concepts (WRAC), NASA Goddard Space Flight Center}, publisher = {Springer}, address = {Greenbelt, USA}, pages = {334 -- 345}, language = {en} } @incollection{BraunKern, author = {Braun, Peter and Kern, Steen}, title = {Towards adaptive migration techniques for mobile agents}, series = {Fifth Workshop on Adaptive Agents and Multi-Agent Systems (AAMAS 2005)}, booktitle = {Fifth Workshop on Adaptive Agents and Multi-Agent Systems (AAMAS 2005)}, editor = {Guessoum, Zahia}, address = {Paris}, language = {en} } @incollection{BraunBrzostowskiKerstenetal., author = {Braun, Peter and Brzostowski, Jakub and Kersten, Gregory and Kim, Jinbaek and Kowalczyk, Ryszard and Strecker, Stefan and Vahidov, Rustam}, title = {E-negotiation systems and software agents}, series = {Intelligent Decision-Making Support Systems (i-DMSS): Foundations, Applicatons, and Challenges, Decision Engineering}, booktitle = {Intelligent Decision-Making Support Systems (i-DMSS): Foundations, Applicatons, and Challenges, Decision Engineering}, editor = {Gupta, Jatinder N. D. and Forgionne, Guisseppi A. and Mora, Manuel}, publisher = {Springer}, pages = {271 -- 300}, language = {en} } @inproceedings{BraunMuellerKernetal., author = {Braun, Peter and M{\"u}ller, Ingo and Kern, Steen and Kowalzyk, Ryszard}, title = {Increasing the migration eciency of java-based mobile agents}, series = {The 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology}, booktitle = {The 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology}, editor = {Skowron, Andrezj and Barthes, Jean-Paul and Jain, Lakhmi and Sun, Ron and Morizet-Mahoudeaux, Pierre and Liu, Jiming and Zhong, Ning}, publisher = {Computer Society Press}, address = {Compiegne (France)}, pages = {508 -- 511}, language = {en} } @inproceedings{BraunMuellerGeisenhaineretal., author = {Braun, Peter and M{\"u}ller, Ingo and Geisenhainer, Sven and Schau, Volkmar and R. Rossak, Wilhelm}, title = {Agent migration as an optional service in an extendable agent toolkit architecture}, series = {Proceedings of the First International Workshop on Mobility Aware Technologies and Applications (MATA 2004)}, booktitle = {Proceedings of the First International Workshop on Mobility Aware Technologies and Applications (MATA 2004)}, editor = {Karmouch, Ahmed and Korba, Larry and Madeira, Edmundo}, publisher = {Springer}, address = {Florianopolis (Brazil)}, pages = {127 -- 136}, language = {en} } @incollection{BraunKernFenschetal., author = {Braun, Peter and Kern, Steffen and Fensch, Christian and Rossak, Wilhelm R.}, title = {Class splitting as a method to reduce the migration overhead of mobile agents}, series = {On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004}, booktitle = {On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004}, editor = {Meersman, Robert and Tari, Zahir and Corsaro, Angelo}, publisher = {Springer}, address = {Agia Napa (Cyprus)}, pages = {1358 -- 1374}, language = {en} } @inproceedings{BraunMuellerGeisenhaineretal., author = {Braun, Peter and M{\"u}ller, Ingo and Geisenhainer, Sven and Schau, Volkmar and Rossak, Wilhelm R.}, title = {A service-oriented software architecture for mobile agent toolkits}, series = {11th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS 2004)}, booktitle = {11th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS 2004)}, publisher = {IEEE Computer Society Press}, address = {Brno (Czech Republic)}, pages = {550 -- 556}, language = {en} } @inproceedings{BraunLudwigKowalczyketal., author = {Braun, Peter and Ludwig, Andre and Kowalczyk, Ryszard and Franczyk, Bogdan}, title = {A framework for automated negotiation of service level agreements in service grids}, series = {1st International Workshop on Web Service Choreography and Orchestration for Business Process Management in conjunction with the Third International Conference on Business Process Management (BPM 2005)}, booktitle = {1st International Workshop on Web Service Choreography and Orchestration for Business Process Management in conjunction with the Third International Conference on Business Process Management (BPM 2005)}, publisher = {Springer}, address = {Nancy (France)}, pages = {31 -- 41}, language = {en} } @article{BraunFrancykKowalczyketal., author = {Braun, Peter and Francyk, Bogdan and Kowalczyk, Ryszard and M{\"u}ller, Ingo and Rossak, Wilhelm R. and Speck, Andreas}, title = {Deploying mobile and intelligent agents in interconnected emarketplaces}, series = {Transactions of the Society for Design and Process Science}, volume = {7}, journal = {Transactions of the Society for Design and Process Science}, number = {3}, pages = {109 -- 123}, language = {en} } @article{BraunAmmeThomassetetal., author = {Braun, Peter and Amme, Wolfram and Thomasset, Francois and Zehendner, Eberhard}, title = {Data Dependence Analysis of Assembly Code}, series = {International Journal on Parallel Programming}, volume = {28}, journal = {International Journal on Parallel Programming}, number = {5}, pages = {431 -- 467}, language = {en} } @incollection{BraunKernDettbornetal., author = {Braun, Peter and Kern, Steffen and Dettborn, Torsten and Eckhaus, Ronny and Ji, Yang and Erfurth, Christian and Rossak, Wilhelm}, title = {A generic agent-based peer-to-peer infrastructure for social-mobile applications}, series = {Mobile Informationssysteme - Potentiale, Hinternisse, Einsatz, 1. Fachtagung Mobilit{\"a}t und Mobile Informationssysteme (MMS 2006)}, volume = {76}, booktitle = {Mobile Informationssysteme - Potentiale, Hinternisse, Einsatz, 1. Fachtagung Mobilit{\"a}t und Mobile Informationssysteme (MMS 2006)}, editor = {Kirste, Thomas and Konig-Ries, Brigitta and Pousttchi, Key and Turowski, Klaus}, publisher = {Springer}, address = {Passau (Germany)}, pages = {127 -- 138}, language = {en} } @incollection{BraunKernDettbornetal., author = {Braun, Peter and Kern, Steffen and Dettborn, Torsten and Eckhaus, Ronny and Ji, Yan and Erfurth, Christian and Rossak, Wilhelm}, title = {Assistant-based mobile supply chain management}, series = {13th Annual IEEE International Symposium and Workshops on the Engineering of Computer Based Systems. Mastering the Complexity of Computer-based Systems (ECBS 2006)}, booktitle = {13th Annual IEEE International Symposium and Workshops on the Engineering of Computer Based Systems. Mastering the Complexity of Computer-based Systems (ECBS 2006)}, editor = {Riebisch, Matthias and Tabeling, Peter and Zorn, Werner}, publisher = {IEEE Computer Society Press}, address = {Potsdam (Germany)}, pages = {23 -- 31}, language = {en} } @incollection{BraunKernErfurthetal., author = {Braun, Peter and Kern, Steen and Erfurth, Christian and Lessmann, Antje and Rossak, Wilhelm}, title = {Mobisoft}, series = {Twelfth International Workshop on Cooperative Information Agents (CIA08)}, booktitle = {Twelfth International Workshop on Cooperative Information Agents (CIA08)}, editor = {Klusch, Matthias and Pechoucek, Michal and Polleres, Axel}, publisher = {Springer}, address = {Prague (Czeck Republic)}, pages = {147 -- 161}, language = {en} } @inproceedings{BraunSchlegelKowalczyk, author = {Braun, Peter and Schlegel, Tino and Kowalczyk, Ryszard}, title = {Towards autonomous mobile agents with emergent migration behaviour}, series = {Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006)}, booktitle = {Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006)}, editor = {Stone, Peter and Weiss, Gerhard}, address = {Hakodate (Japan)}, pages = {585 -- 592}, language = {en} } @incollection{BraunKernRossak, author = {Braun, Peter and Kern, Steffen and Rossak, Wilhelm}, title = {Mobisoft}, series = {On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops}, volume = {4277}, booktitle = {On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops}, editor = {Meersman, Robert and Tari, Zahir and Herrero, Pilar}, publisher = {Springer}, address = {Montpellier (France)}, pages = {984 -- 993}, language = {en} } @inproceedings{BraunMuellerKowalczyk, author = {Braun, Peter and M{\"u}ller, Ingo and Kowalczyk, Ryszard}, title = {Towards agent-based coalition formation for service composition}, series = {The 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology}, booktitle = {The 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology}, publisher = {IEEE Computer Society Press}, address = {Hongkong}, pages = {73 -- 80}, language = {en} } @incollection{BraunEckhaus, author = {Braun, Peter and Eckhaus, Ronny}, title = {Experiences on model-driven software development for mobile applications}, series = {5th Annual IEEE International Symposium and Workshops on the Engineering of Computer Based Systems (ECBS 2008)}, booktitle = {5th Annual IEEE International Symposium and Workshops on the Engineering of Computer Based Systems (ECBS 2008)}, publisher = {IEEE Computer Society Press}, pages = {490 -- 493}, language = {en} } @inproceedings{VuFertigBraun, author = {Vu, Henry and Fertig, Tobias and Braun, Peter}, title = {Automation of Integration Testing of RESTful Hypermedia Systems: A Model-driven Approach}, series = {14th International Conference on Web Information Systems and Technologies (WEBIST 2018), 3rd International Special Session on Advanced practices in Model-Driven Web Engineering (APMDWE 2018)}, booktitle = {14th International Conference on Web Information Systems and Technologies (WEBIST 2018), 3rd International Special Session on Advanced practices in Model-Driven Web Engineering (APMDWE 2018)}, doi = {10.5220/0006932004040411}, pages = {404 -- 411}, abstract = {The proper design of Representational State Transfer (REST) APIs is not trivial because developers have to deal with a flood of recommendations and best practices, especially the proper application of the hypermedia constraint requires some decent experience. Furthermore, testing RESTful APIs is a missing topic within literature. Especially hypermedia testing is not mentioned at all. Manual hypermedia testing is time-consuming and hard to maintain. Testing a hypermedia API requires many test cases that have similar structure, especially when different user roles and error cases are considered. In order to tackle this problem, we proposed a Model-driven Testing (MDT) approach for hypermedia systems using the metamodel within our existing Model Driven Software Development (MDSD) approach. This work discusses challenges and results of hypermedia testing for RESTful APIs using MDT techniques that were discovered within our research. MDT allows white-box testing, hence covering complete program structure and behavior of the generated application. By doing this, we are able to achieve a high automated test coverage. Moreover, any runtime behavior deviated from the metamodel reveals bugs within the generators.}, language = {en} } @article{VuFertigBraun, author = {Vu, Henry and Fertig, Tobias and Braun, Peter}, title = {Model-Driven Integration Testing of Hypermedia Systems}, series = {Journal of Web Engineering}, volume = {18}, journal = {Journal of Web Engineering}, number = {4-6}, publisher = {River Publishers}, pages = {1 -- 28}, abstract = {The proper design of Representational State Transfer (REST) APIs is not trivial because developers have to deal with a flood of recommendations and best practices, especially the proper application of the hypermedia constraint requires some decent experience. Furthermore, testing RESTful APIs is a missing topic within literature. Especially hypermedia testing is not mentioned at all. Manual hypermedia testing is time-consuming and hard to maintain. Testing a hypermedia API requires many test cases that have similar structure, especially when different user roles and error cases are considered. In order to tackle this problem, we proposed a Model-Driven Testing (MDT) approach for hypermedia systems using the metamodel within our existing Model Driven Software Development (MDSD) approach. This work discusses challenges and results of hypermedia testing for RESTful APIs using MDT techniques that were discovered within our research. MDT allows white-box testing, hence covering complete program structure and behavior of the generated application. By doing this, we are able to achieve a high automated test coverage. Moreover, any runtime behavior deviated from the metamodel reveals bugs within the generators.}, language = {en} } @inproceedings{MuellerVuFertigetal., author = {M{\"u}ller, Patrick and Vu, Henry and Fertig, Tobias and Braun, Peter}, title = {Hypermedia: The Key to RESTful Web Applications}, series = {14th International Conference on Web Information Systems and Technologies (WEBIST 2018), 3rd International Special Session on Advanced practices in Model-Driven Web Engineering (APMDWE 2018)}, booktitle = {14th International Conference on Web Information Systems and Technologies (WEBIST 2018), 3rd International Special Session on Advanced practices in Model-Driven Web Engineering (APMDWE 2018)}, doi = {10.5220/0006927103780387}, pages = {378 -- 387}, abstract = {Implementing the hypermedia constraint for RESTful Systems is a challenging task for most developers. This is due to the lack of information about how to implement hypermedia on the client-side correctly. Therefore, new tools are required to support developers with the implementation of the hypermedia constraint. We propose a model-driven approach that allows developers to define a RESTful System as a finite-state machine: states represent resources and transitions represent hypermedia links. We present a metamodel that our generator can process to generate Poymer Web Applications. These web applications fulfill all REST constraints defined by Fielding. Therefore, developers do not have to implement the hypermedia constraint themselves. Our approach simplifies the developement of REStful Web Applications and reduces the developement efforts. Moreover, we describe how RESTful Web Applications can be derived from finite-state machines.}, language = {en} } @inproceedings{KecklMuellerBraun, author = {Keckl, Matthias and M{\"u}ller, Patrick and Braun, Peter}, title = {Model-driven Software Development as the Key to RESTful Web Interfaces and Digitization}, series = {6th International Conference on Applied Informatics Imagination, Creativity, Design, Development (ICDD) 2022}, booktitle = {6th International Conference on Applied Informatics Imagination, Creativity, Design, Development (ICDD) 2022}, pages = {70 -- 82}, language = {en} } @inproceedings{UlsamerFertigBraun, author = {Ulsamer, Philipp and Fertig, Tobias and Braun, Peter}, title = {Feature Oriented DSLs}, series = {Workshop zu Modellbasierter Entwicklung eingebetteter Systeme (MBEES 2018)}, booktitle = {Workshop zu Modellbasierter Entwicklung eingebetteter Systeme (MBEES 2018)}, pages = {340 -- 343}, language = {en} } @inproceedings{VuFertigBraun, author = {Vu, Henry and Fertig, Tobias and Braun, Peter}, title = {Verification of Hypermedia Characteristic of RESTful Finite-State Machines}, series = {Proceedings of the 9th International Workshop on Web APIs and Service Architecture (WS-REST 2018)}, booktitle = {Proceedings of the 9th International Workshop on Web APIs and Service Architecture (WS-REST 2018)}, doi = {10.1145/3184558.3191656}, pages = {1881 -- 1886}, abstract = {Being an architectural style rather than a specification or a standard, the proper design of REpresentational State Transfer (REST) APIs is not trivial, since developers have to deal with a flood of recommendations and best practices, especially the proper application of the hypermedia constraint requires some decent experience. Furthermore, testing RESTful APIs is a missing topic within literature and especially, hypermedia testing is not mentioned at all. To deal with this state of affairs, we have elaborated a Model-Driven Software Development (MDSD) approach for creating RESTful APIs. As this project matured, we also explored the possibility of Model-Driven Testing (MDT). This work addresses the challenges of hypermedia testing and proposes approaches to overcome them with MDT techniques. We present the results of hypermedia testing for RESTful APIs using a model verification approach that were discovered within our research. MDT enables the verification of the underlying model of a RESTful API and ensuring its correctness before initiating any code generation. Therefore, we can prevent a poorly designed model from being transformed into a poorly designed RESTful API.}, language = {en} } @inproceedings{VuFertigBraun, author = {Vu, Henry and Fertig, Tobias and Braun, Peter}, title = {Towards Model-driven Hypermedia Testing for RESTful Systems}, series = {Proceedings of the 13th International Conference on Web Information Systems and Technologies - WEBIST}, volume = {1}, booktitle = {Proceedings of the 13th International Conference on Web Information Systems and Technologies - WEBIST}, publisher = {SciTePress}, isbn = {978-989-758-246-2}, issn = {2184-3252}, doi = {10.5220/0006353403400343}, pages = {340 -- 343}, abstract = {Testing RESTful systems is a missing topic within literature. Especially hypermedia testing is not mentioned at all. We discuss the challenges of hypermedia testing that were discovered within our research. We will differ between client-side and server-side challenges since REpresentational State Transfer (REST) describes a client-server system. Therefore, both sides have to be considered. Hypermedia tests for the server have to ensure that there is no response without hypermedia links. However, the client also has to be hypermedia compliant. Thus, we propose to simulate a server update to check whether the client breaks. Since we use Model-driven Software Development (MDSD) to generate RESTful systems we also propose a model-driven approach for hypermedia testing. This allows us to generate tests for a server based on its underlying model. Moreover, we can build a crawler to verify our generated servers and to test all hypermedia links for different user roles. Any modification to t he model can result in a server update, which can be used to test hypermedia clients.}, language = {en} } @inproceedings{FertigBraun, author = {Fertig, Tobias and Braun, Peter}, title = {Towards Offline Support for RESTful Systems}, series = {Proceedings of the 9th International Workshop on Web APIs and Service Architecture (WS-REST 2018)}, booktitle = {Proceedings of the 9th International Workshop on Web APIs and Service Architecture (WS-REST 2018)}, doi = {10.1145/3184558.3191655}, pages = {1875 -- 1880}, abstract = {Representational State Transfer (REST) is an efficient and by now established architectural style for distributed hypermedia systems. However, REST has not been designed for offline operations, yet many applications must also keep functioning when going offline for more than a few seconds. Burdening the programmer with knowledge about offline status is undesirable. RESTful applications can be described by a formal model. Therefore, we define a function to derive a formal model of the proxy for handling offline support on the client-side. We then extend existing caching approaches so that a client-side proxy can transparently hide the offline status from the application. We validate our solution with a proxy layer that covers all test cases derived from the model. Using our model and proxy, clients do not have to know and worry about whether they are online or offline.}, language = {en} }