Web Site Structure
Introduction
The look and feel of the web page is often responsible for its popularity. In the same time, the Web 2.0 hype defined some new technologies and standards, which must be offered in order to gain user’s acceptance. The pre-2.0 communication channels like emails, discussion forums and CMSs has to be extended with RSS feeds, wiki-like collaborative editing, support for micro-blogging (e.G. twitter) and others. In addition, the lessons learned from open-source projects shows the importance of the ability for arbitary users to give feedback about the software, using a simple bugtracking system with open access.
This page aims to deliver all of it and support the new and growing community of TLA+ and PlusCal. In doing so, we started with the popular blogging system and use it as a basic platform, extending it with additional functionality using its modular architecure. Since the authors of the blog posts and static content want to foster the communication with the community, the discussion forum software has been adopted. In order to ease the usage of these two systems, Single-Sign-On has been implemented. Apart from tutorials and discussions, it is of utmost importance to receive direct feedback from the users (like bugs or enhancement proposals). For this purpose, the Bugzilla bugtracking system has been installed.
Static content
Every web page provides some static content. The content of this page is separated in two sections: Learning and Resources. If you are new to TLA+ and PlusCal have a look into those sections to find the basic materials.
Blog
In order to ease the lookup for updated topics, the page has a blog section. It is used for announcements of new content inside of the static part, new releases of software and so on. Please note, that all pages supports the RSS aggregation, but it makes most sense to subscribe the blog.
Discussion Forum
In order to improve the possibility of giving feedback and to foster the discussions about TLA+, PlusCal and the tools, the new Discussion Forum has been installed. The popular system bbPress should be good enogh for this purposes. From now on, you can create an account and discuss with the community. In order to log-in, click on the small red arrow in the left-upper corner of the page. There are also some internal discussion forums, which are visible if you are logged in, and has special permissions. If you think that you miss some of them – let me know.
Wiki Question
It has been proposed several times to install the Wiki-System. Since there is no use case for collaborative editing in wiki, I try to keep the number of systems as low as possible. If there is a real need for the wiki – let me know.
Feedback using Bugzilla
The preparation of the TLA+ Toolbox release is moving forward, so the main feedback tool for bugs and enchancements has been installed. For this purpose, Bugzilla Bug Tracking System will be used. Anyone can register by creating an account and file bugs using the bug-tracking system. In the current stage the Bugzilla account is independent from the forum account, but this will change eventually.
