|
ConceptBase
ConceptBase (a.k.a. ConceptBase.cc) is a deductive and object-oriented database management system developed at University of Aachen and University of Skövde. It is mainly used for conceptual modeling and metamodeling in the domain of software engineering and related domains. ConceptBase.cc is free and open-source software. ConceptBase combines the following features: * Object-oriented concepts such as classes and inheritance * Deductive rules evaluated by a Datalog engine * Active rules conforming to the event condition action (ECA) paradigm * Recursive function definitions * Metamodeling with arbitrarily many abstraction levels (metaclasses, meta metaclasses) ConceptBase implementO-Telos which is a variant of the knowledge representation Telos. See also * MetaCASE tool A metaCASE tool is a type of application software that provides the possibility to create one or more modeling methods, languages or notations for use within the process of software development. Often the resu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Datalog
Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model. This difference yields significantly different behavior and properties from Prolog. It is often used as a query language for deductive databases. In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, cloud computing and machine learning. Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases. David Maier is credited with coining the term Datalog. Features, limitations and extensions Unlike in Prolog, statements of a Datalog program can be stated in any order. Furthermore, Datalog queries on finite sets are guaranteed to terminate, so Datalog does not have Prolog's cut operator. Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Event Condition Action
Event condition action (ECA) is a short-cut for referring to the structure of active rules in event driven architecture and active database systems. Such a rule traditionally consisted of three parts: *The ''event'' part specifies the signal that triggers the invocation of the rule *The ''condition'' part is a logical test that, if satisfied or evaluates to true, causes the action to be carried out *The ''action'' part consists of updates or invocations on the local data This structure was used by the early research in active databases which started to use the term ECA. Current state of the art ECA rule engines use many variations on rule structure. Also other features not considered by the early research is introduced, such as strategies for event selection into the event part. In a memory-based rule engine, the condition could be some tests on local data and actions could be updates to object attributes. In a database system, the condition could simply be a query to the database, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
MetaCASE Tool
A metaCASE tool is a type of application software that provides the possibility to create one or more modeling methods, languages or notations for use within the process of software development. Often the result is a modeling tool for that language. MetaCASE tools are thus a kind of language workbench, generally considered as being focused on graphical modeling languages. Another definition: ''MetaCASE tools'' are software tools that support the design and generation of CASE tools. In general, metaCASE tools should provide generic CASE tool components that can be customised and instantiated into particular CASE tools. The intent of metaCASE tools is to capture the specification of the required CASE tool and then generate the tool from the specification. Overview Quick CASE tools overview Building large-scale software applications is very complicated process which is not easy to handle. Software companies must have good system of cooperation throughout developing teams and good di ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Database Management System
In computing, a database is an organized collection of data stored and accessed electronically. Small databases can be stored on a file system, while large databases are hosted on computer clusters or cloud storage. The design of databases spans formal techniques and practical considerations, including data modeling, efficient data representation and storage, query languages, security and privacy of sensitive data, and distributed computing issues, including supporting concurrent access and fault tolerance. A database management system (DBMS) is the software that interacts with end users, applications, and the database itself to capture and analyze the data. The DBMS software additionally encompasses the core facilities provided to administer the database. The sum total of the database, the DBMS and the associated applications can be referred to as a database system. Often the term "database" is also used loosely to refer to any of the DBMS, the database system or an applicati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
RWTH Aachen
RWTH Aachen University (), also known as North Rhine-Westphalia Technical University of Aachen, Rhine-Westphalia Technical University of Aachen, Technical University of Aachen, University of Aachen, or ''Rheinisch-Westfälische Technische Hochschule Aachen'', is a German public research university located in Aachen, North Rhine-Westphalia, Germany. With more than 47,000 students enrolled in 144 study programs, it is the largest technical university in Germany. In 2018, the university was ranked 31st in the world university rankings in the field of engineering and technology, and 36th world-wide in the category of natural sciences.Daten & Fakten – RWTH AACHEN UNIVERSITY – Deutsch Rwth-aachen.de (12 December 2011). Retrieved on 2013-09-18. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Skövde
The University of Skövde (in Swedish: Högskolan i Skövde, HIS) is a state university in Skövde, Sweden. The University of Skövde was granted university status in 1983 and is now an academic institution with general and specialised educational programmes in topics like Business, Health, Biomedicine and Computer game design. Research, education, and PhD training at the university are divided on four schools; Bioscience, Business, Health and Education, Engineering Science, and Informatics. The university has approximately 9,000 students (4,000 FTE) in 50 undergraduate and 10 graduate programmes. History The foundation for the university was laid in the 1970s by an act of the Swedish Parliament. The university was established in 1977. In its first year, the university offered 300 educational places. University status was achieved in 1983. The university moved to new premises in the mid-1980s in order to accommodate for a growing student body. The new campus was housed in th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metamodeling
A metamodel or surrogate model is a model of a model, and metamodeling is the process of generating such metamodels. Thus metamodeling or meta-modeling is the analysis, construction and development of the frames, rules, constraints, models and theories applicable and useful for modeling a predefined class of problems. As its name implies, this concept applies the notions of meta- and modeling in software engineering and systems engineering. Metamodels are of many types and have diverse applications. Overview A metamodel/ surrogate model is a model of the model, i.e. a simplified model of an actual model of a circuit, system, or software like entity. Metamodel can be a mathematical relation or algorithm representing input and output relations. A model is an abstraction of phenomena in the real world; a metamodel is yet another abstraction, highlighting properties of the model itself. A model conforms to its metamodel in the way that a computer program conforms to the gramma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Software Engineering
Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' programmer'' is sometimes used as a synonym, but may also lack connotations of engineering education or skills. Engineering techniques are used to inform the software development process which involves the definition, implementation, assessment, measurement, management, change, and improvement of the software life cycle process itself. It heavily uses software configuration management which is about systematically controlling changes to the configuration, and maintaining the integrity and traceability of the configuration and code throughout the system life cycle. Modern processes use software versioning. History Beginning in the 1960s, software engineering was seen as its own type of engineering. Additionally, the development of soft ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metamodeling
A metamodel or surrogate model is a model of a model, and metamodeling is the process of generating such metamodels. Thus metamodeling or meta-modeling is the analysis, construction and development of the frames, rules, constraints, models and theories applicable and useful for modeling a predefined class of problems. As its name implies, this concept applies the notions of meta- and modeling in software engineering and systems engineering. Metamodels are of many types and have diverse applications. Overview A metamodel/ surrogate model is a model of the model, i.e. a simplified model of an actual model of a circuit, system, or software like entity. Metamodel can be a mathematical relation or algorithm representing input and output relations. A model is an abstraction of phenomena in the real world; a metamodel is yet another abstraction, highlighting properties of the model itself. A model conforms to its metamodel in the way that a computer program conforms to the gramma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Mylopoulos
John Mylopoulos (born 12 July 1943) is a Greek-Canadian computer scientist, Professor at the University of Toronto, Canada, and at the University of Trento, Italy. He is known for his work in the field of conceptual modeling, specifically the development an agent-oriented software development methodology. called TROPOS. Biography Born in Greece in 1943, Mylopoulos in 1966 received his Bachelor of Engineering from Brown University. In 1970 he received his PhD from Princeton University under supervision of Theodosios Pavlidis with the thesis, entitled "On the Definition and Recognition of Patterns in Discrete Spaces." In 1966, he started his academic career as Assistant Professor at the University of Toronto, where he in 1971 he was appointed Professor in Computer Science. In 2009, he was also appointed Professor of Computer Science at the University of Trento. In 1986, Mylopoulos was elected President of the Greek Community of Toronto. He served for 2 years until 1988. Mylopoul ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Object-oriented Database Management Systems
Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which can contain data and code. The data is in the form of fields (often known as attributes or ''properties''), and the code is in the form of procedures (often known as ''methods''). A common feature of objects is that procedures (or methods) are attached to them and can access and modify the object's data fields. In this brand of OOP, there is usually a special name such as or used to refer to the current object. In OOP, computer programs are designed by making them out of objects that interact with one another. OOP languages are diverse, but the most popular ones are class-based, meaning that objects are instances of classes, which also determine their types. Many of the most widely used programming languages (such as C++, Java, Python, etc.) are multi-paradigm and they support object-oriented programming to a greater or lesser degree, typically in combination with impera ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
