Items where Author is "Tran, Huy"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Number of items: 45.

  • Supporting Automated Containment Checking of Software Behavioural Models Using Model Transformations and Model Checking
    UL Muram, Faiz and Tran, Huy and Zdun, Uwe pp. 38-71 ISSN 0167-6423 Elsevier (2019)

  • Towards a Framework for Detecting Containment Violations in Service Choreography
    UL Muram, Faiz and Javed, Muhammad Atif and Tran, Huy and Zdun, Uwe In: 14th IEEE International Conference on Services Computing, SCC 2017 , 25 - 30 June 2017 , Honolulu, Hawaii, USA (2017)

  • Lightweight Approach for Seamless Modeling of Process Flows in Case Management Models
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: The 32nd ACM Symposium on Applied Computing (SAC 2017) , 3-6 Apr 2017 , Marrakesh, Morocco (2017)

  • On the Understandability of Semantic Constraints for Behavioral Software Architecture Compliance: A Controlled Experiment
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: IEEE International Conference on Software Architecture (ICSA 2017) , 3-7 April 2017 , Gothenburg, Sweden (2017)

  • Reduction Techniques for Efficient Behavioral Model Checking in Adaptive Case Management
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: The 32nd ACM Symposium on Applied Computing (SAC 2017) , 3-6 Apr 2017 , Marrakesh, Morocco (2017)

  • Systematic Review of Software Behavioral Model Consistency Checking
    UL Muram, Faiz and Tran, Huy and Zdun, Uwe pp. 1-39 ISSN 0360-0300 ACM Computing Surveys (2017)

  • Enabling Flexibility of Business Processes Using Compliance Rules: The Case of Mobiliar
    Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph and Czepa, Christoph and Tran, Huy and Zdun, Uwe In: Business Process Management. Cases. Springer (2017)

  • Towards Containment Checking of Behaviour in Architectural Patterns
    UL Muram, Faiz and Tran, Huy and Zdun, Uwe In: 22nd European Conference on Pattern Languages of Programs (EuroPLoP 2017) , 12-16 July 2017 , Irsee in Bavaria, Germany (2017)

  • A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams
    UL Muram, Faiz and Tran, Huy and Zdun, Uwe In: 23rd Asia-Pacific Software Engineering Conference (APSEC 2016) , 6th-9th December 2016 , University of Waikato, Hamilton, New Zealand (2016)

  • Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract)
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: 7th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA 2016) , 3-5 Oct 2016 , Vienna, Austria (2016)

  • An Ontology-Based Approach for Defining Compliance Rules by Knowledge Workers in Adaptive Case Management
    Tran, Thanh and Weiss, Erhard and Adensamer, Alexander and Ruhsam, Christoph and Czepa, Christoph and Tran, Huy and Zdun, Uwe In: 5th International Workshop on Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 16), 20th IEEE International Enterprise Computing Workshops (EDOCW 2016) , 05 - 09 Sep 2016 , Vienna, Austria (2016)

  • Ontology-Based Behavioral Constraint Authoring
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: 2nd International Workshop on Compliance, Evolution and Security in intra- and Cross-Organizational Processes (CeSCoP 2016), 20th IEEE International Enterprise Computing Workshops (EDOCW 2016) , 05 - 09 Sept 2016 , Vienna, Austria (2016)

  • Towards a Compliance Support Framework for Adaptive Case Management
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: 5th International Workshop on Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 16), 20th IEEE International Enterprise Computing Workshops (EDOCW 2016) , 05 - 09 Sep 2015 , Vienna, Austria (2016)

  • Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: 28th International Conference on Advanced Information Systems Engineering (CAiSE'16), Forum Track , 13-17 June 2016 , Ljubljana, Slovenia (2016)

  • Supporting Structural Consistency Checking in Adaptive Case Management
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Rinderle-Ma, Stefanie and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: International Conference on Cooperative Information Systems (CoopIS) 2015 , 28-30 October , Rhodes, Greece (2015)

  • A Graph-Based Approach for Containment Checking of Behavior Models of Software Systems
    Tran, Huy and UL Muram, Faiz and Zdun, Uwe In: IEEE International Enterprise Distributed Object Computing Conference (EDOC) 2015 , 21-25 Sep 2015 , Adelaide, Australia (2015)

  • Counterexample Analysis for Supporting Containment Checking of Business Process Models
    UL Muram, Faiz and Tran, Huy and Zdun, Uwe In: First International Workshop on Process Engineering (IWPE'15) , 31 August - 3 September 2015 , Innsbruck, Austria (2015)

  • Embracing Process Compliance and Flexibility through Behavioral Consistency Checking in ACM: A Repair Service Management Case
    Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph and Czepa, Christoph and Tran, Huy and Zdun, Uwe In: 4th International Workshop on Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 15) , 31 Aug - 03 Sep 2015 , Innsbruck, Austria (2015)

  • Enabling Flexibility of Business Processes by Compliance Rules: A Case Study from the Insurance Industry
    Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph and Czepa, Christoph and Tran, Huy and Zdun, Uwe In: 13th International Conference on Business Process Management 2015, Industry Track , 31 Aug - 3 Sep 2015 , Innsbruck, Austria (2015)

  • Towards Structural Consistency Checking in Adaptive Case Management
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: 4th International Workshop on Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 15) , 31 Aug- 03 Sep 2015 , Innsbruck, Austria (2015)

  • Harmonizing Architectural Decisions with Component View Models using Reusable Architectural Knowledge Transformations and Constraints
    Lytra, Ioanna and Tran, Huy and Zdun, Uwe pp. 80-96 ISSN 0167-739X Elsevier (2015)

  • Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking
    UL Muram, Faiz and Tran, Huy and Zdun, Uwe In: 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2014). Satellite event of ETAPS, EPTCS 147. April 12th, 2014 , April 12th, 2014 , Grenoble, France (2014)

  • Impact Analysis for Event-based Systems using Change Patterns
    Tragatschnig, Simon and Tran, Huy and Zdun, Uwe In: 29th Symposium On Applied Computing (SAC 2014) - Cooperative Systems , March 24 - 28, 2014 , Gyeongju, Korea (2014)

  • On the Interdependence and Integration of Variability and Architectural Decisions
    Lytra, Ioanna and Eichelberger, Holger and Tran, Huy and Leyh, Georg and Schmid, Klaus and Zdun, Uwe In: The 8th International Workshop on Variability Modelling of Software-intensive Systems (VAMOS '14) , 22-24 Jan 2014 , Nice, France (2014)

  • Change Patterns for Supporting the Evolution of Event-based Systems
    Tragatschnig, Simon and Tran, Huy and Zdun, Uwe In: 21st International Conference on COOPERATIVE INFORMATION SYSTEMS (CoopIS 2013) , 11-13.09.2013 , Graz, Austria (2013)

  • Decisions, Models, and Monitoring A Lifecycle Model for the Evolution of Service-Based Systems
    Inzinger, Christian and Hummer, Waldemar and Lytra, Ioanna and Leitner, Philipp and Tran, Huy and Zdun, Uwe and Dustdar, Schahram In: 17th IEEE International EDOC Conference (EDOC 2013) , 9-13 September 2013 , Vancouver, BC, Canada (2013)

  • Event Actors Based Approach for Supporting Analysis and Verification of Event-Driven Architectures
    Tran, Huy and Zdun, Uwe In: 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC) , September 9-13, 2013 , Vancouver, BC, Canada (2013)

  • Sustainable Architectural Design Decisions
    Zdun, Uwe and Capilla, Rafael and Tran, Huy and Zimmermann, Olaf IEEE Software, 3 (6). pp. 46-53 ISSN 0740-7459 IEEE Computer Society Press (In Press) (2013)

  • Supporting Consistency between Architectural Design Decisions and Component Models through Reusable Architectural Knowledge Transformations
    Lytra, Ioanna and Tran, Huy and Zdun, Uwe In: European Conference on Software Architecture (ECSA) , July 1-5 , Montpellier, France (2013)

  • Derivation of Domain-specific Architectural Knowledge Views from Governance and Security Compliance Metadata
    Tran, Huy and Lytra, Ioanna and Zdun, Uwe In: 28th Symposium On Applied Computing , March 18 - 22, 2013 , Coimbra, Portugal (2013)

  • A Pattern Language for Service-Based Platform Integration and Adaptation
    Lytra, Ioanna and Sobernig, Stefan and Tran, Huy and Zdun, Uwe In: Proceedings of the 16th European Conference on Pattern Languages of Programs (EuroPLoP) , July 2012 , Irsee, Germany (2012)

  • Compliance in service-oriented architectures: A model-driven and view-based approach
    Tran, Huy and Zdun, Uwe and Holmes, T. and Oberortner, E. and Mulo, E. and Dustdar, S. Information and Software Technology, 54 (6). pp. 531-552 ISSN 0950-5849 Elsevier B.V. (2012)

  • Constraint-Based Consistency Checking between Design Decisions and Component Models for Supporting Software Architecture Evolution
    Lytra, Ioanna and Tran, Huy and Zdun, Uwe In: 16th European Conference on Software Maintenance and Reengineering (CSMR) , March 27-30, 2012 , Szeged, Hungary (2012)

  • Event-driven Actors for Supporting Flexibility and Scalability in Service-based Integration Architecture
    Tran, Huy and Zdun, Uwe In: 20th International Conference on Cooperative Information Systems (CoopIS) , September 10-14, 2012 , Rome, Italy (2012)

  • Name-based View Integration for enhancing the Reusability in process-driven SOAs
    Tran, Huy and Zdun, Uwe and Dustdar, S. International Journal of Business Process Integration and Management, 5 (3). pp. 229-239 (2011)

  • Using Model-Driven Views and Trace Links to Relate Requirements and Architecture
    Tran, Huy and Holmes, T. and Zdun, Uwe and Dustdar, S. In: A Case Study, Relating software requirements and architectures. Springer Verlag (2011)

  • Name-based view integration for enhancing the reusability in process-driven SOAs
    Tran, Huy and Zdun, Uwe and Dustdar, S. In: 1st Workshop on Reuse in Business Process Management (rBPM 2010), 8th Int. Conf. on Business Process Management (BPM 2010) , Hoboken, New Jersey, USA (2010)

  • Model-driven and Domain-specific Architectural Knowledge View for Compliance Meta-data in Process-Driven SOAs
    Holmes, T. and Tran, Huy and Zdun, Uwe and Dustdar, S. In: Fifth Workshop on SHAring and Reusing architectural Knowledge (SHARK 2010) , Cape Town, South Africa (2010)

  • An End-to-End Framework for Business Compliance in Process-Driven SOAs
    Tran, Huy and Holmes, T. and Oberortner, E. and Mulo, E. and Betkowska-Cavalcante, J. Serafinski and Tluczek, M. and Birukou, A. and Silveira, P. and Zdun, Uwe and Dustdar, S. In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) , Timisoara, Romania (2010)

  • Modeling Process-Driven SOAs - a View-Based Approach
    Tran, Huy and Holmes, T. and Zdun, Uwe and Dustdar, S. In: Handbook of Research on Business Process Modeling. IGI Global, Hershey, USA (2009)

  • VbTrace: Using View-based and Model-driven Development to Support Traceability in Process-driven SOAs
    Tran, Huy and Zdun, Uwe and Dustdar, S. Software & System Modeling. Springer (2009)

  • View-Based Reverse Engineering Approach for Enhancing Model Interoperability and Reusability in Process-Driven SOAs
    Tran, Huy and Zdun, Uwe and Dustdar, Schahram In: 10th International Conference on Software Reuse (ICSR), Lecture Notes in Computer Science 5030 , Beijing, China (2008)

  • View-based Integration of Process-driven SOA Models At Various Abstraction Levels
    Tran, Huy and Zdun, Uwe and Dustdar, S. In: Proceedings of First International Workshop on Model-Based Software and Data Integration MBSDI 2008 , Berlin, Germany (2008)

  • Modeling Human Aspects of Business Processes - A View-Based, Model-Driven Approach
    Holmes, Ta'id and Tran, Huy and Zdun, Uwe and Dustdar, Schahram In: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, June 9-13, 2008. Proceedings, Lecture Notes in Computer Science 5095 , Berlin, Germany (2008)

  • View-based and Model-driven Approach for Reducing the Development Complexity in Process-Driven SOA
    Tran, Huy and Zdun, Uwe and Dustdar, S. In: Proceedings of International Conference on Business Processes and Services Computing , Leipzig, Germany (2007)

    • This list was generated on Sun Nov 24 03:09:16 2024 CET.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.