yusuke1997/dblp-id-title huggingface dataset:
Prototyping zur Unterstützung des konzeptuellen Entwurfs interaktiver Informationssysteme
Developing software families
Tool Support for the Comprehensive Modeling of Quality Information within Business Process Models
On the usability of business process modelling tools - a review and future research directions
Economic Reflections on Managing Web Service Using Semantics
Enterprise Modelling and Information Systems Architectures - Concepts and Applications , Proceedings of the 2nd International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA'07), St. Goar, Germany, October 8-9, 2007
Conformance Checking and Performance Improvement in Scheduled Processes: A Queueing-Network Perspective (Extended Abstract)
Towards schema evolution in object-aware process management systems
Die Permanenz des organisatorischen Wandels am Beispiel der GEZ
Visualizing Join Point Selections Using Interaction-Based vs. State-Based Notations Exemplified With Help of Business Rules
Microservices-based Business Process Model Execution
Implementierung einer anwendungsspezifischen formalen Beschreibungssprache durch einen Application-Framework
On the Suitability of WS-CDL for Choreography Modeling
Qualitative Comparison of Enterprise Architecture Model Maintenance Processes
Knowledge Graph Processing Made (more) Simple
Die verteilte, objektorientierte Anwendung DaRT: Entwurf, Realisierung und Einsatzerfahrungen
On Design Principles for Realizing Adaptive Service Flows with BPEL
Eine Integrationsplattform zur Verknüpfung von Geschäftsprozessen und IT-Services
Addressing the Log Representativeness Problem using Species Discovery (Extended Abstract)
Konzeption eines Informationsvermittlungssystems für heterogene, verteilte Informationsquellen im Internet
Integration von Mensch, Organisation und Technik: eine partielle Bilanz. Beiträge zum EMISA-Fachgruppentreffen 1998 in Gelsenkirchen, Deutschland
Alignment-based Quality Metrics in Conformance Checking (Summary)
Modeling Test Cases in BPMN for Behavior-Driven Development (Extended Abstract)
The use of ICT and the joint activity of the enterprises acting in partnership
BPMN-Q: A Language to Query Business Processes
Towards an EA-based approach for the development of Digital Twins for Sustainable Building Renovation Decision-Making by Real Estate Trustees
Kooperation von Workflowsystemen im World-Wide Web
A Flexible Event Handling Model for Using Events in Business Processes
From Business Process Fragments to Workflow Definitions
Entwurf von Datenbankföderationen
Ereignisgesteuerte Vorgangsbearbeitung: Ein Ansatz zur situationsspezifischen Weiterleitung von Störungsinformationen auf der Basis von PPS-Systemen
The Process of Creating a Domain Specific Modelling Method (Extended Abstract)
Approaching a Methodology for Designing Composite Applications Integrating Legacy Applications using an Architectural Framework
A new reduction method for the analysis of large workflow models
Use-Case-bezogenes Reverse-Engineering von Entscheidungstabellen
Collaborative Business Process Modeling
A Conceptual Architecture for an Event-based Information Aggregation Engine in Smart Logitics
Model-Based Generation of Enterprise Information Systems
Unterstützung von Kollaboration im Rahmen der Softwareentwicklung auf Basis Service-orientierter Architekturen
Selecting Event Monitoring Points for Optimal Prediction Quality
An Approach to use Executable Models for Testing
Timeline Visualization for Documenting Process Model Change
The Research Group Digitalization and Information Systems
Ganzheitliche, modellgestützte Methode zur Gestaltung von CSCW Systemen
Enterprise Modelling and Information Systems Architectures: Proceedings of the 3rd International Workshop on Enterprise Modelling and Information Systems Architectures; Ulm, Germany, September 10-11, 2009
Unsupervised Event Abstraction using Pattern Abstraction and Local Process Models
Petri net markup language: implementation and application
Management of Small Construction Projects: Adding Metadata to Overcome some Electronic Messaging Limitations
Revisiting Workflow Interactions for Petri Net-Based Agents (Extended Abstract)
tele-TASK - Teleteaching praxistauglich für den Universitätsalltag
Enterprise Architecture at Frankfurt University of Applied Sciences
Benutzerzentrierte Anforderungsanalyse für die Produktlinien-Entwicklung mobiler Unternehmenssoftware
Requirements Catalog for Business Process Modeling Recommender Systems (Extended Abstract)
A Hybrid OLAP & OLTP Architecture Using Non-Relational Data Components
A Framework for Managing Enterprise Architecture Debts - Outline and Research Directions
Eye Tracking Experiments in Business Process Modeling: Agenda Setting and Proof of Concept
Reorganisation einer öffentlichen Verwaltung in Luxemburg - Ein Erfahrungsbericht
Extending different Business Process Modeling Languages with Domain Specific Concepts: The Case of Internal Controls in EPC and BPMN
Towards Automating the Severity Assessment of Conformance Deviations
Co-evolution in Business Ecosystems: Findings from Literature
Quantifying Uncertainty for Explainable Process Mining
Using Content Analysis for Privacy Requirement Extraction and Policy Formalization
Development of a Reference System for the Modeling and Assessment of Social, Economic and Ecological Sustainability
EMISA 2006 - Methoden, Konzepte und Technologien für die Entwicklung von dienstbasierten Informationssystemen, Beiträge des Workshops der GI-Fachgruppe Entwicklungsmethoden für Informationssysteme und deren Anwendung (EMISA), 17.-18. Oktober 2006 in Hamburg
A Model-Driven Approach for the Rapid Development of E-Negotiation Systems
About the Selection of a Business Process Improvement Methodology
Integration of Concurrent Engineering Business Processes via Service Oriented Architectures in the Virtual Enterprise
Process Mining Meets Visual Analytics
Mining Projects from Structured and Unstructured Data
Data Mining in der Praxis: Churn-Management bei Telekommunikationsanbietern
Findings from an Experiment on Flow Direction of Business Process Models
Application Experience with a Repository System for Information Systems Development
Softwareentwicklung in komplexen Unternehmensverbünden durch Berücksichtigung der organisatorischen Veränderungsprozesse
State-of-the-art of Business Process Compliance Approaches: A Survey (Extended Abstract)
E-Services und Erfolgsdeterminanten für das eHRM in kleineren und mittleren Unternehmen
Generating Visualizations of Enterprise Architectures using Model Transformations
Event sequence analysis and visualization
Erstellung und Wartung von WWW-Seiten mit dem BSCW System
VROBS - Datenbankzugangskontrolle mittels einer verteilten Warteschlange
An approach for the Management of Service-oriented Architecture (SoA) based Application Systems
Das Modell eines offenen, regionalen elektronischen Marktplatzes auf Basis des Internet - Das Beispiel der Electronic Mall Bodensee (EMB)
Towards Architectural Coordination for Digital Twins
Integrating System Dynamics with Object-Role Modeling and Petri Nets
Fundamental challenges in systems modelling
A Generic Multi-Agent Architecture for the Virtual Enterprise
20 Jahre Konstruktivismusforschung in der Informatik und Wirtschaftsinformatik - Was hat sie gebracht, was sind ihre Motive und wo liegen die Verständnisschwierigkeiten?
Requirements Engineering in MIKE
Entwicklung eins Dokumentationssystems für Diabetespatienten
Integration von Fachanwendungen unter Einsatz von Standards in einer landeseigenen E-Government Serviceplattform
Towards Intelligent Personal Task and Time Management: Requirements and Opportunities for Advanced To-do Lists
Model-based Testbed Design for Electric Vehicles
Towards a More Integrated EA Planning: Linking Transformation Planning with Evolutionary Change
Optional Activities in Process Flows
BTÖV - eine Methode für die bedarfsgerechte Gestaltung von Telekooperation in der öffentlichen Verwaltung
A Proposal for a Web Service-based Architecture to Support the Enhancement Of Units of Learning
A Thing Called "Fluid Process" - Beyond Rigidity in Business Process
Disruption - Informatik wider den Schwarzen Schwan?
Towards a Modular Reference Architecture for Smart Glasses-based Systems in the Logistics Domain
Conformance Checking with Regulations - A Research Agenda
Challenges and Solutions in Planning Information Systems for Networked Value Constellations
Können Gemeinschaften autonomer Einheiten beim Modellieren digitaler Ökosysteme helfen?
Workflow Nets with Roles
Domain-Specific Conceptual Modeling
Universität 4.0: Herausforderungen, Konzepte und erste (ERCIS) Erfahrungen
Assessing Process Models with Cognitive Psychology
Key Information Requirements for Process Audits - an Expert Perspective
Integrierte Dokumenten- und Ablaufmodellierung von E-Business-Prozessen
Enterprise Modelling and Information Systems Architectures, Proceedings of the 6th Int. Workshop on Enterprise Modelling and Information Systems Architectures, EMISA 2015, Innsbruck, Austria, September 3-4, 2015
Business Process Modeling Approaches and Tools at the Institute for Project Management and Information Modeling (IPIM)
How Do System and Enterprise Architectures Influence Knowledge Management in Software Projects? - An Explorative Study of Six Software Projects
Die umfassende Bedeutung der Workflow-Management-Technologie
Relaxing Modeling Criteria to Produce Genuinely Flexible, Controllable, and Usable Enterprise Modeling Methods
Simulation und Leistungsbewertung von Geschäftsprozessen
Beyond Activities: Business Process Models from a Knowledge Management Perspective
Process Model Verification with SemQuu
Fortschritte im Requirements Engineering als Beitrag zu Kundenorientierung und zur Effizienzverbesserung im Entwicklungsprozeß von Informationssystemen
Anforderungen an Petrinetzwerkzeuge für den kommerziellen Einsatz
Towards a Virtual Reality-based Process Elicitation System
Objektorientierte Analyse und konzeptueller Vorentwurf
Towards Assessing the Theoretical Complexity of the Decision Model and Notation (DMN)
Towards Modeling Monitoring Services for Large-Scale Distributed Systems with Abstract State Machines
Towards Dependency-based Alignment for Collaborative Businesses
A Comparative Analysis of View Integration Methodologies
Cloud Service Billing and Service Level Agreement Monitoring based on Blockchain
Design and Development of a Process Modelling Environment for Business Process Utilization within Smart Glasses
Process Science for Sustainability: Research Gaps and Research Strategy
Selektionsalgorithmus zur effizienten, kompetenzorientierten Ressourcenallokation in Geschäftsprozessen
Can boundary objects mitigate communication defects in enterprise transformation? Findings from expert interviews
Designing and implementing a framework for event-based predictive modelling of business processes
A Conceptual Framework for Enhancing the Comprehensibility of Manually, Automatically, and Semi-automatically Created Process Models
How to Choose the Right BPM Tool: A Maturity-Centric Decision Framework with a Case Evaluation in the European Market
Understanding IT-Management and IT-Consulting Teaching as Product Service System: Application of an Engineering Model
Auf dem Weg zu Kriterien zur Auswahl einer geeigneten Evaluationsmethode für Artefakte der gestaltungsorientierten Wirtschaftsinformatik
Distributed verification with LoLA
A Reference Architecture for Semantic Content Management Systems
Modellierung von Geschäftsprozessen in der Unified Modeling Language und ihre Transformation in Petrinetze
Choosing an adequate level of detail in business process modelling
Model-Based Construction of Enterprise Architecture Knowledge Graphs (extended abstract)
Fast Pattern Matching in Conceptual Models - Evaluating and Extending a Generic Approach
Kundenorientierte Planung von Softwareprodukten und -prozessen mit Quality Function Deployment (QFD)
Towards an analysis driven approach for adapting enterprise architecture languages
Using a Fractal Enterprise Model for Business Model Innovation
Introducing a Co-Creation Perspective to Service Business Models
EMISA 2012 - Der Mensch im Zentrum der Modellierung, Vienna, Austria, September 13-14, 2012. Proceedings
Towards a Threat Modeling Language for Vessel Navigation and Port Call Optimization - harborLang
Towards an Architecture for Assistive Process Execution Environments
Design and Evaluation of a Web-based Modeling Platform to Support the Learning of Conceptual Modeling and of Studying the Corresponding Learning Processes
Motivations to Design Central Bank Digital Currency: A Conceptual Model
Enterprise Information Systems in Academia and Practice: Lessons learned from a MBSE Project
Zur praktischen Relevanz eines integrierten Workflow-Management-Systems: Ergebnisse einer empirischen Untersuchung
Designing an Intelligent Tutoring Chatbot for Declarative Process Modeling Education (Extended Abstract)
Systemmodellierung mit UML
Extensions of normal OOA methods and techniques for distributed real time systems
A UML Extension for Modeling Break-Glass Policies
A System for Testing Protocol Implementations
The first ten years, the next ten years
Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995
Executable LOTOS: Using PARLOG to Implement an FDT
The Total Correctness of Communication Protocols
Integrated Methods for Protocol Specification and Verification
Axioms of Communication Using Temporal Logic with Past
Network Management and Directory Services Test System
Observer: a run-time checking tool for local area networks
Specification of the Transport Service Using Numerical Petri Nets
Event-Based Temporal Logic Specifications of Services and Protocols
Use of Prolog for building protocol design tools
Protocol Development Success Stories: Part 1
Protocol Design Rules
On Modelling and Reasoning About Hybrid Systems
An algebraic-temporal specification of a CSMA/CD-protocol
Structuring Protocols Using Exceptions in a LOTOS Extension
A Framework for Test Selection
Open Distributed Processing
Necessary and Sufficient Conditions to Detect Message Duplication in Protocol Hierarchies
An interactive system for the analysis of communicating processes
Combining ASN1 Support with the LOTOS Language
An approach for evaluating formal description techniques
Introduction of Quantitative Relative Time into LOTOS
Using Checking Sequences for OSI Session Layer Conformance Testing
Extensions of Temporal Logic for Counting with Applications to Model Verification
Stepwise Refinement of Reactive Processor Farms
Algebraic Validation Methods-A Comparison of Three Techniques
Verification of Distributed Systems Using Structured Communicating Agents Nets
Modelling flow control in Estelle
Stochastic Petri Net Modeling of the FDDI Network Protocol
Specification of Real-Time Probabilistic Behaviour
Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987
Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS
A Validation Environment for LOTOS
On Test Sequence Generation for Protocols
Development of Satellite Communication Networks Based on LOTOS
Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS
On Time-Dependent Communication Protocols and Their Projections
Testability of Formal Specifications
X.25 Protocol Verification Facility for AT&T No.1 Packet Switching System (No. 1 PSS)
Formal Methods Applied to Software Production
On Limits and Possibilities of Automated Protocol Analysis
Assessing the service provided by a connection-less protocol
Deadlock Detection for a Class of Communicating Finite State Machine
On the use of specification styles for automated protocol implementation from LOTOS to C
Some Experiences of Testing Protocol Implementations
Hardware specification generated from Estelle
Cache consistency by design
An Improved Algorithm for Estimating Protocol Performance
A Specification of the OSI Transport Service in LOTOS
GENEPI/A-A Protocol Independent System for Testing Protocol Implementation
Synthesis of Protocols and Protocol Converters Using the Submodule Construcion Approach
Error detection with multiple observers
Decomposition of functionality: a correctness-preserving LOTOS transformation
A Composition Theorem for Layered Systems
On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework
ADA, a well suited language for specification and implementation of protocols
Parallel Protocol Verification: The Two-Phase Algorithm
Some Experiences with Test Sequence Generation in Application Layer
Towards the Unification of the Functional and Performance Analysis of Protocols, or is the Alternating-Bit Protocol Really Correct?
Automatic Implementation of TP4/IP with an Estelle Workstation. Development Methodology and Performance Evaluation
Supervisory control of communicating processes
Towards Automatic Test Generation for Protocol Data Aspects
Proof of Specification Properties by Using Finite State Machines and Temporal Logic
Including a Queue in a Formal-Description-Driven Protocol Performance Analysis
Protocol Conversion Method for Heterogeneous Systems Interconnection in Multi-Profile Environment
Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983
Modeling basic LOTOS by FSMs for conformance testing
A method for verifying liveness of protocols modeled as a class of ECFSM
Fundamental Results for the Verification of Observational Equivalence: A Survey
A Communicating System Net Model for Specification and Verification of Distributed Nets
GENEPIX: a portable version under UNIX of the OSI protocol tester GENEPI
Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994
Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS
Verification Results for ISO FTAM Basic Protocol
A formal comparison of formal protocol specification techniques
Testing Protocol Robustness the CCS Way
Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL
Structural decomposition
Re-usable verification elements for high-speed transfer protocol configurations
Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989
Performance Analysis Using Timed Petri Nets
Feature interaction detection using backward reasoning with LOTOS
Towards execution of TTCN test cases
Some Experience with the Use of Formal Specifications
An Evaluation of the ICST Test Architecture after Testing Class 4 Transport
Temporal Logic Specification of a Virtual Ring LAN Access Protocol
ATM Networks: Issues and Challenges Ahead
Semi-Markovian Analysis of Protocol Performance
On the Verification of Temporal Properties
An environment for interactive design of communications architectures
An approach to testing distributed software systems
Towards evaluating fault coverage of protocol test sequences
A Testing Theory for LOTOS using Deadlock Detection
Simulating Estelle Specifications with Time Parameters
An Engineering Approach to Formal Methods
Putting information infrastructure on the technology curve
Presentation Layer Conformance Testing with TTCN
Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets
A Hybrid Model for Protocols and Services: Verification and Simulation by a Modified Depth-First Search Algorithm
Formal protocol specification based on attribute grammars
Functional Specification for an ISDN Switching System: an Experience using Estelle
Characterizing termination in LOTOS via testing
Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982
A refinement logic for the fork calculus
Protocol Conformance Testing Using Multiple UIO Sequences
Quantified reduced views of state graphs using Markovian and timed observational equivalence
The importance of the service concept in the design of data communications protocols
Gateway Testing Technique
Towards Truly Open Systems
Compositional specification and verification of high-speed transfer protocols
PDIL-Protocol Description and Implementation Language
Compressed State Space Representation in LOTOS with the Interleaved Expansion
Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993
CSP and CSP Nets: A Dual Model for Protocol Specification and Verification
Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models
Modeling of Initial Connection Handling in TCP Using Contour/Transition Nets
Note on the Early History of Layered Architecture
Analyzing the Time Efficiency of a Communication Protocol
Action Refinement in LOTOS
Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992
LAN Broadcast Protocols for Implementing the CCA Model
Computing Diagnostic Test for Incorrect Processes
Automatic verification of real-tim systems using epsilon
Service Specifications for Recursively-Defined Protocols
A Queue Model Relating Synchronous and Asynchronous Communication
Object-oriented protocol specification
Probabilistic Verification of Communication Protocols
On Executable Specifications, Validation, and Testing of MAC-Level Protocols
Modelling and Specifying a Presentation Protocol by Temporal Ordering
Specifiying and Proving Communication Closedness in Protocols
A Metric Based Theory of Test Selection and Coverage
Compositional logic semantics and LOTOS
The Two-Dimensional Window Protocol
How Could Estelle Become a Better FDT?
Validation, verification and implementation of timed protocols using AORTA
Development of an international standard for conformance testing X.25 DTEs January 1988 - May 1989
Development of Communication Software by Stepwise Refinement
Abstract testing and concrete testers
Test Generation for the Specification Written in Estelle
Principles for validation of abstract test suites specified in concurrent TTCN
Formal Model of a High Speed Transport Procotol
Protocol Testing Using A Reference Implementation
Protocol conformance test case verification using timed-transitions
OSI Protocol Testing at the Corporation for Open Systems
A Model of Entity for the Definition of Protocols, Services, and Interfaces
The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model
An analysis of bistate hashing
Translation of Formal Protocol Specifications to VLSI Designs
A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines
A tutorial on LOTOS
Experiences with a Verification and Simulation Tool for Behavioural Languages
Computer supported test generation from SDL specifications
Specifying real-time requirements for SDL specifications - a temporal logic-based approach
On compositionality and Petri nets in protocol engineering
Approaches utilizing segment overlap to minimize test sequences
Backward Symbolic Execution of Protocols
Design and verification in real-time distributed computing: an introduction to compositional methods
Dynamic State Exploration in Quantitative Protocol Analysis
Towards standardized OSI conformance tests
The Teletex Test System PETRUS
Some Problems with the Specification of the Military Standard Transmission Control Protocol