Abstract
The aim of the uCepCortex project is to develop an exocortex based on Ubiquitous Complex Event Processing as an Artificial Cognitive System and to investigate how to enhance human cognitive abilities, manage assistive robots, and their cooperation with humans via an exocortex system. In order to develop applications based on these artefacts the requirements of these applications have to be defined in a technology independent manner. This means an abstract model of the planned application has to be described. In this article we describe a notion of model which supports the specification of autonomous agents and their interaction by events. This notion has a precise semantics which is defined by Abstract State Machines (ASM). Such models can be transformed into executable programs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Sterling, L.S., Taveter, K.: The Art of Agent-Oriented Modeling. MIT Press, Cambridge (2009)
Luckham, D.: Event Processing for Business. John Wiley & Sons, Hoboken (2012)
Jennings, N.R., et al.: Autonomous Agents for Business Process Management. Applied Artificial Intelligence 14, 145–189 (2000)
Chandy, K.M., Schulte, R.W.: Event Processing. Mac Graw-Hill, New York (2010)
Wooldridge, M.: An Introduction to Multi Agent Systems. John Wiley & Sons, Chichester (2002)
Fleischmann, A., Schmidt, W., Stary, C., Strecker, F.: Nondeterministic events in business processes. In: La Rosa, M., Soffer, P. (eds.) BPM 2012 Workshops. LNBIP, vol. 132, pp. 364–377. Springer, Heidelberg (2013)
Fleischmann, A., Schmidt, W., Stary, C., Obermeier, S., Börger, E.: Subject Oriented Business Process Management. Springer, Heidelberg (2012)
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Berlin (2003)
Börger, E.: The subject-oriented approach to software design and the abstract state machines method. In: Stary, C. (ed.) S-BPM ONE 2012. LNBIP, vol. 104, pp. 1–21. Springer, Heidelberg (2012)
Hoare, A.: Communicating Sequential Processes. Prentice-Hall (1985)
Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press (1999)
Milner, R.: Communication and Concurrency, Prentice Hall (1989)
Berghaus, M.: Luhmann leicht gemacht. Böhlau Verlag (2011)
Börger, E.: Construction and Analysis of Ground Models and their Refinements as a Foundation for Validating Computer Based Systems. Formal Aspects of Computing J. 19, 225–241 (2007)
Börger, E.: The ASM Refinement Method Formal Aspects of Computing 15, 237–257 (2003)
Gurevich, Y.: Evolving algebras 1993: Lipari Guide. In: Börger, E. (ed.) Specification and Validation Methods, pp. 9–36. Oxford University Press (1995)
Konjack, G.: Case study: AST order control processing. In: Buchwald, H., Fleischmann, A., Seese, D., Stary, C. (eds.) S-BPM ONE 2009. CCIS, vol. 85, pp. 115–120. Springer, Heidelberg (2010)
Nakamura, S., Tan, T., Hirayama, T., Kawai, H., Komiyama, S., Hosaka, S., Nakamura, M., Yuki, K.: CGAA/EES at NEC corporation, powered by S-BPM: The subject-oriented BPM development technique using top-down approach. In: Schmidt, W. (ed.) S-BPM ONE 2011. CCIS, vol. 213, pp. 215–231. Springer, Heidelberg (2011)
Walke, T., Witschi, M., Reiner, M.: Case study @ swisscom (Schweiz) AG: iPhone 5 self-service order app and process-workflows. In: Fischer, H., Schneeberger, J. (eds.) S-BPM ONE 2013. CCIS, vol. 360, pp. 264–273. Springer, Heidelberg (2013)
http://www.citt-online.com/downloads/uCepCortex-proposal-2G-Athens.ppt
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fleischmann, A., Börger, E., Lerchner, H. (2013). Subject-Orientation as a Method to Specify the Cooperation of Active Entities in the uCepCortex Project. In: Liu, D., Alippi, C., Zhao, D., Hussain, A. (eds) Advances in Brain Inspired Cognitive Systems. BICS 2013. Lecture Notes in Computer Science(), vol 7888. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38786-9_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-38786-9_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38785-2
Online ISBN: 978-3-642-38786-9
eBook Packages: Computer ScienceComputer Science (R0)