Conference
Προβολή σε EDS

Verification and validation of UML artifact-centric business process models

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Verification and validation of UML artifact-centric business process models
Συγγραφείς: Estañol Lamarca, Montserrat, Sancho Samsó, María Ribera, Teniente López, Ernest
Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
Στοιχεία εκδότη: Springer
Έτος έκδοσης: 2015
Συλλογή: Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge
Θεματικοί όροι: Systems engineering--Computer simulation, artifact-centric BPM UML verification validation, Enginyeria de sistemes -- Models matemàtics
Περιγραφή: This paper presents a way of checking the correctness of artifact-centric business process models defined using the BAUML framework. To ensure that these models are free of errors, we propose an approach to verify (i.e. there are no internal mistakes) and to validate them (i.e. the model complies with the business requirements). This approach is based on translating these models into logic and then encoding the desirable properties as satisfiability problems of derived predicates. In this way, we can then use a tool to check if these properties are fulfilled ; Peer Reviewed ; Postprint (author's final draft)
Τύπος εγγράφου: conference object
Περιγραφή αρχείου: 16 p.; application/pdf
Γλώσσα: English
Relation: http://link.springer.com/chapter/10.1007%2F978-3-319-19069-3_27; https://hdl.handle.net/2117/85189
DOI: 10.1007/978-3-319-19069-3_27
Διαθεσιμότητα: https://hdl.handle.net/2117/85189
https://doi.org/10.1007/978-3-319-19069-3_27
Rights: Open Access
Αριθμός Καταχώρησης: edsbas.926245CD
Βάση Δεδομένων: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://hdl.handle.net/2117/85189#
    Name: EDS - BASE (ns324271)
    Category: fullText
    Text: View record from BASE
Header DbId: edsbas
DbLabel: BASE
An: edsbas.926245CD
RelevancyScore: 865
AccessLevel: 3
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 864.549011230469
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Verification and validation of UML artifact-centric business process models
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Estañol+Lamarca%2C+Montserrat%22">Estañol Lamarca, Montserrat</searchLink><br /><searchLink fieldCode="AR" term="%22Sancho+Samsó%2C+María+Ribera%22">Sancho Samsó, María Ribera</searchLink><br /><searchLink fieldCode="AR" term="%22Teniente+López%2C+Ernest%22">Teniente López, Ernest</searchLink>
– Name: Author
  Label: Contributors
  Group: Au
  Data: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació<br />Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: Springer
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2015
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Systems+engineering--Computer+simulation%22">Systems engineering--Computer simulation</searchLink><br /><searchLink fieldCode="DE" term="%22artifact-centric+BPM+UML+verification+validation%22">artifact-centric BPM UML verification validation</searchLink><br /><searchLink fieldCode="DE" term="%22Enginyeria+de+sistemes+--+Models+matemàtics%22">Enginyeria de sistemes -- Models matemàtics</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: This paper presents a way of checking the correctness of artifact-centric business process models defined using the BAUML framework. To ensure that these models are free of errors, we propose an approach to verify (i.e. there are no internal mistakes) and to validate them (i.e. the model complies with the business requirements). This approach is based on translating these models into logic and then encoding the desirable properties as satisfiability problems of derived predicates. In this way, we can then use a tool to check if these properties are fulfilled ; Peer Reviewed ; Postprint (author's final draft)
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: conference object
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: 16 p.; application/pdf
– Name: Language
  Label: Language
  Group: Lang
  Data: English
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: http://link.springer.com/chapter/10.1007%2F978-3-319-19069-3_27; https://hdl.handle.net/2117/85189
– Name: DOI
  Label: DOI
  Group: ID
  Data: 10.1007/978-3-319-19069-3_27
– Name: URL
  Label: Availability
  Group: URL
  Data: https://hdl.handle.net/2117/85189<br />https://doi.org/10.1007/978-3-319-19069-3_27
– Name: Copyright
  Label: Rights
  Group: Cpyrght
  Data: Open Access
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.926245CD
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.926245CD
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/978-3-319-19069-3_27
    Languages:
      – Text: English
    Subjects:
      – SubjectFull: Systems engineering--Computer simulation
        Type: general
      – SubjectFull: artifact-centric BPM UML verification validation
        Type: general
      – SubjectFull: Enginyeria de sistemes -- Models matemàtics
        Type: general
    Titles:
      – TitleFull: Verification and validation of UML artifact-centric business process models
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Estañol Lamarca, Montserrat
      – PersonEntity:
          Name:
            NameFull: Sancho Samsó, María Ribera
      – PersonEntity:
          Name:
            NameFull: Teniente López, Ernest
      – PersonEntity:
          Name:
            NameFull: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
      – PersonEntity:
          Name:
            NameFull: Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2015
          Identifiers:
            – Type: issn-locals
              Value: edsbas
            – Type: issn-locals
              Value: edsbas.oa
ResultId 1