tauXSchema-Manager

The tauXSchema-Manager Version 1.0 tool is a graphical system that allows creating and versioning the conventional schema (CS) of an XML database in the tauXSchema framework, as part of the research project described in the papers "Schema versioning in tauXSchema-based multitemporal XML repositories" (DOI:10.1109/RCIS.2011.6006845 IRIS hdl:11585/105389), "Versioning of Conventional Schema in the tauXSchema Framework" (DOI:10.1109/SITIS.2012.153 IRIS hdl:11585/132138), "High-level Operations for Creation and Maintenance of Temporal and Conventional Schema in the tauXSchema Framework" (DOI:10.1109/TIME.2014.14 IRIS hdl:11585/297737) and "Schema Change Operations for Full Support of Schema Versioning in the tauXSchema Framework" (DOI:10.4018/ijitwe.2014040102 IRIS hdl:11585/201342). As for the creation of CS, tauXSchema-Manager allows creating a new CS from scratch or by importing an existing XSD file. As for versioning of CS, tauXSchema-Manager supports all high-level operations (HLO) acting on elements and attributes we specified and it also supports several HLO on subschema/subtree (e.g., moving, copying, removing, and exchanging subtrees). The tool assists the an XML database designer/administrator in managing schema changes graphically: creating and changing and XML schema is made easy and user-friendly. The designer/DBA works more with the mouse, pop-up menus, and drag-an-drop funtionalities (which is a key feature in our tool). He/She can also undo or redo operations. The designer/DBA is alerted when something is wrong on the schema which is being created or changed. tauXSchema-Manager supports all specifications of the W3C XML Schema recommendation (Part 0); all valid relations between schema components and all constraints on their values/types are supported. The tauXSchema-Manager tool has been developed in JAVA (Java SE Development Kit 1.7.0) within the Eclipse IDE (eclipse-modeling-luna-SR1-win32-x86_64), on top of MS Windows 7 (64-bit), using the APIs JGraphX (Version 3.1.3.0), JDOM (Version 2.0.5), and JAXB (Version 2.2.7)

21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014

The proceedings contain 18 papers. The topics discussed include: a tractable generalization of simple temporal networks and its relation to mean payoff games; sound and complete algorithms for checking the dynamic controllability of temporal networks with uncertainty, disjunction and observation; a formal account of planning with flexible timelines; metric propositional neighborhood logic with an equivalence relation; checking interval properties of computations; approximate interval-based temporal dependencies: the complexity landscape; a framework for managing temporal dimensions in archaeological data; lean index structures for snapshot access in transaction-time databases; high-level operations for creation and maintenance of temporal and conventional schema in the tauXSchema framework; summarizability in multiversion data warehouse; fairness with EXPTIME bundled CTL tableau; and partially punctual metric temporal logic is decidable