Search results for "UML2"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
110	Ingolf H. Krüger, Massimiliano Menarini	Queries and Constraints: A Comprehensive Semantic Model for UML2.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	UML, Software Architecture, Semantics, Programming Languages, Model-based Development, UML2
108	Paul Baker, Clive Jervis	Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile.	SDL Forum	2007	DBLP DOI BibTeX RDF
69	Vina Ermagan, Ingolf H. Krüger	A UML2 Profile for Service Modeling.	MoDELS	2007	DBLP DOI BibTeX RDF	Rich Services, Web Services, Service-oriented Architectures, Model Driven Architectures
69	Guangquan Zhang 0002, Rong Mei, Jun Zhang	A Business Process of Web Services Testing Method Based on UML2.0 Activity Diagram.	IITA	2007	DBLP DOI BibTeX RDF
69	Sunghwan Roh, Kyungrae Kim, Taewoong Jeon	Architecture Modeling Language based on UML2.0.	APSEC	2004	DBLP DOI BibTeX RDF
54	Leïla Kloul, Juliana Küster Filipe	Modelling Mobility with UML2.0 and PEPA Nets.	ACSD	2006	DBLP DOI BibTeX RDF
54	Zinovy Diskin, Jürgen Dingel	Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2.	MoDELS	2006	DBLP DOI BibTeX RDF
54	Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc 0001	UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling.	MoDELS	2005	DBLP DOI BibTeX RDF	SP Metamodel, MDD, Software Process Modelling, Process Modelling Languages
54	Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira	Using UML2.0 and GG for Describing the Dynamic of Software Architectures.	ICITA (1)	2005	DBLP DOI BibTeX RDF
54	Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt	An OCL Formulation of UML2 Template Binding.	UML	2004	DBLP DOI BibTeX RDF
51	Giovanni Giachetti, Francisco Valverde, Oscar Pastor 0001	Improving Automatic UML2 Profile Generation for MDA Industrial Development.	ER Workshops	2008	DBLP DOI BibTeX RDF	DSML, MDA, MDD, Metamodeling, Model-driven Engineering, UML Profile, UML2
50	Fatma Dhaou	Vérification formelle de la relation de raffinement des diagrammes de séquences d'UML2.X avec la méthode formelle B événementiel. (Formal checking of refinement relation of UML2.X sequence diagram with Event-B method).		2018	RDF
50	Aymen Louati	Contribution à la formalisation et à la vérification des diagrammes dynamiques UML2 à base des réseaux de Petri. (Contribution of Formalization and Verification of UML2 Dynamic Diagrams Based on Petri Nets).		2015	RDF
44	Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel	Revisiting Statechart Synthesis with an Algebraic Approach.	ICSE	2004	DBLP DOI BibTeX RDF
44	Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, Axel Rennoch	The UML 2.0 Testing Profile and Its Relation to TTCN-3.	TestCom	2003	DBLP DOI BibTeX RDF
41	Philip Mayer, Andreas Schroeder 0001, Nora Koch	A Model-Driven Approach to Service Orchestration.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	SOA, MDA, Transformation, BPEL, Orchestration, UML2
41	Kari Leppänen, Sari Leppänen, Markku Turunen	A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems.	MoDELS	2007	DBLP DOI BibTeX RDF	model-based system design, formal methods, MDA, design automation, UML2
41	Hongxing Liu, Yansheng Lu, Qing Yang	XML conceptual modeling with XUML.	ICSE	2006	DBLP DOI BibTeX RDF	XML, conceptual model, XML schema, UML2
41	Xiaoshan Li	A Characterization of UML Diagrams and their Consistency.	ICECCS	2006	DBLP DOI BibTeX RDF	UML2.0, Semantics, Consistency Checking, Sequence Diagram
39	Dominik Gessenharter	Mapping the UML2 Semantics of Associations to a Java Code Generation Model.	MoDELS	2008	DBLP DOI BibTeX RDF	Java, UML, Code Generation, Associations
39	Vaclav Cechticky, Martin Egli, Alessandro Pasetti, O. Rohlik, Tullio Vardanega	A UML2 Profile for Reusable and Verifiable Software Components for Real-Time Applications.	ICSR	2006	DBLP DOI BibTeX RDF
39	Keith Duddy	UML2 must enable a family of languages.	Commun. ACM	2002	DBLP DOI BibTeX RDF	UML
29	Kenneth Chan, Iman Poernomo	QoS-aware model driven architecture through the UML and CIM.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	QoS, Monitoring, Model driven architecture, Instrumentation
29	Frédérick Seyler, Chantal Taconet, Guy Bernard	Context Adaptation of Web Service Orchestrations.	WETICE	2007	DBLP DOI BibTeX RDF
29	Alexander Viehl, Timo Schönwald, Oliver Bringmann 0001, Wolfgang Rosenstiel	Formal performance analysis and simulation of UML/SysML models for ESL design.	DATE	2006	DBLP DOI BibTeX RDF
29	Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen	Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols.	ISoLA	2006	DBLP DOI BibTeX RDF
29	Rabih Zbib, Ashish Jain, Devasis Bassu, Hiralal Agrawal	Generating Domain Specific Graphical Modeling Editors from Meta Models.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
29	Kenneth Chan, Iman Poernomo	QoS-Aware Model Driven Architecture through the UML and CIM.	EDOC	2006	DBLP DOI BibTeX RDF
29	C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens	Analysing UML 2.0 activity diagrams in the software performance engineering process.	WOSP	2004	DBLP DOI BibTeX RDF
26	Cyril Ballagny, Nabil Hameurlain, Franck Barbier	Dynamic adaptive software components: the MOCAS approach.	CSTST	2008	DBLP DOI BibTeX RDF	UML2 state machine, dynamic adaptation, component model
26	Imran Rafiq Quadri, Pierre Boulet, Samy Meftali, Jean-Luc Dekeyser	Using an MDE Approach for Modeling of Interconnection Networks.	ISPAN	2008	DBLP DOI BibTeX RDF	UML2 Templates, SoC, MINs, NoC, MDE, MARTE, Delta Networks
25	Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech	An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components.	IEEE Syst. J.	2020	DBLP DOI BibTeX RDF
25	Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa	A contractual approach for the verification of UML2.0 software architectures.	Int. J. Comput. Appl. Technol.	2018	DBLP DOI BibTeX RDF
25	Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes	Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams.	ENASE	2018	DBLP DOI BibTeX RDF
25	Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes	A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments.	ENASE	2017	DBLP DOI BibTeX RDF
25	Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman	UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components.	ISDA	2017	DBLP DOI BibTeX RDF
25	Aymen Louati, Kamel Barkaoui	Formal Verification of UML2 Timing Diagrams based on Time Petri Nets.	Int. J. Inf. Syst. Serv. Sect.	2016	DBLP DOI BibTeX RDF
25	Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech	Behavioral Verification of UML2.0/PoSM Components.	SoMeT	2016	DBLP DOI BibTeX RDF
25	Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech	Behavioral Verification of UML2.0 Software Architecture.	SKG	2016	DBLP DOI BibTeX RDF
25	Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes	Refinement of UML2.0 Sequence Diagrams for Distributed Systems.	ICSOFT-EA	2016	DBLP DOI BibTeX RDF
25	Meryem Elallaoui, Khalid Nafil, Rajaa Touahni, Rochdi Messoussi	Automated Model Driven Testing Using AndroMDA and UML2 Testing Profile in Scrum Process.	ANT/SEIT	2016	DBLP DOI BibTeX RDF
25	Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa	UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures.	WETICE	2016	DBLP DOI BibTeX RDF
25	Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes	Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems.	ICSOFT-EA	2015	DBLP DOI BibTeX RDF
25	Aissam Belghiat, Allaoua Chaoui	A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams.	ICSOFT-PT	2015	DBLP DOI BibTeX RDF
25	Sabine Boufenara, Kamel Barkaoui, Faiza Belala, Hanifa Boucheneb	Transactional Petri nets: a semantic framework for UML2 activities.	Int. J. Crit. Comput. Based Syst.	2014	DBLP DOI BibTeX RDF
25	Miloud Bennama, Thouraya Bouabana-Tebibel	Validation environment of UML2 IOD based on hierarchical coloured Petri nets.	Int. J. Comput. Appl. Technol.	2013	DBLP DOI BibTeX RDF
25	Mohamed Tahar Bhiri, Taoufik Sakka Rouis, Mourad Kmimech	Checking Non-functional Properties of UML2.0 Components Assembly.	WETICE	2013	DBLP DOI BibTeX RDF
25	Mourad Kmimech	Vérification d'assemblages de composants logiciels : Application aux modèles de composants UML2.0 et Ugatze	CoRR	2012	DBLP BibTeX RDF
25	Patrick Gaubatz, Uwe Zdun	UML2 Profile and Model-Driven Approach for Supporting System Integration and Adaptation of Web Data Mashups.	ICWE Workshops	2012	DBLP DOI BibTeX RDF
25	Azzam Maraee, Mira Balaban	Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines.	MoDELS	2012	DBLP DOI BibTeX RDF
25	Takoua Ben Rhouma, Patrick Tessier, François Terrier	Merging UML2 Composite Structures of Software Product Lines.	ICECCS	2012	DBLP DOI BibTeX RDF
25	Tu Peng, Gangyi Ding	Formal specification and automated verification of UML2.0 sequence diagrams.	GrC	2012	DBLP DOI BibTeX RDF
25	Mourad Kmimech, Mohamed Tahar Bhiri, Mohamed Graiet, Philippe Aniorté	Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0.	CAL	2011	DBLP BibTeX RDF
25	Sigrid Schefer	Consistency Checks for Duties in Extended UML2 Activity Models.	ARES	2011	DBLP DOI BibTeX RDF
25	Chen Zhang, Zhenhua Duan	Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata.	SSIRI (Companion)	2011	DBLP DOI BibTeX RDF
25	Reehan Shaikh, Hans Vangheluwe	Transforming UML2.0 class diagrams and statecharts to atomic DEVS.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
25	Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou	Profile UML2.0 for Specification of the SCA Architectures.	SKG	2011	DBLP DOI BibTeX RDF
25	Meixia Zhu, Hanpin Wang, Wei Jin, Zizhen Wang, Chunxiang Xu	Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation.	COMPSAC Workshops	2010	DBLP DOI BibTeX RDF
25	Iman Poernomo, George Tsaramirsis, Mohammad Yamin	Ontology based UML2 Component Architecture Generation.	ICISO	2010	DBLP BibTeX RDF
25	Gerhard Fuchs, Reinhard German	UML2 activity diagram based programming of wireless sensor networks.	SESENA@ICSE	2010	DBLP DOI BibTeX RDF
25	Fateh Boutekkouk, Mohamed Benmohammed, Sébastien Bilavarn, Michel Auguin	UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs).	J. Object Technol.	2009	DBLP DOI BibTeX RDF
25	Tero Arpinen, Erno Salminen, Timo D. Hämäläinen, Marko Hännikäinen	Performance Evaluation of UML2-Modeled Embedded Streaming Applications with System-Level Simulation.	EURASIP J. Embed. Syst.	2009	DBLP DOI BibTeX RDF
25	Tero Arpinen, Tapio Koskinen, Erno Salminen, Timo D. Hämäläinen, Marko Hännikäinen	Evaluating UML2 modeling of IP-XACT objects for automatic MP-SoC integration onto FPGA.	DATE	2009	DBLP DOI BibTeX RDF
25	Hubert Dubois, Fadoi Lakhal, Sébastien Gérard	The Papyrus Tool as an Eclipse UML2-modeling Environment for Requirements.	MARK@RE	2009	DBLP DOI BibTeX RDF
25	Jari Kreku, Mika Hoppari, Tuomo Kestilä, Yang Qu, Juha-Pekka Soininen, Per Andersson, Kari Tiensyrjä	Combining UML2 Application and SystemC Platform Modelling for Performance Evaluation of Real-Time Embedded Systems.	EURASIP J. Embed. Syst.	2008	DBLP DOI BibTeX RDF
25	Alain Beaulieu, Greg Phillips, Sandra Smith	Modeling Security Protocols using UML2.	MODSEC@MoDELS	2008	DBLP BibTeX RDF
25	Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee	Leveraging Modes and UML2 for Service Brokering Specifications.	MDWE@MoDELS	2008	DBLP BibTeX RDF
25	Javier Fabra, Joaquín Peña, Antonio Ruiz Cortés, Joaquin Ezpeleta	Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform.	ICIW	2008	DBLP DOI BibTeX RDF	Web processes, UML, SOA, Petri nets, MDD, Orchestration, Choreography, SOC
25	Mara Nikolaidou, Vassilis Dalakas, Georgios-Dimitrios Kapos, Loreta Mitsi, Dimosthenis Anagnostopoulos	A UML2.0 profile for DEVS: Providing code generation capabilities for simulation.	SEDE	2007	DBLP BibTeX RDF
25	Sébastien Gérard, Cédric Dumoulin, Patrick Tessier, Bran Selic	Papyrus: A UML2 Tool for Domain-Specific Language Modeling.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
25	Ahmed M. Mostafa, Manal Ahmed Ismail, Hatem El-Bolok, E. M. Saad	Toward a Formalization of UML2.0 Metamodel using Z Specifications.	SNPD (1)	2007	DBLP DOI BibTeX RDF	Use Case Diagram, State Machine Diagram, Unified Modeling Language (UML), Formalization, Class Diagram, Z specification language
25	Tim Weilkiens, Bernd Oestereich	UML2-Zertifizierung - Fundamental, Intermediate und Advanced: Test-Vorbereitung zum OMG Certified UML Professional.		2006	RDF
25	Mohamed Graiet, Mohamed Tahar Bhiri, Faïza Dammak, Jean-Pierre Giraudin	Adaptation d'UML2.0 à l'ADL Wright.	CAL	2006	DBLP BibTeX RDF
25	Alexander Viehl, Oliver Bringmann 0001, Wolfgang Rosenstiel	Virtual Prototyping und frühe Evaluierung von Systems-on-Chip mit UML2 und SysML.	MBMV	2006	DBLP BibTeX RDF
25	Ouassila Labbani, Éric Rutten, Jean-Luc Dekeyser, Pierre Boulet	UML2 Profile for Modeling Controlled Data Parallel Applications.	FDL	2006	DBLP BibTeX RDF
25	Mouez Ali, Hanêne Ben-Abdallah, Faïez Gargouri	Validation des Besoins dans les Modèles UML2.0.	INFORSID	2006	DBLP BibTeX RDF
25	Mohamed Graiet, Mohamed Tahar Bhiri, Jean-Pierre Giraudin, Noureddine Belkhatir	Architecture des systèmes avec la norme UML2.0 et l'ADL Wright.	INFORSID	2006	DBLP BibTeX RDF
25	Sadahiro Isoda	On UML2.0's Abandonment of the Actors-Call-Use-Cases Conjecture.	J. Object Technol.	2005	DBLP DOI BibTeX RDF
25	Alexander Nyßen, Horst Lichter, Jan Suchotzki, Peter O. Müller, Andreas Stelter	UML2-basierte Architekturmodellierung kleiner eingebetteter Systeme Erfahrungen einer Feldstudie.	MBEES	2005	DBLP BibTeX RDF
25	Tim Weilkiens, Bernd Oestereich	UML2-Zertifizierung - Test-Vorbereitung zum OMG Certified UML Professional Fundamental.		2004	RDF
25	Arnaud Cuccuru, Philippe Marquet, Jean-Luc Dekeyser	UML2 as an ADL Hierarchichal Hardware Modeling.	IFIP-WADL	2004	DBLP DOI BibTeX RDF
25	Arnaud Cuccuru, Pierre Boulet, Jean-Luc Dekeyser	Regular Hardware Architecture Modeling with UML2.	FDL	2004	DBLP BibTeX RDF
25	Dave Thomas	UML - Unified or Universal Modeling Language? UML2, OCL, MOF, EDOC - The Emperor Has Too Many Clothes.	J. Object Technol.	2003	DBLP DOI BibTeX RDF
25	Sita Ramakrishnan	VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile.	FATES	2003	DBLP DOI BibTeX RDF
15	Oscar R. Polo, Kristof Konings, Pablo Parra, Martin Knoblauch, Ignacio García, Sebastián Sánchez-Prieto	Preliminary feasibility analysis of component based modelling and automatic Java code generation for nanosatellite on-board software: short paper.	JTRES	2010	DBLP DOI BibTeX RDF	software engineering, real-time systems
15	Juliana Küster Filipe Bowles, Leïla Kloul	Synthesising PEPA nets from IODs for performance analysis.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	formal transformation, pepa nets, uml 2 interaction diagrams, mobility, performance analysis
15	Elvinia Riccobene, Patrizia Scandurra	Model transformations in the UPES/UPSoC development process for embedded systems.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Model-based development (MBD), Unified modeling language (UML), Model transformations, SystemC, Embedded system design
15	Linas Laibinis, Elena Troubitsyna, Sari Leppänen	Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development
15	Charles André, Frédéric Mallet	Specification and verification of time requirements with CCSL and Esterel.	LCTES	2009	DBLP DOI BibTeX RDF	synchronous languages, uml, marte, time model
15	Minxue Pan, Lei Bu, Xuandong Li	TASS: Timing Analyzer of Scenario-Based Specifications.	CAV	2009	DBLP DOI BibTeX RDF
15	Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel	Engage: Engineering Service Modes with WS-Engineer and Dino.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
15	Shahar Maoz, Jani Metsä, Mika Katara	Model-Based Testing Using LSCs and S2A.	MoDELS	2009	DBLP DOI BibTeX RDF
15	Shahar Maoz	Polymorphic Scenario-Based Specification Models: Semantics and Applications.	MoDELS	2009	DBLP DOI BibTeX RDF
15	Reda Bendraou, Jean-Marc Jézéquel, Franck Fleurey	Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution.	ICSP	2009	DBLP DOI BibTeX RDF	process modeling and execution, UML, Executable models
15	Tony Spiteri Staines	Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets.	ECBS	2008	DBLP DOI BibTeX RDF
15	Nizar Idoudi, Claude Duvallet, Bruno Sadeg, Rafik Bouaziz, Faïez Gargouri	Structural Model of Real-Time Databases: An Illustration.	ISORC	2008	DBLP DOI BibTeX RDF
15	Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel	A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes.	ICSOC	2008	DBLP DOI BibTeX RDF
15	Ji Wu 0003, Liu Yang, Xu Luo	Jata: A Language for Distributed Component Testing.	APSEC	2008	DBLP DOI BibTeX RDF
15	Farhad Arbab, Sun Meng	Synthesis of Connectors from Scenario-Based Interaction Specifications.	CBSE	2008	DBLP DOI BibTeX RDF	Scenario-based Specification, UML, Synthesis, Connector, Reo, Constraint Automata
15	Richard Torbjørn Sanders, Øystein Haugen	Milestones: Mythical Signals in UML to Analyze and Monitor Progress.	ServiceWave	2008	DBLP DOI BibTeX RDF