Registrati | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

di rittgen library [58 articles]

Articoli aggiunti di recente nella biblioteca di rittgen .
  • Mining configurable enterprise information systems
    Data Knowl. Eng., Vol. 56, No. 3. (March 2006), pp. 195-244.
    by MH Jansen-Vullers, WMP van der Aalst, M Rosemann
    posted to no-tag by rittgen on 2008-02-01 11:24:03 as read
  • On the semantics of EPCs: resolving the vicious circle
    Data Knowl. Eng., Vol. 56, No. 1. (January 2006), pp. 23-40.
    by Ekkart Kindler
    posted to no-tag by rittgen on 2008-02-01 11:21:10 as read
  • Specification of business components using temporal OCL
    (2003), pp. 48-65.
    by Stefan Conrad, Klaus Turowski
    posted to no-tag by rittgen on 2008-02-01 11:20:42 as read
  • Turing machines, transition systems, and interaction
    Information and Computation, Vol. 194, No. 2. (01 November 2004), pp. 101-128.
    by Dina Q Goldin, Scott A Smolka, Paul C Attie, Elaine L Sonderegger
    posted to no-tag by rittgen on 2008-02-01 11:19:55 as read along with 1 person Lewis
  • YAWL: yet another workflow language
    Information Systems, Vol. 30, No. 4. (June 2005), pp. 245-275.
    by WMP van der Aalst, Ter
    posted to no-tag by rittgen on 2008-02-01 11:19:05 as read along with 2 people keigoi ss363
  • Modeling and analyzing separation of duties in workflow environments
    (2001), pp. 199-212.
    by Konstantin Knorr, Henrik Stormer
    posted to no-tag by rittgen on 2008-02-01 11:18:29 as read
  • Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants
    Comput. Ind., Vol. 58, No. 6. (August 2007), pp. 578-601.
    by BF van Dongen, MH Jansen-Vullers, HMW Verbeek, WMP van der Aalst
    posted to no-tag by rittgen on 2008-02-01 11:17:48 as read
  • What business process modelers can learn from programmers
    Sci. Comput. Program., Vol. 65, No. 1. (March 2007), pp. 4-13.
    by Volker Gruhn, Ralf Laue
    posted to no-tag by rittgen on 2008-02-01 11:16:28 as read
  • Detection and prediction of errors in EPCs of the SAP reference model
    Data Knowl. Eng., Vol. 64, No. 1. (January 2008), pp. 312-329.
    by J Mendling, HMW Verbeek, BF van Dongen, WMP van der Aalst, G Neumann
    posted to no-tag by rittgen on 2008-02-01 11:14:47 as read
  • A configurable reference modelling language
    Information Systems, Vol. 32, No. 1. (March 2007), pp. 1-23.
    by M Rosemann, WMP van der Aalst
    posted to no-tag by rittgen on 2008-02-01 11:13:29 as read along with 1 person and 1 group oscar onekin
  • History-based joins: Semantics, soundness and implementation
    Data & Knowledge Engineering, Vol. 64, No. 1. (January 2008), pp. 24-37.
    by Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    posted to no-tag by rittgen on 2008-02-01 11:12:22 as read along with 1 person fheintz
  • Business processes in UML
    (2003), pp. 315-331.
    by Peter Rittgen
    posted to no-tag by rittgen on 2008-02-01 11:10:25 as read
  • Scheduling Algebra
    (1998)
    by RJ Glabbeek, P Rittgen
    posted to no-tag by rittgen on 2008-02-01 11:09:39 as read
  • A language-mapping approach to action-oriented development of information systems
    European Journal of Information Systems, Vol. 15, No. 1. (February 2006), pp. 70-81.
    by Peter Rittgen
    posted to no-tag by rittgen on 2008-02-01 11:08:29 as read
  • On the Suitability of the Pi-Calculus for Business Process Management
    Technologies for Business Information Systems (2007), pp. 51-62.
    by Frank Puhlmann
    posted to no-tag by rittgen on 2008-02-01 11:06:19 as read
  • Modellierung
    Grundlagen der Wirtschaftsinformatik (2005), pp. 91-152.
    posted to no-tag by rittgen on 2008-02-01 11:05:55 as read
  • State of the Art
    Enterprise Architecture at Work (2005), pp. 11-45.
    posted to no-tag by rittgen on 2008-02-01 11:05:27 as read
  • Making Workflow Models Sound Using Petri Net Controller Synthesis
    On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE (2004), pp. 139-154.
    by Juliane Dehnert, Armin Zimmermann
    posted to no-tag by rittgen on 2008-02-01 11:04:35 as read
  • PARS: A Process Algebra with Resources and Schedulers
    Formal Modeling and Analysis of Timed Systems (2004), pp. 134-150.
    by Mohammadreza Mousavi, Michel Reniers, Twan Basten, Michel Chaudron
    posted to no-tag by rittgen on 2008-02-01 11:03:50 as *
  • Soundness Verification of Business Processes Specified in the Pi-Calculus
    On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS (2007), pp. 6-23.
    by Frank Puhlmann
    posted to no-tag by rittgen on 2008-02-01 11:01:22 as read
  • Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
    Applications and Theory of Petri Nets 2003 (2003), pp. 337-356.
    by Kees van Hee, Natalia Sidorova, Marc Voorhoeve
    posted to no-tag by rittgen on 2008-02-01 11:00:34 as read
  • A BPR Methodology for Product Development Processes
    Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management (2006), pp. 370-378.
    by M Bertoni, U Cugini, D Regazzoni, C Rizzi, M Ugolotti
    posted to no-tag by rittgen on 2008-02-01 11:00:00 as read
  • Faulty EPCs in the SAP Reference Model
    Business Process Management (2006), pp. 451-457.
    by J Mendling, M Moser, G Neumann, H Verbeek, B van Dongen, W van der Aalst
    posted to no-tag by rittgen on 2008-02-01 10:59:15 as read
  • Properties of Business Processes
    Business Process Management (2007), pp. 267-301.
    posted to no-tag by rittgen on 2008-02-01 10:57:39 as read
  • A New Approach Towards Procurement of Software Models Via Distributed Business Models
    The Journal of Supercomputing, Vol. 29, No. 3. (2004), pp. 287-302.
    by Ramin Nasiri, Ali Moeini, Ahmad Abdollahzadeh
    posted to no-tag by rittgen on 2008-02-01 10:56:33 as read
  • Investigations on Soundness Regarding Lazy Activities
    Business Process Management (2006), pp. 145-160.
    by Frank Puhlmann, Mathias Weske
    posted to no-tag by rittgen on 2008-02-01 10:54:16 as *
  • On the Semantics of EPCs: A Framework for Resolving the Vicious Circle
    Business Process Management (2004), pp. 82-97.
    by Ekkart Kindler
    posted to no-tag by rittgen on 2008-02-01 10:51:31 as read
  • EPC markup language (EPML): an XML-based interchange format for event-driven process chains (EPC)
    Information Systems and E-Business Management, Vol. 4, No. 3. (1 July 2006), pp. 245-263.
    by Jan Mendling, Markus Nüttgens
    posted to no-tag by rittgen on 2008-02-01 10:50:57 as read
  • Formalization and Verification of EPCs with OR-Joins Based on State and Context
    Advanced Information Systems Engineering (2007), pp. 439-453.
    by Jan Mendling, Wil van der Aalst
    posted to no-tag by rittgen on 2008-02-01 10:49:50 as read
  • On the Syntax of Reference Model Configuration – Transforming the C-EPC into Lawful EPC Models
    Business Process Management Workshops (2006), pp. 497-511.
    by Jan Recker, Michael Rosemann, Wil van der Aalst, Jan Mendling
    posted to no-tag by rittgen on 2008-02-01 10:44:19 as read
  • Workflow Model Compositions Preserving Relaxed Soundness
    Business Process Management (2006), pp. 177-192.
    by Juliane Siegeris, Armin Zimmermann
    posted to no-tag by rittgen on 2008-02-01 10:43:43 as read
  • Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets
    Applications and Theory of Petri Nets 2005 (2005), pp. 423-443.
    by Moe T Wynn, David Edmond, WMP van der Aalst, Ter
    posted to no-tag by rittgen on 2008-02-01 10:42:28 as read
  • Towards Amplifying Business Process Reuse
    Perspectives in Conceptual Modeling (2005), pp. 364-374.
    by Sergiy Zlatkin, Roland Kaschek
    posted to no-tag by rittgen on 2008-02-01 10:41:30 as read
  • On the Suitability of Correctness Criteria for Business Process Models
    Business Process Management (2005), pp. 386-391.
    by Juliane Dehnert, Armin Zimmermann
    posted to no-tag by rittgen on 2008-02-01 10:40:46 as read
  • Yet Another Event-Driven Process Chain
    Business Process Management (2005), pp. 428-433.
    by Jan Mendling, Gustaf Neumann, Markus Nüttgens
    posted to no-tag by rittgen on 2008-02-01 10:40:11 as read
  • On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models
    Advances in Information Systems (2005), pp. 543-553.
    by Costin Bădică, Chris Fox
    posted to no-tag by rittgen on 2008-02-01 10:39:25 as read
  • On the Semantics of EPCs: Efficient Calculation and Simulation
    Business Process Management (2005), pp. 398-403.
    by Nicolas Cuntz, Ekkart Kindler
    posted to no-tag by rittgen on 2008-02-01 10:23:42 as read
  • Transforming Collaborative Business Process Models into Web Services Choreography Specifications
    Data Engineering Issues in E-Commerce and Services (2006), pp. 50-65.
    by Pablo Villarreal, Enrique Salomone, Omar Chiotti
    posted to no-tag by rittgen on 2008-02-01 10:23:13 as read
  • Verification of EPCs: Using Reduction Rules and Petri Nets
    Advanced Information Systems Engineering (2005), pp. 372-386.
    by BF van Dongen, WMP van der Aalst, HMW Verbeek
    posted to no-tag by rittgen on 2008-02-01 10:22:27 as read
  • Deriving Concepts for Modeling Business Actions
    Conceptual Modeling - ER 2006 (2006), pp. 468-481.
    by Peter Rittgen
    posted to no-tag by rittgen on 2008-02-01 10:20:31 as read
  • Relaxed Soundness of Business Processes
    Advanced Information Systems Engineering (2001), pp. 157-170.
    by Juliane Dehnert, Peter Rittgen
    posted to no-tag by rittgen on 2008-02-01 10:19:43 as read
  • Negotiating Models
    Advanced Information Systems Engineering (2007), pp. 561-573.
    by Peter Rittgen
    posted to no-tag by rittgen on 2008-02-01 10:18:51 as read
  • Scheduling Algebra
    Algebraic Methodology and Software Technology (1999), pp. 278-292.
    by Rob van Glabbeek, Peter Rittgen
    posted to no-tag by rittgen on 2008-02-01 10:18:08 as read
  • Bemerkungen zu Peter Wegners Ausführungen
    Informatik-Spektrum, Vol. 21, No. 3. (12 June 1998), pp. 141-146.
    by Michael Prasse, Peter Rittgen
    posted to no-tag by rittgen on 2008-02-01 10:17:22 as read
  • Co-designing Models for Enterprises and Information Systems – A Case for Language Integration
    Advances in Information Systems Development (2007), pp. 73-83.
    by Peter Rittgen
    posted to no-tag by rittgen on 2008-02-01 10:16:15 as read
  • Enterprise Modeling and Computing With UML
    (07 September 2006)
    by Peter Rittgen
    posted to no-tag by rittgen on 2008-02-01 10:14:44 as read
  • Handbook of Ontologies for Business Interaction (Premier Reference Source)
    (07 November 2007)
    by Peter Rittgen
    posted to no-tag by rittgen on 2008-02-01 10:12:02 as read
  • From Process Model to Electronic Business Process
    (1999)
    by P Rittgen
    posted to no-tag by rittgen on 2008-02-01 10:06:46 as read
  • Scheduling Algebra
    Lecture Notes in Computer Science, Vol. 1548 (1999), pp. 278-??.
    by Rob van Glabbeek, Peter Rittgen
    posted to no-tag by rittgen on 2008-02-01 10:06:29 as read
  • Business Engineering Building Blocks
    by Boris Shishkov
    posted to no-tag by rittgen on 2008-02-01 10:06:11 as read
    • Puoi citare questa pagina come: http://www.citeulike.org/user/rittgen

    Result page: 1 2 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.