1,721,327 research outputs found
Revised Version of the Conceptual Modeling and Design Language TROLL (Extended Abstract)
No full text) Thorsten Hartmann z Jan Kusch y Gunter Saake y Peter Hartel z Abstract Conceptual modeling of complex information systems requires the use of a formal design approach covering both static and dynamic aspects of the system and the modeled Universe of Discourse. A language for conceptual modeling is regarded as a means to write contracts between customers and system designers. Thus on the one hand a certain degree of readability of specifications is necessary for the domain specialist and on the other hand formality is necessary to derive information for further design, implementation, and prototyping issues. In this extended abstract we present the modeling language Troll (the successor version of the language introduced in [JSHS91, JHSS91]) that provides a notation close to object oriented programming languages but also incorporates declarative features for high level design documents. Troll provides abstractions like classes (collections), specialization and roles (is-a), comp..
Transaction Dependencies in Generalized Transaction Structures (Abstract)
No full text) Kerstin Schwarz Can Turker Gunter Saake Institut fur Technische Informationssysteme Otto-von-Guericke-Universitat Magdeburg Postfach 4120, D--39016 Magdeburg, Germany E-mail: [email protected] Phone: ++49/391/67-f18066j12994j18800g Fax: ++49/391/67-12020 The dynamics of complex applications can be modeled by collections of related transactions. Examples for such complex applications are business processes, CSCW applications or design transactions. Transactions in such applications may be long-lived, may need to cooperate, or may require access to different autonomous databases. Furthermore, there are constraints on the execution order and the occurrence of termination events of related transactions, e.g. a certain transaction may only commit if another transaction fails. Thus, the complexity of such advanced applications is often so high that it is difficult to state how an application will behave if certain parts (transactions) fail. Here, a means is..
DSDGen
No full textTooling of DSDGen used for the publication: Jacob Krüger, Alex Mikulinski, Sandro Schulze, Thomas Leich, and Gunter Saake: DSDGen: Extracting Documentation to Comprehend Fork Merges. International Systems and Software Product Line Conference (SPLC), ACM, 2023
DSDGen
No full textTooling of DSDGen used for the publication:
Jacob Krüger, Alex Mikulinski, Sandro Schulze, Thomas Leich, and Gunter Saake: DSDGen: Extracting Documentation to Comprehend Fork Merges. International Systems and Software Product Line Conference (SPLC), ACM, 2023
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Logics for Databases and Information Systems
No full textTemporal Databases 4 1.2.2 Relational Database Histories 5 1.3 Temporal Queries 6 1.3.1 Abstract Temporal Query Languages 7 1.3.2 Expressive Power 11 1.3.3 Space-efficient Encoding of Temporal Databases 13 1.3.4 Concrete Temporal Query Languages 15 1.3.5 Evaluation of Abstract Query Languages using Compilation 16 1.3.6 SQL and Derived Temporal Query Languages 18 1.4 Temporal Integrity Constraints 22 1.4.1 Notions of Constraint Satisfaction 22 1.4.2 Temporal Integrity Maintenance 23 1.4.3 Temporal Constraint Checking 25 1.5 Multidimensional Time 27 1.5.1 Why Multiple Temporal Dimensions? 27 1.5.2 Abstract Query Languages for Multi-dimensional Time 28 1.5.3 Encoding of Multi-dimensional Temporal Databases 30 1.6 Beyond First-order Temporal Logic 31 1.7 Conclusions 33 References 33 Index 39 v 1 TEMPORAL LOGIC IN INFORMATION SYSTEMS Jan Chomicki and David Toman Abstract: Temporal logic is obtained by adding temporal connectives to a logic language. Explicit references to time are hid..
Variations on the Author
Full text link“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
Appropriate Similarity Measures for Author Cocitation Analysis
Full text linkWe provide a number of new insights into the methodological discussion about author cocitation analysis. We first argue that the use of the Pearson correlation for measuring the similarity between authors’ cocitation profiles is not very satisfactory. We then discuss what kind of similarity measures may be used as an alternative to the Pearson correlation. We consider three similarity measures in particular. One is the well-known cosine. The other two similarity measures have not been used before in the bibliometric literature. Finally, we show by means of an example that our findings have a high practical relevance.information science;Pearson correlation;cosine;similarity measure;author cocitation analysis
Logics for Databases and Information Systems
No full textTemporal Databases 34 3.2.2 Relational Database Histories 36 3.3 Temporal Queries 36 3.3.1 Abstract Temporal Query Languages 37 3.3.2 Expressive Power 41 3.3.3 Space-efficient Encoding of Temporal Databases 44 3.3.4 Concrete Temporal Query Languages 46 3.3.5 Evaluation of Abstract Query Languages using Compilation 47 3.3.6 SQL and Derived Temporal Query Languages 48 3.4 Temporal Integrity Constraints 53 3.4.1 Notions of constraint satisfaction 53 3.4.2 Temporal Integrity Maintenance 54 3.4.3 Temporal Constraint Checking 56 3.5 Multidimensional Time 58 3.5.1 Why Multiple Temporal Dimensions? 59 3.5.2 Abstract Query Languages for Multi-dimensional Time 59 3.5.3 Encoding of Multi-dimensional Temporal Databases 61 3.6 Beyond First-order Temporal Logic 62 3.7 Conclusion 65 References 65 4 The Role of Deontic Logic in the Specification of Information Systems 71 J.-J. Ch. Meyer, R.J. Wieringa, and F.P.M. Dignum 4.1 Introduction: Soft Constraints and Deontic Logic 72 4.1.1 Integrity Constrai..
- …
