]> $Id: ConferenceManager.owl,v 1.00 29/06/2007$ OWL-S UNIPI and UMA repository: ConferenceManager example for OWL-S Process Model - it provides a submission system for conferences This is the top level process for BankProcess ConferenceManager is the root composite process true &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#FullAddress &address;#Fax &login;#Username &login;#Password &paper;#ConferenceName &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#HomePage &paper;#CorrespondingAuthor &paper;#Title &paper;#Abstract &paper;#Keywords &paper;#PaperID &files;#ZIPFile &files;#PDFFile &paper;#MainFileName &paper;#Pages &paper;#ProgramToProcessFile &login;#Username &login;#Password &login;#SuccessfullLogin &paper;#ListOfPapers &paper;#PaperID &paper;#SuccessfullPaperUpdate &paper;#ListOfAuthors &paper;#Title &paper;#Abstract &files;#PDFFile &files;#Keywords &files;#SuccessfullAuthorUpdate This is the until loop to choose between login or creating the user true &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#FullAddress &address;#Fax &address;#Username &address;#Password &login;#Username &login;#Password &login;#SuccessfullLogin This is the choice between login or creating the user true &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#FullAddress &address;#Fax &address;#Username &address;#Password &login;#Username &login;#Password &login;#SuccessfullLogin Check whether the user is either an author or a PC member true &paper;#ConferenceName &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#HomePage &paper;#CorrespondingAuthor &paper;#Title &paper;#Abstract &paper;#Keywords &paper;#PaperID &files;#ZIPFile &files;#PDFFile &paper;#MainFileName &paper;#Pages &paper;#ProgramToProcessFile &address;#Email &address;#State &address;#Affiliation &address;#FullAddress &address;#Fax &paper;#ListOfPapers &paper;#PaperID &paper;#SuccessfullPaperUpdate &paper;#ListOfAuthors &paper;#Title &paper;#Abstract &files;#PDFFile &files;#Keywords &files;#SuccessfullAuthorUpdate This is the until loop providing operations for authors true &paper;#ConferenceName &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#HomePage &paper;#CorrespondingAuthor &paper;#Title &paper;#Abstract &paper;#Keywords &paper;#PaperID &files;#ZIPFile &files;#PDFFile &paper;#MainFileName &paper;#Pages &paper;#ProgramToProcessFile &address;#Email &address;#State &address;#Affiliation &address;#FullAddress &address;#Fax &paper;#ListOfPapers &paper;#PaperID &paper;#SuccessfullPaperUpdate &paper;#ListOfAuthors &paper;#Title &paper;#Abstract &files;#PDFFile &files;#Keywords &files;#SuccessfullAuthorUpdate This is choice providing operations for authors true &paper;#ConferenceName &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#HomePage &paper;#CorrespondingAuthor &paper;#Title &paper;#Abstract &paper;#Keywords &paper;#PaperID &files;#ZIPFile &files;#PDFFile &paper;#MainFileName &paper;#Pages &paper;#ProgramToProcessFile &address;#Email &address;#State &address;#Affiliation &address;#FullAddress &address;#Fax &paper;#ListOfPapers &paper;#PaperID &paper;#SuccessfullPaperUpdate &paper;#ListOfAuthors &paper;#Title &paper;#Abstract &files;#PDFFile &files;#Keywords &files;#SuccessfullAuthorUpdate This is choice for overviewing submitted papers or submitting a new paper true &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#HomePage &paper;#CorrespondingAuthor &paper;#Title &paper;#Abstract &paper;#Keywords &paper;#PaperID &files;#ZIPFile &files;#PDFFile &paper;#MainFileName &paper;#Pages &paper;#ProgramToProcessFile &paper;#ListOfPapers &paper;#PaperID &paper;#SuccessfullPaperUpdate &paper;#ListOfAuthors &paper;#Title &paper;#Abstract &files;#PDFFile &files;#Keywords &files;#SuccessfullAuthorUpdate This is choice for updating either a paper or authors true &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#HomePage &paper;#CorrespondingAuthor &paper;#Title &paper;#Abstract &paper;#Keywords &paper;#PaperID &files;#ZIPFile &files;#PDFFile &paper;#MainFileName &paper;#Pages &paper;#ProgramToProcessFile &paper;#PaperID &paper;#SuccessfullPaperUpdate &paper;#ListOfAuthors &paper;#Title &paper;#Abstract &files;#PDFFile &files;#Keywords &files;#SuccessfullAuthorUpdate This is sequence for submitting a paper true &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#HomePage &paper;#CorrespondingAuthor &paper;#Title &paper;#Abstract &paper;#Keywords &paper;#PaperID This is until loop for submitting the information about the authors of the paper true &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#HomePage &paper;#CorrespondingAuthor This is choice providing operations for adding/removing/updating author information true &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#HomePage &paper;#CorrespondingAuthor &files;#SuccessfullAuthorUpdate This is until loop providing operations for PC chairs true &paper;#ConferenceName &paper;#PaperID &paper;#ListOfPapers &files;#PDFFile This is the choice providing operations for PC chairs true &paper;#ConferenceName &paper;#PaperID &paper;#ListOfPapers &files;#PDFFile This is until loop for viewing or withdrawing papers true &paper;#PaperID &paper;#ListOfPapers &files;#PDFFile This is the choice beetwen viewing or withdrawing papers true &paper;#PaperID &paper;#ListOfPapers &files;#PDFFile Creates a new account to the conference system &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#FullAddress &address;#Fax &login;#Username &login;#Password Logins the conference system &login;#Username &login;#Password &login;#SuccessfullLogin Changes the conference &paper;#ConferenceName Returns the list of papers submit to the conference previously selected &paper;#ListOfPapers Adds an author for a new paper &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#HomePage &paper;#CorrespondingAuthor Adds a new paper &paper;#Title &paper;#Abstract &paper;#Keywords &paper;#PaperID Submits a new version of the paper &paper;#PaperID &files;#ZIPFile &files;#PDFFile &paper;#MainFileName &paper;#Pages &paper;#ProgramToProcessFile &paper;#SuccessfullPaperUpdate Gets information about a paper &paper;#PaperID &paper;#ListOfAuthors &paper;#Title &paper;#Abstract &files;#PDFFile &paper;#Keywords Removes an existing author &address;#FirstName &address;#Surname &paper;#SuccessfullAuthorUpdate Updates information of an existing author &address;#FirstName &address;#Surname &address;#Email &address;#State &address;#Affiliation &address;#HomePage &paper;#CorrespondingAuthor Updates information of a previously submitted paper &paper;#PaperID &paper;#Title &paper;#Abstract &paper;#Keywords &paper;#SuccessfullPaperUpdate Changes data of an existing account &address;#Email &address;#State &address;#Affiliation &address;#FullAddress &address;#Fax Lists the papers submit to the conference previously selected &paper;#ListOfPapers Withdraw a paper &paper;#PaperID &files;#PDFFile Always True An empty AtomList always evaluates to true. Note that this is not equivalent to specifiying no precondition. Due to open-world semantics of OWL, it would not be possible to distinguish having no precondition from not knowing the precondition. We would need to specify a cardinality 0 restriction on precondition property to indicate that there is no precondition which would be also valid.