Abstract
In this paper we illustrate the usage of a new formal model for describing systems and present a software design example. The presented approach is characterized by the possibility of describing a system’s functionality very coarsely grained but formalized, allowing it to be used during early design phases while still being able to draw conclusions and provide support. The emphasis is on assisting developers, who utilize one or more methods from the field of artificial intelligence (AI) in complex systems. The synergetic effects and possible spin-offs can be quite numerous, and our proposed approach attempts to hide the complexity from the developer wherever useful, leading to a smoother and more efficient integration of multiple AI methods in a software systems.
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
Abib, M.A., Manes, E.G.: Machines in a category. Journal of Pure and Applied Algebra 19, 9–20 (1980)
Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
Berka, T.: A categorical context model - technical report (2003), available at http://www.salzburgresearch.at
Carpenter, B.: The Logic of Typed Feature Structures. Cambridge University Press, Cambridge (1992)
De Bra, P., Brusilovsky, P., Conejo, R. (eds.): AH 2002. LNCS. Springer, Heidelberg (2002)
Deshpande, Y., Murugesan, S., Ginige, A., Hansen, S., Schwabe, D., Gaedke, M., White, B.: Web engineering. Journal of Web Engineering 1(1), 3–17 (2002)
Domingue, J., Motta, E.: A knowledge-based news server supporting ontologydriven story enrichment and knowledge retrieval. In: Fensel, D., Studer, R. (eds.) EKAW 1999. LNCS (LNAI), vol. 1621, pp. 103–120. Springer, Heidelberg (1999)
Grünbacher, P., Egyed, A., Medvidovic, N.: Dimensions of concerns in requirements negotiation and architecture modeling. In: Tarr, P., Harrison, W., Finkelstein, A., Nuseibeh, B., Perry, D. (eds.) Multi-Dimensional Separation of Concerns, Workshop at 22nd International Conference on Software Engineering, Ireland (2000)
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Adison-Wesley Publishing Company, Massachusets (1979)
Kalfoglou, Y., Domingue, J., Motta, E., Vargas-Vera, M., Shum, S.B.: Myplanet: An ontology-driven web-based personalized news service. In: Proceedings of the IJCAI 2001 Workshop on Ontologies and Information Sharing, Seattle, WA, USA (2001)
Berners Lee, T., Lassila, O., Swick, R.R.: The semantic web. Scientific American 5 (2001)
Lehmann, D.J., Smyth, M.B.: Algebraic specification of data types: A synthetic approach. Mathematical Systems Theory 14, 97–139 (1981)
Martin, R.C.: Agile Software Development, Principles, Patterns, and Practices. Prentice-Hall, Englewood Cliffs (2002)
McCarthy, J., Buvac, S.: Formalizing context (expanded notes). In: Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language. American Association for Artificial Intelligence, pp. 99–135 (1997)
Mehler, A.: Text mining with the help of cohesion trees. In: Classification, Automation, and New Media: Proceedings of the 24th Annual Conference of the Gesellschaft für Klassifikation, Passau, Germany, March 2000, pp. 199–206. Springer, Heidelberg (2000)
Minsky, M.: A framework for representing knowledge. In: Winston, P. (ed.) The Psychology of Computer Vision, pp. 211–280. McGraw-Hill, New York (1975)
Newkirk, J., Martin, R.: Extreme Programming in Practice (The XP Series). Addison-Wesley, Reading (2001)
Nürnberg, P.J. (ed.): MIS 2002. LNCS, vol. 2641. Springer, Heidelberg (2003)
Peterson, J.L.: Petri Nets: Theory and the Modeling of Systems. Prentice Hall Inc., Englewood Cliffs
Pierce, B.C.: Basic Category Theory for Computer Scientists. The MIT Press Cambridge, London (1991)
Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theoretical Computer Science 249(1), 3–80 (2000)
Sadeh, N.M.: m-Commerce: Technologies, Services and Business Models. Wiley, Chichester (2002)
Shannon, C.E., McCarthy, J. (eds.): Automata Studies. Princeton University Press, Princeton (1956)
van Oosten, J.: Basic Category Theory. BRICS Lecture Series LS-95-1, University of Aarhus, Denmark (January 1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berka, T. (2004). Context Modeling for Software Design. In: Hicks, D.L. (eds) Metainformatics. MIS 2003. Lecture Notes in Computer Science, vol 3002. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24647-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-24647-3_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22010-7
Online ISBN: 978-3-540-24647-3
eBook Packages: Springer Book Archive