Abstract
In this paper, we present our approach to flexibly modelling user processes: lightweight run time agents. These agents can be thought of as essentially being ‘session handlers’ with persistent memory, which steer the execution of generic global services according to the users’ profile and its current context and goals. We illustrate this paradigm in two application scenarios, the Online Conference Service, and MaTRICS, a remote configuration management environment.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ahmed, T., Tripathi, A.: Static Verification of Security Requirements in Role Based CSCW Systems. In: Proc. 8th Symp. on Access Control Models and Technologies, Como (I), pp. 196–203. ACM Press, New York (2003)
Bajohr, M., Margaria, T.: MaTRICS: A Management Tool for Remote Intelligent Configuration of (Pervasive) Systems. In: Proc. ICPS 2005, IEEE Int. Conference on Pervasive Services, Santorini, Greece, July 11-14, 2005. IEEE Computer Society Press, Los Alamitos (2005)
Franklin, S., Graesser, A.: Is it an Agent, or just a Program?: A Taxonomy for Autonomous Agents. In: Proc. 3rd Int. Worksh. on Agent Theories, Architectures, and Languages. Springer, Heidelberg (1996), http://www.msci.memphis.edu/~franklin/AgentProg.html
ITU: General recommendations on telephone switching and signaling intelligent network: Introduction to intelligent network capability set 1, Recommendation Q.1211, Telecommunication Standardization Sector of ITU, Geneva (March1993)
ITU-T: Recommendation Q.1203. Intelligent Network - Global Functional Plane Architecture (October 1992)
Karusseit, M., Margaria, T.: Feature-based Modelling of a Complex, Online- Reconfigurable Decision Support Service. In: WWV 2005 1st Int’l Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain, March 14-15 (2005); Post Workshop Proc. appear in ENTCS
Lindner, B., Margaria, T., Steffen, B.: Ein personalisierter Internetdienst fr wissenschaftliche Begutachtungsprozesse, GI-VOI-BITKOM-OCG-TeleTrusT Konferenz Elektronische Geschäfts-prozesse (eBusiness Processes), September 2001. Universität Klagenfurt (2001), http://syssec.uni-klu.ac.at/EBP2001/
Margaria, T.: Components, Features, and Agents in the ABC. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol. 2975, pp. 154–174. Springer, Heidelberg (2004)
Margaria, T., Karusseit, M.: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences, 2nd IFIP Conf. on e-commerce, ebusiness, e-government (I3E 2002), Lisboa (P), October 2002. Towards the Knowledge Society, pp. 497–511. Kluwer, Dordrecht (2002)
Margaria, T., Nagel, R., Steffen, B.: Remote Integration and Coordination of Verification Tools in jETI. In: Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems, Greenbelt, USA (April 2005)
Margaria, T., Steffen, B.: Lightweight Coarse-grained Coordination: A Scalable System-Level Approach, in STTT. Special Section on Formal Methods in Industrial Critical Systems of the Int. Journal on Software Tools for Technology Transfer 5(2-3), 107–123 (2004)
Müller-Olm, M., Schmidt, D., Steffen, B.: Model-Checking: A Tutorial Introduction. In: SAS 1998. LNCS, vol. 1503, pp. 330–354. Springer, Heidelberg (1999)
Sandhu, R., Coyne, E., Feinstein, H., Youman, C.: Role-Based Access Control Models. IEEE Computer 29(2), 38–47 (1996)
Steffen, B., Claßen, A., Klein, M., Knoop, J., Margaria, T.: The Fixpoint Analysis Machine. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol. 962. Springer, Heidelberg (1995)
Steffen, B., Margaria, T.: METAFrame in Practice: Intelligent Network Service Design. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390–415. Springer, Heidelberg (1999)
Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical service definition, Annual Review of Communication. Int. Engin. Consortium (IEC), 847–856 (1997)
Weber, H.: Continuous Engineering of Information and Communication Infrastructures. In: Finance, J.-P. (ed.) FASE 1999. LNCS, vol. 1577, pp. 22–29. Springer, Heidelberg (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Margaria, T., Steffen, B. (2006). Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services. In: Hinchey, M.G., Rago, P., Rash, J.L., Rouff, C.A., Sterritt, R., Truszkowski, W. (eds) Innovative Concepts for Autonomic and Agent-Based Systems. WRAC 2005. Lecture Notes in Computer Science(), vol 3825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11964995_23
Download citation
DOI: https://doi.org/10.1007/11964995_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69265-2
Online ISBN: 978-3-540-69266-9
eBook Packages: Computer ScienceComputer Science (R0)