Abstract
This is a report about cooperation projects with the Common IT-department of the Hessian judicial authority (Gemeinsame IT-Stelle der hessischen Justiz, called GIT in the following) and other Hessian public institutions. In the context of modeling and software development using state-of-the-art schema management technologies, the area of protection and security in digital networks undergoes changes towards more responsibility in dealing with technology, organization and human users. From the perspective of language theory, the available commercial systems such as NetWeaver (SAP), WebSphere (IBM) or SharePoint Server (MS) can be seen as schema-management systems. From the point of view of programming and transaction technology it will be interpreted as servicebase-management systems. Concerning the current protection and security of GIT’s application systems two solutions will be presented here, parts of which have already been implemented. Thus, this paper focuses on the standardization of data elements and the standardization of functional elements, which ensure the domain-specific semantic integrity of data and functions in enterprises and administrations. At the end, we will discuss the change we are witnessing among IT experts as well as IT users globally due to language-based technologies such as Semantic Web, Wikis, Google, Facebook, etc., here shown using the example of the Hessian judicial authority. This change is reflected also in education, especially with respect to providing language-based modeling know-how for everybody.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Burgemeestre, B., Hulstijn, J., Tan, Y.-H.: Rule-based versus Principle-based Regulatory Compliance. In: Proceeding of the 2009 Conference on Legal Knowledge and Information Systems, pp. 37–46. IOS Press, Amsterdam (2009)
Bauer, C., King, G.: Java persistence with Hibernate: Revised edition of Hibernate in action. Manning, Greenwich, Conn. (2007)
Baier, C., Katoen, J.-P.: Principles of model checking. MIT Press, Cambridge (2008)
Burke, B., Monson-Haefel, R.: Enterprise JavaBeans 3.0, 5th edn. Auflage. O’Reilly Media, Sebastopol (2006)
Burke, B.E.: Unified Content Security: Securing the Borderless Enterprise, Framigham, MA (2010)
Carl, W.: Bertrand Russell: Die Theory of Descriptions. Ihre logische und erkenntnisteoretische Bedeutung. In: Speck, J. (Hrsg.) Grundprobleme der großen Philosophen, pp. 215–163. Vandenhoeck u. Ruprecht, Göttingen (1972)
Date, C.J.: Logic and databases: The roots of relational theory. Trafford Publ., Victoria (2007)
Engels, G., Hess, A., Humm, B., Juwig, O., Lohmann, M., Richter, J.-P., Voß, M., Willkomm, J.: Quasar enterprise: Anwendungslandschaften serviceorientiert gestalten. dpunkt.Verl., Heidelberg (2008)
Fischer, M.: Über Sinnhaftigkeit und Bedeutsamkeit der Frege’schen Logik im Software-Engineering: Diplomarbeit, Darmstadt (September 8, 2008)
Fischer, M.: Eine Logik zur Abbildung arbeitsteiliger komplexer Prozessschemata. In: Ortner, E. (Hrsg.) Konstruktive Informatik, pp. 23–30. Shaker Verlag, Aachen (2010)
Fischer, M., Link, M., Ortner, E., Zeise, N.: Servicebase Management Systems: A Three-Schema-Architecture for Service-Management. In: Fähnrich, K.-P. (Hrsg.) Informatik 2010, Bonn, pp. 730–735. Gesellschaft für Informatik (2010)
Gray, J., Reuter, A.: Transaction processing: Concepts and techniques, 9th edn. Auflage. Morgan Kaufmann, San Francisco (2002)
Hilbert, D., Bernays, P.: Grundlagen der Mathematik I, Berlin (1934)
Hilbert, D., Bernays, P.: Grundlagen der Mathematik II, Berlin (1939)
Heinemann, E.: Jenseits der Programmierung: Mit T-Shaping erfolgreich in die IT-Karriere starten. Hanser, München (2010)
Haerder, T., Lehner, W. (Hrsg.) Data Management in a Connected World: Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday. Springer-Verlag GmbH, Heidelberg (2005)
Haerder, T., Rahm, E.: Datenbanksysteme: Konzepte und Techniken der Implementierung, 2nd edn. Auflage. Springer, Berlin (2001)
Huppertz, P.G.: IT-Service - Der Kern des Ganzen. live IT!L, Bad Homburg (2006)
Inhetveen, R.: Logik: Eine dialog-orientierte Einführung. Ed. am Gutenbergplatz, Leipzig (2003)
Inhetveen, R.: Abschied von der Bildung. In: Heinemann, E. (Hrsg.) Anwendungsinformatik, pp. 235–242. Nomos-Verl.-Ges., Baden (2008)
Knolmayer, G., Herbst, H.: Business Rules. Wirtschaftsinformatik 35(4), 386–390 (1993)
Kamlah, W., Lorenzen, P.: Logical propaedeutic: Pre-school of reasonable discourse. University Press of America, Lanham (1984)
Kuenne, W.: Die philosophische Logik Gottlob Freges: Ein Kommentar. Mit den Texten des Vorworts zu ”Grundgesetz der Arithmetik” und der ”Logischen Untersuchungen I - IV”. Klostermann, Frankfurt am Main (2010)
Lorenzen, P.: Lehrbuch der konstruktiven Wissenschaftstheorie. BI-Wiss.-Verl., Mannheim (1987)
Mittelstraß, J.: Wissen und Grenzen: Philosophische Studien. Suhrkamp, Frankfurt am Main (2001)
Maglio, P.P., Kieliszewski, C.A., Spohrer, J.C.: Handbook of Service Science. Springer Science+Business Media LLC, Boston (2010)
Ortner, E., Rössner, J., Söllner, B.: Entwicklung und Verwaltung standardisierter Datenelemente. Informatik Spektrum 13(1), 17–30 (1990)
Ortner, E.: Aspekte einer Konstruktionssprache für den Datenbank-Entwurf. Dissertation, Technische Universität Darmstadt, Darmstadt (Mai 1982)
Ortner, E.: Methodenneutraler Fachentwurf: Zu den Grundlagen einer anwendungsorientierten Informatik. Teubner, Stuttgart (1997)
Ortner, E.: Sprachbasierte Informatik: Wie man mit Wörtern die Cyber-Welt bewegt. Edition am Gutenbergplatz, Leipzig (2005)
Peirce, B.C.: Type Theory Comes of Age. Communications of the ACM 53(2), 16–17 (2010)
Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)
Roehrle, J., Kratzer, K.: Verwaltung von Integritätsbedingungen in einem Datenwörterbuch. Angewandte Informatik 30(1), 18–26 (1988)
Shadbolt, N., Hall, W., Berners-Lee, T.: The Semantic Web Revisited. IEEE Intelligent Systems 21(3), 96–101 (2006)
Steinbauer, D., Wedekind, H.: Integritätsaspekte in Datenbanksystemen. Informatik Spektrum 8(2), 60–68 (1985)
Wedekind, H.: Zur Durchführung des § 6,1 BDSG. Datenschutz und Datensicherheit (4), 181–185 (1978)
Wedekind, H.: Erweiterung einer Entwicklungsmethodologie für Datenbanksysteme um eine Komponente zum Schutz vor Missbrauch von personenbezogenen Daten: Zu einer Methodologie und Teleologie einer Angewandten Informatik. Angewandte Informatik (7), 255–265 (1980)
Wedekind, H.: Datenbanksysteme: Eine konstruktive Einführung in die Datenverarbeitung in Wirtschaft und Verwaltung, 2. Auflage. B.I.-Wiss.-Verl., Mannheim (1981)
Wedekind, H., Ortner, E.: Systematisches Konstruieren von Datenbankanwendungen: Zur Methodologie der Angewandten Informatik. Carl Hanser Verlag, München (1980)
Wedekind, H., Ortner, E.: Toward universal literacy: From computer science upward. Communications of the ACM 47(6), 101–104 (2004)
Wedekind, H., Ortner, E., Inhetveen, R.: Informatik als Grundbildung. 6 Aufsätze: Informatik-Spektrum 27(2) (2004), bis 28(1) (2005)
Zeise, N., Link, M., Ortner, E.: Controlling of Dynamic Enterprises by Indicators – A Foundational Approach. In: zur Muehlen, M., Su, J. (eds.) BPM 2010 Workshops. LNBIP, vol. 66, pp. 521–530. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Ortner, E. (2012). Privacy and Security in Digital Networks from the Perspective of Modeling and Software Development. In: Meghanathan, N., Chaki, N., Nagamalai, D. (eds) Advances in Computer Science and Information Technology. Networks and Communications. CCSIT 2012. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 84. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27299-8_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-27299-8_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27298-1
Online ISBN: 978-3-642-27299-8
eBook Packages: Computer ScienceComputer Science (R0)