Academia.eduAcademia.edu

Outline

Title
Abstract
Data Problems for Model Suites
Sensor Data
Micro-Data
Meso-Data
Macro-Data
Introduction
Conclusion and Future Work
Engineering Database Component Ware
Database Components and Construction of Schemes
Database Components and Component Algebra
Collaborating Database Component Suites
Database Component Collaboration
Historical Background
Future Directions
References
All Topics
Computer Science
Software Engineering

Model Engineering Recent Papers

Profile image of Bernhard ThalheimBernhard Thalheim

Abstract

Typical system specification consists of a number of models for different facets and aspects of the system. UML-based development uses for instance at least half-dozen different diagrams which coherence is not given in an explicit form. Sometimes, systems description is based on a variety of abstraction levels. These abstraction level refer to each other in some fuzzy informal way. This paper aims in the development of a theory of multi-model development. We introduce model suites as a set of models with explicit associations among the models, with explicit controllers for maintenance of coherence of the models, with application schemata for their explicit maintenance and evolution, and tracers for establishment of their coherence. This theory has been tested against typical applications such as OLTP-OLAP architectures, multi-model suites at the same abstraction layer, and challenging applications for scientific databases. Model suites are based on a general theory, on a specification technology and on an implementation technology for sets of models that share common submodels, that collaborate and that evolve over time, with new or corrected data and with new analysis tasks. These models must be tightly coupled. Model suites are used to specify this model coupling and model collaboration. Renewable and evolving model clusters are going to be developed for the development of a theory and supporting technology. Collaboration and Distribution of Models Specification of distribution has neglected over a long period. Instead of explicit specification of distribution, multi-database systems and federated database systems have been extensively discussed in the literature. From the other side, database research has succeeded in developing approaches that incorporate conceptual specification and allow to reason on systems at a far higher abstraction level. With the advent of web information systems systems became naturally distributed. Therefore, we need a techniques for conceptual description of distribution. Distribution does not stand alone but follows computations and business needs. Thus, we need to consider structuring, functionality and distribution at the same time. Since these aspects are intertwined with each other and systems cooperate, communicate and coordinate their action we base our consideration on collaboration. It integrates communication, coordination and cooperation. In this paper we develop a specification framework for collaborating systems.

Related papers

CO-OPN/2 - A Specification Language for Distributed Systems Engineering
Olivier Biberstein

1996

In this article we present the concurrent object-oriented specification language CO-OPN/2 which extends the CO-OPN (Concurrent Object Oriented Petri Nets) formalism, destined to support the development of large distributed systems. The development of distributed applications has recently been the subject of intensive research, due to potential benefits that can be expected to offer in increasing reliability and overall performance of computer processing. One way of improving the effectiveness of the distributed system construction is to adopt a rigorous approach for system development, based on structuring principles. The CO-OPN/2 approach proposes a specification language, based on the object-oriented paradigm, which includes a fine description of true concurrent behavior. This hybrid approach (model and property-oriented) allows for a description of the concurrent aspects through the use of a high-level Petri nets formalismwhich includes data structures expressed with the algebrai...

View PDFchevron_right
Model-driven planning and design of cooperative information systems
Manfred Jeusfeld

Cooperative information systems (CIS) aim at continued cooperativity between user groups through componentized networks of information systems. Change management is therefore a definitional part of CIS. We advocate a conceptual modeling strategy for addressing this task, and illustrate it with experiences gained in WibQuS, a project aimed at CIS support for Total Quality Management in manufacturing organizations. These experiences emphasize the role of meta models in focusing the change process. Specific meta models and supporting environments are presented for: cooperative business process modeling in distributed organizations; simulation analysis of short-term and long-term effects of information flow designs; forward and reverse mappings between a distributed (relational) system interoperability layer and the information flow model. Models are not just analyzed at change time, but also support planned and unplanned information flows at runtime. We conceptualize CIS as a layered network of user and system components as sketched in Figure 1. At the system level, the old idea of one-time view integration-followed by the integrated design of an integrated system-is replaced by a trend towards componentization (including the 'wrapping' of legacy software) into small and easily re-configurable objects. Coordination between these units is no longer hardcoded in applications but dynamically achieved by workflow mechanisms. At the usage level, we observe very similar phenomena. Formal organizations are being decomposed into small autonomous units with market-oriented rather than hierarchical coordination [Malone et al., formal organization system integration 1 2 3 user group 1 user group 2 user group n system component 1 system component m system component 2 4 1 WibQuS is the German abbreviation for "Knowledge-based Systems in Quality Management".

View PDFchevron_right
An approach for the interoperation of web-distributed applications with a design model
john kunz

Automation in Construction, 1999

This paper defines the data and inference requirements for the integration of analysis applications with a product model described by a CADrCAE application. Application input conditions often require sets of complex data that may be considered views of a product model database. We introduce a method that is compatible with the STEP and PLIB product description standards to define an intermediate model that selects, extracts, and validates views of information from a product model to serve as input for an engineering CADrCAE application. The intermediate model framework was built Ž. and tested in a software prototype, the Internet Broker for Engineering Services IBES. The first research case for IBES integrates applications that specify certain components, for example pumps and valves, with a CADrCAE application. This paper therefore explores a subset of the general problem of integrating product data semantics between various engineering applications. The IBES integration method provides support for a general set of services that effectively assist interpretation and validate information from a product model for an engineering purpose. Such methods can enable application interoperation for the automation of typical engineering tasks, such as component specification and procurement.

View PDFchevron_right
A Brief History of Models and Model Based Systems Engineering and the Case for Relational Orientation
Dimitri N. Mavris

IEEE Systems Journal, 2013

Models are at the heart of science and engineering. Model based approaches to software development and systems engineering use technologies to include graphical modeling languages such as the Systems Modeling Language (SysML) that support system design and analysis through machine readable models. This paper traces key historical contributions of software and systems engineers over the past five decades beginning with Yourdon and Wymore to show a coherent concept of models and how they can be used for software and systems engineering. Recent model based systems engineering (MBSE) methodologies supported by commercially available modeling tools are also summarized. Relational Orientation is seen to be the underlying viewpoint that expresses and binds these approaches. Relational Orientation for Systems Engineering (ROSE) is then specified using a general systems methodology. Systems are seen to access each other's models in ROSE much like classes in Object Orientation access each other's objects. Object oriented frames for software engineering are extended to relational frames to specify an innovative framework for system design and analysis. This generalizes the axiomatic design approach of N.P. Suh. A repeatable procedure supporting greater concurrency between design and verification is also demonstrated for searching the solution space in linear axiomatic design.

View PDFchevron_right
Editorial for the theme issue on model-based interoperability
Jorn Bettin

Software and System Modeling

View PDFchevron_right
Co-Design of Structuring, Functionality, Distribution, and
Bernhard Thalheim

Database development has mainly be considered as development of database structuring. Functionality and interactivity specification has been neglected in the past. The derivability of functionality has been a reason for this restriction of the database design approach. At the same time, applications and the required functionality became more complex. Functionality specification may be based on workflow engines. Interaction support is often not specified but hidden within the interfaces. It may, however, be specified through the story space and the supporting media type suite. Distributed applications are based on an explicit specification of import/export views, on services provided and on exchange frames. The integration of all these parts has not yet been performed. The co-design approach aims in bridging all these different aspects of applications and provides additionally a sound methodology for development of all these aspects.

View PDFchevron_right
Dependencies between Models in the Model-driven Design of Distributed Applications
M. Sinderen

2005

In our previous work, we have defined a model-driven design approach based on the organization of models of a distributed application according to different levels of platform-independence. In our approach, the design process is structured into a preparation and an execution phase. In the preparation phase, (abstract) platforms and transformation specifications are defined. These results are used by a designer in the execution phase to develop a specific application. In this paper, we analyse the dependencies between the various types of models used in our design approach, including platform-independent and platform-specific models of the application, abstract platforms, transformation specifications and transformation parameter values. We consider models as modules and employ a technique to visualize modularity which uses Design Structure Matrices (DSMs). This analysis leads to requirements for the various types of models and directives for the design process which reduce undesirable dependencies between models.

View PDFchevron_right
Co-design of structuring, functionality, distribution, and interactivity for information systems
Bernhard Thalheim

Database development has mainly be considered as development of database structuring. Functionality and interactivity specification has been neglected in the past. The derivability of functionality has been a reason for this restriction of the database design approach. At the same time, applications and the required functionality became more complex. Functionality specification may be based on workflow engines. Interaction support is often not specified but hidden within the interfaces. It may, however, be specified through the story space and the supporting media type suite. Distributed applications are based on an explicit specification of import/export views, on services provided and on exchange frames. The integration of all these parts has not yet been performed. The co-design approach aims in bridging all these different aspects of applications and provides additionally a sound methodology for development of all these aspects.

View PDFchevron_right
Formal Model-Driven Development of Communicating Systems
Linas Laibinis

Lecture Notes in Computer Science, 2005

Model-driven development has gained increasing acceptance in the engineering community. Via abstraction and gradual model transformation, it offers an efficient way to cope with complexity of modern software-intensive systems, typical examples of which are distributed telecommunicating systems and communication protocols. However, variety of models representing the system structure and behaviour from different viewpoints and at different levels of abstraction raise the question of model consistency and their adherence to the predefined architectural rules. In this paper we formalize a development flow of distributed telecommunicating systems and communication protocols as an architectural profile in UML. We specify and formally verify this profile. The profile allows us to check adherence of models to the predefined architectural rules. Furthermore, by formalizing and verifying intra-and interconsistency rules, we ensure that the models do not contradict to each other. We use the B Method as our formal framework. The presented work establishes a basis for automating model-driven development of telecommunicating systems and communication protocols.

View PDFchevron_right
Towards Automated Model-Driven Development of Distributed Communicating Systems and Communication Protocols
Linas Laibinis

Model-driven development has gained increasing acceptance in the engineering community. Via abstraction and gradual model transformation, it offers an efficient way to cope with complexity of modern software-intensive systems, typical examples of which are distributed telecommunicating systems and communication protocols. However, variety of models representing the system structure and behaviour from different viewpoints and at different levels of abstraction raise the question of model consistency and their adherence to the predefined architectural rules. In this paper we formalize a development flow of distributed telecommunicating systems and communication protocols as an architectural profile in UML. We specify and formally verify this profile. The profile allows us to check adherence of models to the predefined architectural rules. Furthermore, by formalizing and verifying intra-and interconsistency rules, we ensure that the models do not contradict to each other. We use the B Method as our formal framework. The presented work establishes a basis for automating model-driven development of telecommunicating systems and communication protocols.

View PDFchevron_right

References (111)

  1. A. Berztiss and B. Thalheim. Exceptions in information systems. In Digital Libaries: Advanced Methods and Technologies, RCDL 2007, pages 284-295, 2007.
  2. E. Börger and B. Thalheim. Modeling workflows, interaction patterns, web ser- vices and business processes: The asm-based approach. In ABZ, volume 5238 of Lecture Notes in Computer Science, pages 24-38. Springer, 2008.
  3. J. Demetrovics, A. Molnar, and B. Thalheim. Graphical axiomatisation of sets of functional dependencies in relational databases. In Alkalmazott Matematikai Lapok, volume 24, pages 223-264. 2007.
  4. K.-D. Schewe F. Riaz-ud Din, R. Noack, H. Ma, and B. Thalheim. Capturing forms in information systems design. In 4th International Conference on Innova- tions in Information Technology (Innovations'07), 2007.
  5. T. Feyer and B. Thalheim. Many-dimensional schema modeling. In ADBIS 2002, LNCS 2435, pages 305-318. Springer, 2002. [JTK + 08] H. Jaakkola, B. Thalheim, Y. Kidawara, K. Zettsu, Y. Chen, and A. Heimbürger. Information modelling and global risk management systems. In H. Jaakkola and Y. Kiyoki, editors, EJC'2008, Information Modeling and Knowledge Bases XVI. IOS Press, 2008.
  6. H.-J. Lenz and B. Thalheim. OLTP-OLAP schemes for sound applications. In TEAA 2005, volume LNCS 3888, pages 99-113, Trondheim, 2005. Springer.
  7. H.-J. Lenz and B. Thalheim. Warning -cube may mislead. In CSIT'06, volume 2, pages 7-16, Amman, Jordan, 2006.
  8. A. Molnar, J. Demetrovics, and B. Thalheim. Graphical and spreadsheet reasoning for sets of functional dependencies. Technical Report 2004-2, Christian Albrechts University Kiel, Institute of Computer Science and Applied Mathematics, Kiel, 2004.
  9. H. Ma, K.-D.Schewe, B. Thalheim, and J. Zhao. View integration and cooperation in databases, data warehouses and web information systems. Journal on Data Semantics, LNCS 3730, pages 213-249, 2005.
  10. Hui Ma, K.-D. Schewe, and B. Thalheim. Integration and cooperation of media types. In ISTA'05, 2005.
  11. H. Ma, K.D. Schewe, B. Thalheim, and J. Zhao. View integration and cooperation in databases, data warehouses and web information systems. Technical Report 2004-8, Massey University, Palmerston North, 2004.
  12. A. Molnar and B. Thalheim. Conceptual development of OLAP applications. In Business Intelligence: Methods and Applications, pages 27 -38. Klöden-Verlag, 2007.
  13. K.D. Schewe and B. Thalheim. Web information systems: Usage, content, and functionality modelling. Technical Report 2004-3, Christian Albrechts University Kiel, Institute of Computer Science and Applied Mathematics, Kiel, 2004.
  14. P. Schmidt and B. Thalheim. Component-based modeling of huge databases. In ADBIS'2004, LNCS 3255, pages 113-128, 2004.
  15. K.-D. Schewe and B. Thalheim. The co-design approach to web information sys- tems development. International Journal of Web Information Systems, 1(1):5-14, March 2005.
  16. K.-D. Schewe and B. Thalheim. Component-driven engineering of database appli- cations. In Markus Stumptner, Sven Hartmann, and Yasushi Kiyoki, editors, Third Asia-Pacific Conference on Conceptual Modelling (APCCM2006), volume 53 of CRPIT, pages 105-114, Hobart, Australia, 2006. ACS.
  17. K.-D. Schewe and B. Thalheim. Development of collaboration frameworks for web information systems. In 20th Int. Joint Conf. on Artifical Intelligence, Section EMC07 (Evolutionary models of collaboration), pages 27-32, Hyderabad, 2007.
  18. P. Schmidt and B. Thalheim. Towards asm engineering and modelling. In Proc. ASM07, pages 191-210, 2007.
  19. K.-D. Schewe and B. Thalheim. Asm foundations of database management. In Information Systems and e-Business Technologies, volume LNBIP 5, pages 318- 331, Berlin, 2008. Springer.
  20. K.-D. Schewe and B. Thalheim. Semantics in data and knowledge bases. In SDKB, volume 4925 of Lecture Notes in Computer Science, page 125. Springer, 2008.
  21. P. Schmidt and B. Thalheim. Management of UML clusters. In J.-R. Abrial and U. Glässer, editors, Rigourous Methods for Software Construction and Analysis, number 5115 in LNCS 5115, Berlin, 2008. Springer.
  22. B. Thalheim. Entity-relationship modeling -Foundations of database technology. Springer, Berlin, 2000.
  23. B. Thalheim. Conceptual modeling in information systems engineering. In J.Krogstie and A. Lothe, editors, Challenges to Conceptual Modelling, pages 59- 74, Berlin, 2007. Springer.
  24. B. Thalheim. Engineering database component ware. In TEAA'06 post proceed- ings, LNCS 4473, pages 1-15, Berlin, 2007. Springer.
  25. B. Thalheim. Pearls of modelling: From relational databases to xml suites. In Liber Amicorum for Jan Paredaens on the occasion of his 60th birthday, pages 120-139. 2007.
  26. B. Thalheim. Achievements and problems of conceptual modelling. In Active Con- ceptual Modeling of Learning, LNCS 4512, pages 72-96, Berlin, 2008. Springer.
  27. B. Thalheim. Model suites. In 2nd International Workshop on Knowledge Cluster Systems, pages 20-40. IOS Press, 2008.
  28. B. Thalheim. Section or subsection. In Encyclopedia of Database Theory, Tech- nology and Systems. Springer, 2009.
  29. S. Abiteboul, R. Hull, and V. Vianu. Foundations of databases. Addison-Wesley, Reading, MA, 1995.
  30. M. Bidoit, D. Sannella, and A. Tarlecki. Architectural specifications in CASL. Formal Asp. Com- put., 13(3-5):252-273, 2002.
  31. E. Börger and B. Thalheim. A method for verifiable and validatable business process modeling. In Software Engineering, volume 5316 of Lecture Notes in Computer Science, page 59115. Springer, 2008.
  32. E. Börger and B. Thalheim. Modeling workflows, interaction patterns, web services and business processes: The asm-based approach. In ABZ, volume 5238 of Lecture Notes in Computer Science, pages 24-38. Springer, 2008.
  33. Z. Diskin. Algebraic models for bidirectional model synchronization. In MoDELS, volume 5301 of Lecture Notes in Computer Science, pages 21-36. Springer, 2008.
  34. G. Fitzpatrick, W.J. Tolone, S. Kaplan, and M. Work. Local and distributed distributed social world. In ECSW, pages 1-16, 1995.
  35. S. J. Hegner. Information-optimal reflections of view updates on relational database schemata. In Sven Hartmann and Gabriele Kern-Isberner, editors, FoIKS 2008, volume 4932 of LNCS, pages 112-131. Springer, 2008.
  36. P. J. Hunter, W. W. Li, A. D. McCulloch, and D. Noble. Multiscale modeling: Physiome project standards, tools, and databases. IEEE Computer, 39(11):48-54, 2006.
  37. H. Jaakkola, T. Mäkinen, B. Thalheim, and T. Varkoi. Evolving the database co-design frame- work by SPICE. In Proc. EJC'05, Informaton Modelling and Knowledge Bases Vol. XVII, Series Frontiers in Arificial Intelligence,, Tallinn, May 2005. IOS Press.
  38. H. Kahlen. Integrales Facility Management -Management des ganzheitlichen Bauens. Werner- Verlag, Düsseldorf, 1999.
  39. KBF + 05] T. Kruscha, B. Briel, G. Fiedler, K. Jannaschk, T. Raak, and B. Thalheim. Integratives HMI- Warehouse für einen durchgängigen HMI-Entwicklungsprozess. In Elektronik im Kraftfahrzeug 2005. 12. Internationaler Kongress Electronic Systems for Vehicles, number 1907 in VDI-Berichte. VDI, VDI-Verlag, 2005.
  40. Thomas Kreifelts, Elke Hinrichs, and Gerd Woetzel. Bscw-flow: Workflow in web-based shared workspaces. In Christoph Bussler, Paul W. P. J. Grefen, Heiko Ludwig, and Ming-Chien Shan, ed- itors, Cross-Organisational Workflow Management and Co-ordination, volume 17 of CEUR Work- shop Proceedings. CEUR-WS.org, 1999.
  41. Victor Kaptelinin, Kari Kuutti, and Liam J. Bannon. Activity theory: Basic concepts and applica- tions. In Brad Blumenthal, Juri Gornostaev, and Claus Unger, editors, EWHCI, volume 1015 of Lecture Notes in Computer Science, pages 189-201. Springer, 1995.
  42. H. König. Protocol Engineering: Prinzip, Beschreibung und Entwicklung von Kommunikation- sprotokollen. Teubner, Stuttgart, 2003.
  43. H.-J. Lenz and B. Thalheim. OLTP-OLAP schemes for sound applications. In TEAA 2005, volume LNCS 3888, pages 99-113, Trondheim, 2005. Springer.
  44. Thomas W. Malone and Kevin Crowston. The interdisciplinary study of coordination. ACM Com- put. Surv., 26(1):87-119, 1994.
  45. Orrin H. Pilkey and Linda Pilkey-Jarvis. Useless Arithmetic: Why Environmental Scientists Cant't Predict the Future. Columbia University Press, New York, 2006.
  46. T. Raak. Database systems architecture for facility management systems. Master's thesis, FHL, Civil Engineering Dept., Cottbus, 2002.
  47. K.-D. Schewe and B. Thalheim. Development of collaboration frameworks for web information systems. In IJCAI'07 (20th Int. Joint Conf on Artificial Intelligence, Section EMC'07 (Evolutionary models of collaboration), pages 27-32, Hyderabad, 2007.
  48. K.-D. Schewe and B. Thalheim. Semantics in data and knowledge bases. In SDKB, volume 4925 of Lecture Notes in Computer Science, page 125. Springer, 2008.
  49. P. Schmidt and B. Thalheim. Management of UML clusters. In J.-R. Abrial and U. Glässer, editors, Rigourous Methods for Software Construction and Analysis, number 5115 in LNCS, Berlin, 2008.
  50. O. Seleznev, B. Thalheim, and S. Yigitbasi. Statisitical evaluation methods for dynamics in envi- ronmental data. Technical Report I-07/1999, Brandenburg University of Technology at Cottbus, Institute of Computer Science Institute, 1999.
  51. J.E. Safra, I. Yeshua, and et. al. Encyclopaedia Britannica. Merriam-Webster, 2003.
  52. G. Teege. Object-oriented activity support: A model for integrated cscw systems. Computer Sup- ported Cooperative Work, 5(1):93-124, 1996.
  53. B. Thalheim. Entity-relationship modeling -Foundations of database technology. Springer, Berlin, 2000.
  54. B. Thalheim. Codesign of structuring, functionality, distribution and interactivity. Australian Com- puter Science Comm., 31(6):3-12, 2004. Proc. APCCM'2004.
  55. YTS + 99] S. Yigitbasi, B. Thalheim, K. Seelig, S. Radochla, and R. Jurk. Entwicklung und Bereitstellung einer Forschungs-und Umweltdatenbank für das BTUC Innovationskolleg. In F. Hüttl, D. Klem, and E. Weber, editors, Rekultivierung von Bergbaufolgelandschaften, pages 269-282. Walter de Gruyter, Berlin, 1999. References
  56. D. Bjørner. Software Engineering 3: Domains, requirements, and software design. Springer, Berlin, 2006.
  57. E. Börger, , and L. Mearelli. Integrating ASM into the software development life cycle. J. Universal Computer Science, 3(5):603-665, 1997.
  58. B. Boehm. A view of 20th and 21st century software engineering. In Proc. ICSE'06, pages 12-29, ACM Press, 2006.
  59. E. Börger. The ASM refinement method. Formal Aspects of Computing, 15:237-257, 2003.
  60. E. Börger and W. Schulte. Architecture Design and Validation Methods, chapter Mod- ular design for the Java virtual machine architecture, pages 297-357. Springer, Berlin, 2000.
  61. E. Börger and R. Stärk. Abstract state machines -A method for high-level system design and analysis. Springer, Berlin, 2003.
  62. A. Bienemann, K.-D. Schewe, and B. Thalheim. Towards a theory of genericity based on government and binding. In Proc. ER'06, LNCS 4215, pages 311-324. Springer, 2006.
  63. N. Chomsky. Some concepts and consequences of the theory of government and bind- ing. MIT Press, 1982.
  64. L. J. Heinrich. Informationsmanagement: Planung, Überwachung und Steuerung der Informationsinfrastruktur. Oldenbourg Verlag, München, 1996.
  65. D. Harel and R. Marelly. Come, Let's play: Scenario-based programming using LSCs and the play-engine. Springer, Berlin, 2003.
  66. A. Hunt and D. Thomas. The pragmatic programmer -From Journeyman to master. Addison-Wesley, Boston, 2000.
  67. R. Kaschek and B. Thalheim. Towards a theory of conceptual modelling. Submitted for publication, 2006.
  68. B. Meyer. Object-oriented software construction. Prentice Hall, New York, 1988.
  69. G. Schellhorn. ASM refinement and generalizations of forward simulation in data re- finement: A comparison. Theor. Comput. Sci., 336(2-3):403-435, 2005.
  70. J. Siedersleben. Moderne Softwarearchitektur. dpunkt-Verlag, Heidelberg, 2004.
  71. R. Stärk, J. Schmid, and E. Börger. Java and the Java virtual machine. Springer, Berlin, 2001.
  72. K.-D. Schewe and B. Thalheim. Conceptual modelling of web information systems. Data and Knowledge Engineering, 54:147-188, 2005.
  73. K.-D. Schewe and B. Thalheim. Development of collaboration frameworks for web information systems. In IJCAI'07 (20th Int. Joint Conf on Artificial Intelligence, Section EMC'07 (Evolutionary models of collaboration), pages 27-32, Hyderabad, 2007.
  74. H. Stachowiak. Modell. In Helmut Seiffert and Gerard Radnitzky, editors, Handlexikon Zur Wissenschaftstheorie, pages 219-222. Deutscher Taschenbuch Verlag GmbH & Co. KG, München, 1992.
  75. R. Stärk. Abstract state machines: A method for high-level design and analysis -Lec- tures given at ETH Zürich. http://www.inf.ethz.ch/∼staerk/asm04/, 2004.
  76. B. Thalheim. Entity-relationship modeling -Foundations of database technology. Springer, Berlin, 2000.
  77. B. Thalheim. Informationssystem-Entwicklung. In BTU Cottbus, Computer Science Institute, Technical Report I-15-2003, Cottbus, 2003.
  78. B. Thalheim. Component development and construction for database design. Data and Knowledge Engineering, 54:77-95, 2005.
  79. C. Wallace. The semantics of the Java programming language. Technical Report CSE- TR-355-97, University of Michigan, EECS Dept., December 1997.
  80. B.L. Whorf. Lost generation theories of mind, language, and religion. Popular Culture Association, University Microfilms International, Ann Arbor, Mich., 1980.
  81. W. Zimmermann and B. Thalheim. Preface. In ASM 2004, number 3052 in LNCS, pages V-VII, Berlin, 2004. Springer. Remark: This research proposal is an answer to an email exchange between Daniel Klünder and Andreas Prinz who summarised: " Engineering or modelling of ASM itself has not yet given the right attention. " This paper attempts in development of a general ASM modelling approach. References
  82. S. S. Al-Fedaghi, G. Fiedler, and B. Thalheim. Privacy enhanced information sys- tems. In Proc. EJC'05, Informaton Modelling and Knowledge Bases Vol. XVII, Series Frontiers in Arificial Intelligence,, Tallinn, 2005. IOS Press.
  83. J. Biskup and T. Polle. Decomposition of database classes under path functional de- pendencies and onto contraints. In Proc. FoIKS'2000, LNCS 1762, pages 31-49.
  84. Springer, 2000, 2000.
  85. T. Feyer. A Component-Based Approach to Human-Computer Interaction -Specifica- tion, Composition, and Application to Information Services. PhD thesis, BTU Cottbus, Computer Science Institute, Cottbus, Dezember 2003.
  86. T. Feyer and B. Thalheim. Many-dimensional schema modeling. In ADBIS 2002, LNCS 2435, pages 305-318. Springer, 2002.
  87. H. König. Protocol Engineering: Prinzip, Beschreibung und Entwicklung von Kom- munikationsprotokollen. Teubner, Stuttgart, 2003.
  88. V. B. Kudrjavcev. Functional systems. Moscov Lomonossov University Press, Moscov, 1982. (in Russian).
  89. A. I. Malzew. Algebraic systems. Nauka, Moscow, 1970.
  90. J. Paredaens, P. De Bra, M. Gyssens, and D. Van Gucht. The structure of the rela- tional database model. Springer, Berlin, 1989.
  91. J. W. Schmidt and H.-W. Schering. Dockets: a model for adding vaulue to content. In Proc. ER'99, volume 1728 of LNCS, pages 248-262, 1999.
  92. P. Schmidt and B. Thalheim. Component-based modeling of huge databases. In ADBIS'2004, LNCS 3255, pages 113-128, 2004.
  93. K.-D. Schewe and B. Thalheim. Component-driven engineering of database applica- tions. In APCCM'06, volume CRPIT 49, pages 105-114, 2006.
  94. K.-D. Schewe and B. Thalheim. Usage-based storyboarding for web information sys- tems. Technical Report 2006-13, Christian Albrechts University Kiel, Institute of Computer Science and Applied Mathematics, Kiel, 2006.
  95. B. Thalheim. Entity-relationship modeling -Foundations of database technology. Springer, Berlin, 2000.
  96. B. Thalheim. Component construction of database schemes. In Proc. ER'02, LNCS 2503, pages 20-34, 2002.
  97. B. Thalheim. Database component ware. In ADC'2003, pages 13-26. Australian Computer Science Communications, Vol 25, Number 2, 2003.
  98. B. Thalheim. Database component ware. In Proc. ADC'2003, Journal on Research and Practice in Information Technology, vol 17, pages 1-13, 2003.
  99. B. Thalheim. Component development and construction for database design. Data and Knowledge Engineering, 54:77-95, 2005.
  100. P. P. Chen. The entity-relationship model: Toward a unified view of data. ACM TODS, 1(1):9-36, 1976.
  101. M. Gogolla. An extended entity-relationship model -fundamentals and pragmatics. LNCS 767. Springer, Berlin, 1994.
  102. S. Hartmann. Reasoning about participation constraints and Chen's constraints. In ADC, volume 17 of CRPIT, pages 105-113. Australian Computer Society, 2003.
  103. S. Hartmann, A. Hoffmann, S. Link, and K.-D. Schewe. Axiomatizing functional dependencies in the higher-order entity-relationship model. Inf. Process. Lett., 87(3):133-137, 2003.
  104. U. Hohenstein. Formale Semantik eines erweiterten Entity-Relationship-Modells. Teubner, Stuttgart, 1993.
  105. K.-D. Schewe and B. Thalheim. Conceptual modelling of web information systems. Data and Knowledge Engineering, 54:147-188, 2005.
  106. B. Thalheim. Dependencies in relational databases. Teubner, Leipzig, 1991.
  107. B. Thalheim. Entity-relationship modeling -Foundations of database technology. Springer, Berlin, 2000.
  108. B. Thalheim. Codesign of structuring, functionality, distribution and interactivity. Australian Computer Science Comm. 31, 6 (2004), 3-12. Proc. APCCM'2004.
  109. B. Thalheim. Entity-relationship modeling -Foundations of database technology. Springer, Berlin, 2000. J. H. Ter Bekke. Semantic data modelling. Prentice-Hall, London, 1992. REFERENCES
  110. B. Thalheim. Entity-relationship modeling -Foundations of database technology. Springer, Berlin, 2000. J. M. Smith and D.C.W. Smith. Data base abstractions: Aggregation and generalization. ACM Transactions of Database Systems, 2, 1977, 2, 2.
  111. E. Börger. The ASM Refinement Method. Formal Aspects of Computing, 15, 2003, 237-257

Related papers

A model driven engineering approach to develop a cooperative information system
M. Amroune

To reuse one or several existing systems in order to develop a complex system is a common practice in software engineering. This approach can be justified by the fact that it is often difficult for a single Information System (IS) to accomplish all the requested tasks. So, one solution is to combine many different ISs and make them collaborate in order to realize these tasks. We proposed an approach named AspeCiS . His current research activities are conducted at the IRIT laboratory, University of Toulouse. He currently heads PHC CMEP Tassili project nr 10MDU817 with LIRE Laboratory of Mentouri University of Constantine, Algeria. His research interests include requirements engineering and knowledge engineering, in the context of cooperative information systems. . His current research activities are conducted at the LIRE laboratory, University of Constantine. He heads the project of PHC CMEP Tassili with IRIT laboratory of Toulouse 2 University. His research interests include advanced information systems, particularly cooperative information systems, architectures (based on SOA, SMA, ..), and requirements engineering.

View PDFchevron_right
Collaboration 3C = C 3 = Communication + Coordination + Coordination The Kiel Approach to Collaborative Systems Collection of Recent Papers
Bernhard Thalheim

Various database conferences

Specification of distribution has neglected over a long period. Instead of explicit specification of distribution, multi-database systems and federated database systems have been extensively discussed in the literature. From the other side, database research has succeeded in developing approaches that incorporate conceptual specification and allow to reason on systems at a far higher abstraction level. With the advent of web information systems systems became naturally distributed. Therefore, we need a techniques for conceptual description of distribution. Distribution does not stand alone but follows computations and business needs. Thus, we need to consider structuring, functionality and distribution at the same time. Since these aspects are intertwined with each other and systems cooperate, communicate and coordinate their action we base our consideration on collaboration. It integrates communication, coordination and cooperation.

View PDFchevron_right
An integrated modelling approach for complex applications and distributed information systems
Faiez Gargouri

International Journal of Production Economics, 2000

Nowadays, cooperation is one of the main "elds of interest in many domains dealing with information and data representation and treatment (databases, information systems, knowledge bases, production management, etc.). This paper presents an approach and some principles to model the cooperation in complex applications and information systems development. This cooperation is realised by splitting a complex application to some sub-applications each of which is speci"ed using an object-oriented method. The novelty of the approach is mainly the use of a uni"cation model from which the cooperation and integration process is started. The need of a framework for the cooperation in the "eld of modelling is absolute mainly because of new applications complexity and the variety of data they model, use and share.

View PDFchevron_right
Model-based development of software systems: from models to tools
Bernhard Schätz
View PDFchevron_right
The BOS-method architecture: An improved structured approach for the development of distributed information systems
Michael Breu

Lecture Notes in Computer Science, 1993

A crucial point in all system development methods is the consistency problem of analysis at different abstraction levels. This point become even more important in the development of widely distributed information systems which needs to handle the feed back from technical details to the general distribution issues early in the analysis. Although a structured methodology ([Yonrdon 89]), by allowing the study at different levels of abstraction in parallel, is able to handle this feed back problem, it does not overcome the difficulty of managing and monitoring the development process. In order to solve this problem a rigorous life cycle model, structured in phases and stages, is needed. These two requirements appear to be contradictory. This paper shows an improved structured methodology based on event-oriented modelling which harmonizes the parallel analysis on different levels of details with a life cycle based on phases and stages. It presents a methodology using a hierarchy of abstractions of models, which, although based on phases and stages, does not follow the idea of waterfall development.

View PDFchevron_right

Related topics

  • Model-Driven Development
  • Building Information Modeling
    • 580 California St., Suite 400
    San Francisco, CA, 94104
    © 2025 Academia. All rights reserved