ALISS is an implementation of the toy language LISS extended
with support for logical annotations. These allow the generation of verification conditions
regarding the program, providing thus a way to formally verify the correctness of the implemented algorithm.
The system was developed by us, José Pedro Correia
and José Pedro Magalhães as a project for
the first semester of the last year of our courses (LESI).
This was done under the supervision of professors Jorge Sousa Pinto
and Maria João Frade.
The source code developed during this project is attached to this page. Please note that this code is still under development.
InPACT: Integrated Engineering Tools for Protection, Automation and Control Systems
O InPACT é um projecto de I&DT com vista ao desenvolvimento de ferramentas de engenharia avançadas para aplicação a sistemas de protecção, automação e controlo (PAC) de sistemas eléctricos de energia. Nestes sistemas incluem-se os domínios (i) da automação de subestações (SAS), (ii) comando e controlo de centrais electroprodutoras, (iii) automação de redes de distribuição e (iv) sistemas afins.
O projecto tem enfoque particular no SAS e em tecnologia de automação distribuída com base em normas internacionais aplicáveis, nomeadamente a IEC 61850 e normalização internacional associada e a IEC 61131-3, não deixando de abranger conceitos mais recentes como aqueles incluídos na série de normas IEC 61499 ou abordar outras tecnologias comunicativas de segunda geração como aquelas baseadas na série de normas IEC 60870-5.
A Universidade do Minho traz ao projecto competências nas áreas de investigação científica, análise e desenho de soluções nos domínios genéricos de aplicações informáticas e, em particular, nos domínios específicos da interface ao utilizador, edição diagramática, compiladores de linguagens, linguagens visuais e validação de comportamento.
TWiki's Research webThe Research web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.http://wiki.di.uminho.pt/twiki/bin/view/ResearchCopyright 2020 by contributing authors2020-10-30T06:13:22ZWebStatisticshttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebStatistics2020-10-30T06:13:22ZStatistics for Research Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and ... (last changed by TWikiGuest)TWikiGuestHasLabhttp://wiki.di.uminho.pt/twiki/bin/view/Research/HasLab2013-06-07T14:36:00Zweb site (last changed by JoseCampos)JoseCamposInPACThttp://wiki.di.uminho.pt/twiki/bin/view/Research/InPACT2009-12-10T11:06:34ZInPACT: Integrated Engineering Tools for Protection, Automation and Control Systems O InPACT é um projecto de I DT com vista ao desenvolvimento de ferramentas de engenharia ... (last changed by JoseCampos)JoseCamposGWShttp://wiki.di.uminho.pt/twiki/bin/view/Research/GWS2009-12-03T15:46:00ZGWS: Global Weighing Solution GWS is a Technology Transfer project between Cachapuz and UMinho. The goal of the project is to develop a software framework to support ... (last changed by JoseCampos)JoseCamposWebHomehttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebHome2009-11-14T12:14:02ZResearch Web Utilities WebTopicList all topics in alphabetical order WebChanges recent topic changes in this web WebNotify subscribe ... (last changed by JoseCampos)JoseCamposALisshttp://wiki.di.uminho.pt/twiki/bin/view/Research/ALiss2007-07-04T18:09:25ZUnder construction... Overview ALISS is an implementation of the toy language LISS extended with support for logical annotations. These allow the generation of ... (last changed by JosePedroMagalhaes)JosePedroMagalhaesWebLeftBarhttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebLeftBar2007-02-13T02:47:40Z" warn "off"}% /$web/\" $name$n" subwebs "" exclude "Trash Sandbox Main TWiki"}% (last changed by JoseBacelarAlmeida)JoseBacelarAlmeidaWebPreferenceshttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebPreferences2007-02-12T20:09:51ZResearch Web Preferences The following settings are web preferences of the Research web. These preferences overwrite the site level preferences in . and ... (last changed by JoseBacelarAlmeida)JoseBacelarAlmeidaWebTopicListhttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebTopicList2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributorWebSearchAdvancedhttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebSearchAdvanced2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributorWebTopicCreatorhttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebTopicCreator2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributorWebIndexhttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebIndex2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributorWebSearchhttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebSearch2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributorWebChangeshttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebChanges2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributorWebAtomhttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebAtom2006-01-24T06:07:58ZTWiki's Research web (last changed by TWikiContributor)TWikiContributorWebRsshttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebRss2005-03-28T09:40:13Z" else "TWiki's Research web"}% /Research (last changed by TWikiContributor)TWikiContributor
InPACT: Integrated Engineering Tools for Protection, Automation and Control Systems O InPACT é um projecto de I DT com vista ao desenvolvimento de ferramentas de engenharia ...
GWS: Global Weighing Solution GWS is a Technology Transfer project between Cachapuz and UMinho. The goal of the project is to develop a software framework to support ...
Under construction... Overview ALISS is an implementation of the toy language LISS extended with support for logical annotations. These allow the generation of ...
Research Web Preferences The following settings are web preferences of the Research web. These preferences overwrite the site level preferences in . and ...
Under construction... Overview ALISS is an implementation of the toy language LISS extended with support for logical annotations. These allow the generation of ...
GWS: Global Weighing Solution GWS is a Technology Transfer project between Cachapuz and UMinho. The goal of the project is to develop a software framework to support ...
InPACT: Integrated Engineering Tools for Protection, Automation and Control Systems O InPACT é um projecto de I DT com vista ao desenvolvimento de ferramentas de engenharia ...
Research Web Preferences The following settings are web preferences of the Research web. These preferences overwrite the site level preferences in . and ...
This is a subscription service to be automatically notified by e-mail when topics change in this Research web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:
Each TWiki web has an automatic e-mail notification service that sends you an e-mail with links to all of the topics modified since the last alert.
Users subscribe to email notifications using their WikiName or an alternative email address, and can specify the webs/topics they wish to track using one of these bullet list formats:
three spaces * [ webname . ] wikiName - SMTP mail address three spaces * [ webName . ] wikiName three spaces * SMTP mail address three spaces * SMTP mail address : topics three spaces * [ webname . ] wikiName : topics
In the above examples, topics is a space-separated list of topic names. The user may further customize the specific content they will receive using the following formats:
Specify topics without a Web. prefix
Topics must exist in this web.
Topics may be specified using * wildcards
Each topic may optionally be preceded by a '+' or '-' sign. The '+' sign means "subscribe to this topic" (the same as not putting anything). The '-' sign means "unsubscribe" or "don't send notifications regarding this topic". This allows users to elect to filter out certain topics (and their children, to an arbitrary depth). Topic filters ('-') take precedence over topic includes ('+').
Each topic may optionally be followed by an integer in parentheses, indicating the depth of the tree of children below that topic. Changes in all these children will be detected and reported along with changes to the topic itself. Note This uses the TWiki "Topic parent" feature.
Each topic may optionally be immediately followed by an exclamation mark ! or a question mark ? with no intervening spaces, indicating that the topic (and children if there is a tree depth specifier as well) should be mailed out as complete topics instead of change summaries. ! causes the topic to be mailed every time even if there have been no changes, ? will mail the topic only if there have been changes to it. This only makes sense for subscriptions.
For example:
Subscribe Daisy to all changes to topics in this web.
* daisy.cutter@flowers.com
Subscribe Daisy to all changes in all webs that start with Web.
* daisy.cutter@flowers.com: Web*
Subscribe Daisy to changes to topics starting with Petal, and their immediate children, WeedKillers and children to a depth of 3, and all topics that match start with Pretty and end with Flowers e.g. PrettyPinkFlowers
Subscribe Daisy to the full content of NewsLetter whenever it has changed
* daisy@flowers.com: TWiki.NewsLetter?
Subscribe buttercup to NewsLetter and its immediate children, even if it hasn't changed.
* buttercup@flowers.com: TWiki.NewsLetter! (1)
Subscribe GardenGroup (which includes Petunia) to all changed topics under AllnewsLetters to a depth of 3. Then unsubscribe Petunia from the ManureNewsLetter, which she would normally get as a member of GardenGroup? :
A user may be listed many times in the WebNotify topic. Where a user has several lines in WebNotify that all match the same topic, they will only be notified about changes that topic once (though they will still receive individual mails for news topics).
If a TWiki group is listed for notification, the group will be recursively expanded to the e-mail addresses of all members.
Tip: List names in alphabetical order to make it easier to find the names.
Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the MailerContrib topic for details of how to set up this service.
Note: If you prefer a news feed, point your reader to WebRss (for RSS 1.0 feeds) or WebAtom (for ATOM 1.0 feeds). Learn more at WebRssBase and WebAtomBase, respectively.
Related topics:WebChangesAlert, TWikiUsers, TWikiRegistration
The following settings are web preferences of the Research web. These preferences overwrite the site-level preferences in TWiki.TWikiPreferences and Main.TWikiPreferences, and can be overwritten by user preferences (your personal topic, eg: TWikiGuest in the Main web).
These settings override the defaults for this web only. See full list of defaults with explanation. Many of the settings below are commented out. Remove the # sign to enable a local customisation.
Web-specific background color: (Pick a lighter one of the StandardColors).
Set WEBBGCOLOR = #D0D0D0
Note: This setting is automatically configured when you create a web
Image, URL and alternate tooltip text of web's logo. Note: Don't add your own local logos to the TWikiLogos topic; create your own logos topic instead.
List this web in the SiteMap. If you want the web listed, then set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Use links that include the name of the web, i.e. Research.Topic links. Note: Unlike other variables, the setting of SITEMAPLIST is not inherited from parent webs. It has to be set in every web that is to be listed in the SiteMap
Set SITEMAPLIST = on
Set SITEMAPWHAT = Research main web
Set SITEMAPUSETO = Research Activities and Projects
Note: Above settings are automatically configured when you create a web
Exclude web from a web="all" search: (Set to on for hidden webs).
Set NOSEARCHALL =
Note: This setting is automatically configured when you create a web
Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
#Set NOAUTOLINK =
Note: You can still use the [[...][...]] syntax to link topics if you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.
Default template for new topics for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
Comma separated list of forms that can be attached to topics in this web. See TWikiForms for more information.
Set WEBFORMS =
Users or groups who are not / are allowed to view / change / rename topics in the Research web: (See TWikiAccessControl). Remove the # to enable any of these settings. Remember that an empty setting is a valid setting; setting DENYWEBVIEW to nothing means that anyone can view the web.
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0
The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
You can introduce your own preferences variables and use them in your topics and templates.
TWiki search results for \.*
http://wiki.di.uminho.pt/twiki/bin/view/Research
The Research web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Research
http://wiki.di.uminho.pt/twiki/bin/view/Research
/twiki/pub/Main/LocalLogos/um_eengP.jpgHasLab
http://wiki.di.uminho.pt/twiki/bin/view/Research/HasLab
web site (last changed by JoseCampos)2013-06-07T14:36:00ZJoseCamposInPACT
http://wiki.di.uminho.pt/twiki/bin/view/Research/InPACT
InPACT: Integrated Engineering Tools for Protection, Automation and Control Systems O InPACT é um projecto de I DT com vista ao desenvolvimento de ferramentas de engenharia ... (last changed by JoseCampos)2009-12-10T11:06:34ZJoseCamposGWS
http://wiki.di.uminho.pt/twiki/bin/view/Research/GWS
GWS: Global Weighing Solution GWS is a Technology Transfer project between Cachapuz and UMinho. The goal of the project is to develop a software framework to support ... (last changed by JoseCampos)2009-12-03T15:46:00ZJoseCamposWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebHome
Research Web Utilities WebTopicList all topics in alphabetical order WebChanges recent topic changes in this web WebNotify subscribe ... (last changed by JoseCampos)2009-11-14T12:14:02ZJoseCamposALiss
http://wiki.di.uminho.pt/twiki/bin/view/Research/ALiss
Under construction... Overview ALISS is an implementation of the toy language LISS extended with support for logical annotations. These allow the generation of ... (last changed by JosePedroMagalhaes)2007-07-04T18:09:25ZJosePedroMagalhaesWebLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebLeftBar
" warn "off"}% /$web/\" $name$n" subwebs "" exclude "Trash Sandbox Main TWiki"}% (last changed by JoseBacelarAlmeida)2007-02-13T02:47:40ZJoseBacelarAlmeidaWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebPreferences
Research Web Preferences The following settings are web preferences of the Research web. These preferences overwrite the site level preferences in . and ... (last changed by JoseBacelarAlmeida)2007-02-12T20:09:51ZJoseBacelarAlmeidaWebChanges
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebChanges
(last changed by TWikiContributor)2006-11-15T19:43:52ZTWikiContributorWebIndex
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebIndex
(last changed by TWikiContributor)2006-11-15T19:43:52ZTWikiContributorWebSearch
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebSearch
(last changed by TWikiContributor)2006-11-15T19:43:52ZTWikiContributorWebSearchAdvanced
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebSearchAdvanced
(last changed by TWikiContributor)2006-11-15T19:43:52ZTWikiContributorWebTopicCreator
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebTopicCreator
(last changed by TWikiContributor)2006-11-15T19:43:52ZTWikiContributorWebTopicList
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebTopicList
(last changed by TWikiContributor)2006-11-15T19:43:52ZTWikiContributorWebAtom
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebAtom
TWiki's Research web (last changed by TWikiContributor)2006-01-24T06:07:58ZTWikiContributorWebNotify
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebNotify
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration (last changed by TWikiContributor)2005-03-28T09:40:13ZTWikiContributorWebRss
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebRss
" else "TWiki's Research web"}% /Research (last changed by TWikiContributor)2005-03-28T09:40:13ZTWikiContributor
ALISS is an implementation of the toy language LISS extended
with support for logical annotations. These allow the generation of verification conditions
regarding the program, providing thus a way to formally verify the correctness of the implemented algorithm.
The system was developed by us, José Pedro Correia
and José Pedro Magalhães as a project for
the first semester of the last year of our courses (LESI).
This was done under the supervision of professors Jorge Sousa Pinto
and Maria João Frade.
The source code developed during this project is attached to this page. Please note that this code is still under development.
InPACT: Integrated Engineering Tools for Protection, Automation and Control Systems
O InPACT é um projecto de I&DT com vista ao desenvolvimento de ferramentas de engenharia avançadas para aplicação a sistemas de protecção, automação e controlo (PAC) de sistemas eléctricos de energia. Nestes sistemas incluem-se os domínios (i) da automação de subestações (SAS), (ii) comando e controlo de centrais electroprodutoras, (iii) automação de redes de distribuição e (iv) sistemas afins.
O projecto tem enfoque particular no SAS e em tecnologia de automação distribuída com base em normas internacionais aplicáveis, nomeadamente a IEC 61850 e normalização internacional associada e a IEC 61131-3, não deixando de abranger conceitos mais recentes como aqueles incluídos na série de normas IEC 61499 ou abordar outras tecnologias comunicativas de segunda geração como aquelas baseadas na série de normas IEC 60870-5.
A Universidade do Minho traz ao projecto competências nas áreas de investigação científica, análise e desenho de soluções nos domínios genéricos de aplicações informáticas e, em particular, nos domínios específicos da interface ao utilizador, edição diagramática, compiladores de linguagens, linguagens visuais e validação de comportamento.
TWiki's Research webThe Research web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.http://wiki.di.uminho.pt/twiki/bin/view/ResearchCopyright 2020 by contributing authors2020-10-30T06:13:22ZWebStatisticshttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebStatistics2020-10-30T06:13:22ZStatistics for Research Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and ... (last changed by TWikiGuest)TWikiGuestHasLabhttp://wiki.di.uminho.pt/twiki/bin/view/Research/HasLab2013-06-07T14:36:00Zweb site (last changed by JoseCampos)JoseCamposInPACThttp://wiki.di.uminho.pt/twiki/bin/view/Research/InPACT2009-12-10T11:06:34ZInPACT: Integrated Engineering Tools for Protection, Automation and Control Systems O InPACT é um projecto de I DT com vista ao desenvolvimento de ferramentas de engenharia ... (last changed by JoseCampos)JoseCamposGWShttp://wiki.di.uminho.pt/twiki/bin/view/Research/GWS2009-12-03T15:46:00ZGWS: Global Weighing Solution GWS is a Technology Transfer project between Cachapuz and UMinho. The goal of the project is to develop a software framework to support ... (last changed by JoseCampos)JoseCamposWebHomehttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebHome2009-11-14T12:14:02ZResearch Web Utilities WebTopicList all topics in alphabetical order WebChanges recent topic changes in this web WebNotify subscribe ... (last changed by JoseCampos)JoseCamposALisshttp://wiki.di.uminho.pt/twiki/bin/view/Research/ALiss2007-07-04T18:09:25ZUnder construction... Overview ALISS is an implementation of the toy language LISS extended with support for logical annotations. These allow the generation of ... (last changed by JosePedroMagalhaes)JosePedroMagalhaesWebLeftBarhttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebLeftBar2007-02-13T02:47:40Z" warn "off"}% /$web/\" $name$n" subwebs "" exclude "Trash Sandbox Main TWiki"}% (last changed by JoseBacelarAlmeida)JoseBacelarAlmeidaWebPreferenceshttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebPreferences2007-02-12T20:09:51ZResearch Web Preferences The following settings are web preferences of the Research web. These preferences overwrite the site level preferences in . and ... (last changed by JoseBacelarAlmeida)JoseBacelarAlmeidaWebTopicListhttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebTopicList2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributorWebSearchAdvancedhttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebSearchAdvanced2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributorWebTopicCreatorhttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebTopicCreator2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributorWebIndexhttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebIndex2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributorWebSearchhttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebSearch2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributorWebChangeshttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebChanges2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributorWebAtomhttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebAtom2006-01-24T06:07:58ZTWiki's Research web (last changed by TWikiContributor)TWikiContributorWebRsshttp://wiki.di.uminho.pt/twiki/bin/view/Research/WebRss2005-03-28T09:40:13Z" else "TWiki's Research web"}% /Research (last changed by TWikiContributor)TWikiContributor
InPACT: Integrated Engineering Tools for Protection, Automation and Control Systems O InPACT é um projecto de I DT com vista ao desenvolvimento de ferramentas de engenharia ...
GWS: Global Weighing Solution GWS is a Technology Transfer project between Cachapuz and UMinho. The goal of the project is to develop a software framework to support ...
Under construction... Overview ALISS is an implementation of the toy language LISS extended with support for logical annotations. These allow the generation of ...
Research Web Preferences The following settings are web preferences of the Research web. These preferences overwrite the site level preferences in . and ...
Under construction... Overview ALISS is an implementation of the toy language LISS extended with support for logical annotations. These allow the generation of ...
GWS: Global Weighing Solution GWS is a Technology Transfer project between Cachapuz and UMinho. The goal of the project is to develop a software framework to support ...
InPACT: Integrated Engineering Tools for Protection, Automation and Control Systems O InPACT é um projecto de I DT com vista ao desenvolvimento de ferramentas de engenharia ...
Research Web Preferences The following settings are web preferences of the Research web. These preferences overwrite the site level preferences in . and ...
This is a subscription service to be automatically notified by e-mail when topics change in this Research web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:
Each TWiki web has an automatic e-mail notification service that sends you an e-mail with links to all of the topics modified since the last alert.
Users subscribe to email notifications using their WikiName or an alternative email address, and can specify the webs/topics they wish to track using one of these bullet list formats:
three spaces * [ webname . ] wikiName - SMTP mail address three spaces * [ webName . ] wikiName three spaces * SMTP mail address three spaces * SMTP mail address : topics three spaces * [ webname . ] wikiName : topics
In the above examples, topics is a space-separated list of topic names. The user may further customize the specific content they will receive using the following formats:
Specify topics without a Web. prefix
Topics must exist in this web.
Topics may be specified using * wildcards
Each topic may optionally be preceded by a '+' or '-' sign. The '+' sign means "subscribe to this topic" (the same as not putting anything). The '-' sign means "unsubscribe" or "don't send notifications regarding this topic". This allows users to elect to filter out certain topics (and their children, to an arbitrary depth). Topic filters ('-') take precedence over topic includes ('+').
Each topic may optionally be followed by an integer in parentheses, indicating the depth of the tree of children below that topic. Changes in all these children will be detected and reported along with changes to the topic itself. Note This uses the TWiki "Topic parent" feature.
Each topic may optionally be immediately followed by an exclamation mark ! or a question mark ? with no intervening spaces, indicating that the topic (and children if there is a tree depth specifier as well) should be mailed out as complete topics instead of change summaries. ! causes the topic to be mailed every time even if there have been no changes, ? will mail the topic only if there have been changes to it. This only makes sense for subscriptions.
For example:
Subscribe Daisy to all changes to topics in this web.
* daisy.cutter@flowers.com
Subscribe Daisy to all changes in all webs that start with Web.
* daisy.cutter@flowers.com: Web*
Subscribe Daisy to changes to topics starting with Petal, and their immediate children, WeedKillers and children to a depth of 3, and all topics that match start with Pretty and end with Flowers e.g. PrettyPinkFlowers
Subscribe Daisy to the full content of NewsLetter whenever it has changed
* daisy@flowers.com: TWiki.NewsLetter?
Subscribe buttercup to NewsLetter and its immediate children, even if it hasn't changed.
* buttercup@flowers.com: TWiki.NewsLetter! (1)
Subscribe GardenGroup (which includes Petunia) to all changed topics under AllnewsLetters to a depth of 3. Then unsubscribe Petunia from the ManureNewsLetter, which she would normally get as a member of GardenGroup? :
A user may be listed many times in the WebNotify topic. Where a user has several lines in WebNotify that all match the same topic, they will only be notified about changes that topic once (though they will still receive individual mails for news topics).
If a TWiki group is listed for notification, the group will be recursively expanded to the e-mail addresses of all members.
Tip: List names in alphabetical order to make it easier to find the names.
Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the MailerContrib topic for details of how to set up this service.
Note: If you prefer a news feed, point your reader to WebRss (for RSS 1.0 feeds) or WebAtom (for ATOM 1.0 feeds). Learn more at WebRssBase and WebAtomBase, respectively.
Related topics:WebChangesAlert, TWikiUsers, TWikiRegistration
The following settings are web preferences of the Research web. These preferences overwrite the site-level preferences in TWiki.TWikiPreferences and Main.TWikiPreferences, and can be overwritten by user preferences (your personal topic, eg: TWikiGuest in the Main web).
These settings override the defaults for this web only. See full list of defaults with explanation. Many of the settings below are commented out. Remove the # sign to enable a local customisation.
Web-specific background color: (Pick a lighter one of the StandardColors).
Set WEBBGCOLOR = #D0D0D0
Note: This setting is automatically configured when you create a web
Image, URL and alternate tooltip text of web's logo. Note: Don't add your own local logos to the TWikiLogos topic; create your own logos topic instead.
List this web in the SiteMap. If you want the web listed, then set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Use links that include the name of the web, i.e. Research.Topic links. Note: Unlike other variables, the setting of SITEMAPLIST is not inherited from parent webs. It has to be set in every web that is to be listed in the SiteMap
Set SITEMAPLIST = on
Set SITEMAPWHAT = Research main web
Set SITEMAPUSETO = Research Activities and Projects
Note: Above settings are automatically configured when you create a web
Exclude web from a web="all" search: (Set to on for hidden webs).
Set NOSEARCHALL =
Note: This setting is automatically configured when you create a web
Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
#Set NOAUTOLINK =
Note: You can still use the [[...][...]] syntax to link topics if you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.
Default template for new topics for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
Comma separated list of forms that can be attached to topics in this web. See TWikiForms for more information.
Set WEBFORMS =
Users or groups who are not / are allowed to view / change / rename topics in the Research web: (See TWikiAccessControl). Remove the # to enable any of these settings. Remember that an empty setting is a valid setting; setting DENYWEBVIEW to nothing means that anyone can view the web.
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0
The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
You can introduce your own preferences variables and use them in your topics and templates.
TWiki search results for \.*
http://wiki.di.uminho.pt/twiki/bin/view/Research
The Research web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Research
http://wiki.di.uminho.pt/twiki/bin/view/Research
/twiki/pub/Main/LocalLogos/um_eengP.jpgHasLab
http://wiki.di.uminho.pt/twiki/bin/view/Research/HasLab
web site (last changed by JoseCampos)2013-06-07T14:36:00ZJoseCamposInPACT
http://wiki.di.uminho.pt/twiki/bin/view/Research/InPACT
InPACT: Integrated Engineering Tools for Protection, Automation and Control Systems O InPACT é um projecto de I DT com vista ao desenvolvimento de ferramentas de engenharia ... (last changed by JoseCampos)2009-12-10T11:06:34ZJoseCamposGWS
http://wiki.di.uminho.pt/twiki/bin/view/Research/GWS
GWS: Global Weighing Solution GWS is a Technology Transfer project between Cachapuz and UMinho. The goal of the project is to develop a software framework to support ... (last changed by JoseCampos)2009-12-03T15:46:00ZJoseCamposWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebHome
Research Web Utilities WebTopicList all topics in alphabetical order WebChanges recent topic changes in this web WebNotify subscribe ... (last changed by JoseCampos)2009-11-14T12:14:02ZJoseCamposALiss
http://wiki.di.uminho.pt/twiki/bin/view/Research/ALiss
Under construction... Overview ALISS is an implementation of the toy language LISS extended with support for logical annotations. These allow the generation of ... (last changed by JosePedroMagalhaes)2007-07-04T18:09:25ZJosePedroMagalhaesWebLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebLeftBar
" warn "off"}% /$web/\" $name$n" subwebs "" exclude "Trash Sandbox Main TWiki"}% (last changed by JoseBacelarAlmeida)2007-02-13T02:47:40ZJoseBacelarAlmeidaWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebPreferences
Research Web Preferences The following settings are web preferences of the Research web. These preferences overwrite the site level preferences in . and ... (last changed by JoseBacelarAlmeida)2007-02-12T20:09:51ZJoseBacelarAlmeidaWebChanges
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebChanges
(last changed by TWikiContributor)2006-11-15T19:43:52ZTWikiContributorWebIndex
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebIndex
(last changed by TWikiContributor)2006-11-15T19:43:52ZTWikiContributorWebSearch
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebSearch
(last changed by TWikiContributor)2006-11-15T19:43:52ZTWikiContributorWebSearchAdvanced
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebSearchAdvanced
(last changed by TWikiContributor)2006-11-15T19:43:52ZTWikiContributorWebTopicCreator
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebTopicCreator
(last changed by TWikiContributor)2006-11-15T19:43:52ZTWikiContributorWebTopicList
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebTopicList
(last changed by TWikiContributor)2006-11-15T19:43:52ZTWikiContributorWebAtom
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebAtom
TWiki's Research web (last changed by TWikiContributor)2006-01-24T06:07:58ZTWikiContributorWebNotify
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebNotify
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration (last changed by TWikiContributor)2005-03-28T09:40:13ZTWikiContributorWebRss
http://wiki.di.uminho.pt/twiki/bin/view/Research/WebRss
" else "TWiki's Research web"}% /Research (last changed by TWikiContributor)2005-03-28T09:40:13ZTWikiContributor
Research Web
Create New Topic
Index
Search
Changes
Notifications
Statistics
Preferences
APEX
Tip: List names in alphabetical order to make it easier to find the names.
Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the 
Rename, move or delete this web: 
If you already know the name of the topic, enter the name of the topic into the 
List topics that start with the letter: 
Once you have created the topic, consider adding links in related topics to the new topic so that there are more ways people can discover it.
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.