Page 44 - untitled

(3) Software verification: tasks and helps users develop collaborative applica- ma) to XML documents of another DTD, hence, can ularies typically contain hundreds, even thousands,
tions easily. All these add-on applications are in be thought as a structural mapping between two sets of elements and attributes, and the user interface
Recently, software verification is under the
client-server architecture. The client-side programs of constraints. We are interested in modeling such must take care of the dynamic XML data structures,
spotlight of various research communities. Thanks
are written in Java language and embeded into the structural mappings in a formal way, and in apply- syntactic constraints, and presentation layout, etc.
to the success of hardware verification, many re- whole system by running Python scripts in response ing these formal models into practical use.
searchers now think that software verification may to web users’ communication and collaboration re- The current project is aimed at the construc-
provide an answer to improve the quality of soft- We propose a parametric content model for tion of graphical user interfaces for users to create,
quests.
ware systems. The key issue in software verification XML DTDs and construct, automatically, their update and interact with XML data.
is abstract interpretation. Because of the intractabil- The ShareTone Replication Center (STRC, validation procedures. The model provides a basis
We have been developing a generic interac-
ity of model checking problems, model checkers http://www.sharetone.org) is now available for users for typeful XML programming in ML (a type-safe
tive component, Forms-XML, that generates form-
cannot verify large systems. The abstraction tech- to replicate our model of collaborative PSE. Users programming language with high-order functions
based user interfaces for XML vocabularies, and an
niques simplify programs so that they can be veri- can download the most updated system cores to and parametric modules) and leads to a theory of
XML document editor using Forms-XML. Forms-
fied by model checkers. We are interested in devel- set up their own knowledge portals equipped with modular XML transformations.
oping new abstraction techniques and implementing fundamental collaboration functions, i.e., content XML has the following novel features: It avoids, Research Groups
We have also been working on various formal instead of detect, syntactic violations so that a
them in OMocha. type management, software warehousing, applica-
models of XML streaming processors so as to en- working document is always kept compliant with a
tion sharing, and workflow control. The above-
Web-Based Collaborative Problem-Solving mentioned communication tools and concurrent sure that the processors have low memory consump- given schema, thus freeing its users from any con-
Environment collaboration applications are optional for users to tion and they will always generate output of the cerns regarding XML syntax. Forms-XML supports
select and plug-in. required structure. neighborhood insertions, that is, the insertion of an
We have launched an ambitious project called
element within a neighborhood around the position
¨ShareTone© to build a web-based collaborative On the more practical side, we have been us-
In addition to the general model of the web the insertion command is issued. Thus the user does
Research Groups
problem-solving environment. This project is aimed environment, users can develop extra applications ing XML and related technologies, such as SVG not have to locate the exact position for an insertion.
to facilitate collaboration among researchers and for use in a particular discipline. For example, we (Scalable Vector Graphics), in a Web-based popu- Finally, Forms-XML offers facilities to customize
practitioners over the Internet. Users in the problem- lation mapping system, called Taiwan Social Map
have developed the following applications for the and fine-control its user interface. These include an
solving environment (PSE) can share pertinent in- (http://tsm.iis.sinica.edu.tw), for online aggregation
OpenCPS knowledge portal that make it a useful application programming interface, a customiza-
formation and ideas, demonstrate their new findings, and visualization of census datasets.
practice platform in an algorithm design course of tion file, and means to link to an external CSS style
and solve a particular problem collaboratively. ¨Geometric Computing and Visualization© sheet. With all these features, Forms-XML is able
Also, many application domains have formed
to generate user interfaces for use by ordinary users
The kernel of this project is built upon an ef- consortia or coalitions to define domain-specific
(1) GeoBuilder – A collaborative visual
ficient knowledge management mechanism. We XML vocabularies for the interchange of data who have no knowledge of XML.
debugging tool built upon the ShareTone CSCW
integrate the Zope open source utility with the Plone components. GeoBuilder supports 2D and 3D geo- among organizations within the application do- Open Spatial Information Technologies
content management system to construct a unique mains. As XML database management is getting
metric algorithm visualization. During 3D algorithm
type of knowledge portal that supports fundamental matured, XML vocabularies may even become the Recent years have ushered in standard lan-
visualization, the drawing engine can dynamically
functions of collaboration, i.e., data sharing, soft- standard information model for future enterprise in- guages, such as Geography Markup Language
decide the camera position for users to effectively
ware warehousing, application sharing, and work- formation systems. (GML) and Scalable Vector Graphics (SVG), for
track 3D geometric objects.
flow control. The content management mechanism the exchange of geographical and spatial data. Since
We have been involved in some of these stan-
also allows users to implement discipline-dependent (2) Concept map generator – A visualization their advent, the project on open spatial information
dardization activities as a technology provider, in
content types within given ontology. We have imple- tool to display the sitemap of the knowledge portal technologies has successfully used them, together
mented a knowledge portal, called ¨OpenCPS©, and observe the concept map of group knowledge. particular, the domestic development of XBRL for with only open source software, to build a prototype
(http://www.opencps.org), in which knowledge at This map generator supports both the learner- and financial information representation and HL7/CDA system that retrofits a legacy data standard used
for medical record representation. We have formed
this demonstration website is regarded as a map expert-modes to interact with the knowledge portal. in Taiwan for the exchange of topographic maps.
a research group with some scholars in accounting
relating instances among problem, solution, and Users not only can learn from but also can contrib- The prototype coverts topographic maps in legacy
and information technology to develop domestic
implementation spaces. ute to the group knowledge through the concept format to GML-based XML documents. The XML
map. XBRL taxonomies and build tools for XBRL finan- documents are then visualized by a GML-to-SVG
The Plone/Zope software system supports cial information conversion and analysis. We have transformer. The current research of the project
Python language for further development of plug- (3) Algorithm benchmark system – A Py- joint-forced with the Taiwan Medical Informatics
focuses on promising new directions of Geographic
in packages. Based on its easy plug-in property, we thon service package integrated with a database and Association to define CDA-based XML schemas
Information Systems (GIS) research with the use of
develop tele-conferencing and concurrent collabora- a group of task servers. This system can compare for medical records used in hospitals in Taiwan and
new standard languages. These languages, together
tion service packages to enhance the performance the memory usage, the CPU time, and the experi- develop a Web-based prototyping system based with a Web-based open technology framework,
of the collaborative problem-solving environment. mental results of various algorithms. It can also help on these schemas emphasizing data conversions to make it possible to build novel spatial systems.
The tele-conferencing service includes Internet Re- users observe the growth of space complexity and CDA and the conventional medical databases.
The systems not only will integrate heterogeneous
lay Chat (IRC) and videoconference systems. The time complexity of an algorithm with input size. sources of geography and non-geography data, but
concurrent collaboration service is referred to as the With the increasing number of emerging XML
XML Document Processing: Principles and vocabularies, there is apparently a need to construct also can be easily customized to meet special needs
ShareTone CSCW (Computer Supported Coopera- of individuals and communities and made easily
tive Work) system, in which we provide reusable Practices user interfaces for XML data (documents) within a accessible from the Web by various end devices. A
given vocabulary effectively. So far, user interfaces
system components and some useful applications
XML documents, in particular when they are for XML data have been typically constructed from goal of this work is to design and build a prototype
such as ¨CollabJEditor© and ¨Composer©. The
constrained using DTD (Document Type Definition) open spatial information system that embodies the
CollabJEditor is an editor that allows concurrent scratch for specific XML vocabularies and appli-
or XML Schema, are highly structural. The transfor- research results and demonstrates new concepts and
editing from multiple users; the Composer is an au- cations. This approach is labor-intensive and very
mation of XML documents of one DTD (or Sche- approaches.
thoring system which handles backend collaborative costly considering that enterprise-level XML vocab-
32 33