Search results for "behavioral semantics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo	Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude.	SLE	2008	DBLP DOI BibTeX RDF
2	Arnd Poetzsch-Heffter, Jan Schäfer	A Representation-Independent Behavioral Semantics for Object-Oriented Components.	FMOODS	2007	DBLP DOI BibTeX RDF
2	Jürgen Großmann, Wolfgang Müller 0003	A Formal Behavioral Semantics for TestML.	ISoLA	2006	DBLP DOI BibTeX RDF
2	Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer	Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.	UML	2000	DBLP DOI BibTeX RDF	UML meta model, precise behavioral semantics, graph transformation, statechart diagrams
2	David B. Skillicorn, Janice I. Glasgow	Real-Time Specification Using Lucid.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	external requirements, meaning-preserving transformations, behavioral semantics, architectural constraints, real-time systems, real-time systems, formal specification, execution time, proof system, functional specification, real-time properties, Lucid
1	José Eduardo Rivera, Francisco Durán, Antonio Vallecillo	On the Behavioral Semantics of Real-Time Domain Specific Visual Languages.	WRLA	2010	DBLP DOI BibTeX RDF
1	Kai Chen 0003, Joseph Porter, Janos Sztipanovits, Sandeep Neema	Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages.	Int. J. Semantic Computing	2009	DBLP DOI BibTeX RDF
1	Jun Kong, Kang Zhang, Jing Dong, Dianxiang Xu	Specifying behavioral semantics of UML diagrams through graph transformations.	Journal of Systems and Software	2009	DBLP DOI BibTeX RDF
1	Daniel Balasubramanian, Ethan K. Jackson	Lost in Translation: Forgetful Semantic Anchoring.	ASE	2009	DBLP DOI BibTeX RDF	Behavioral Semantics, Composition
1	Walid Chainbi	Modeling Multi-Agent Systems as Labeled Transitions Systems: A Unifying Approach.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	behavioral semantics, multi-agent systems, modal logics, Transition systems
1	Martin Murth, eva Kühn	Knowledge-based coordination with a reliable semantic subscription mechanism.	SAC	2009	DBLP DOI BibTeX RDF	knowledge-based coordination, logic-based reasoning, reliable subscription mechanism, coordination model
1	Peter H. Feiler	Modeling the Implementation of State-Based System Architectures.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Joseph Mitola III, Hong Man	Semantics in Cognitive Radio.	ICSC	2009	DBLP DOI BibTeX RDF
1	Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra	A semantic framework for metamodel-based languages.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Semantic (meta-)hooking, Weaving behaviour, Formal methods, Metamodelling, Model driven engineering, Abstract state machines, Model-based development, Language semantics
1	Yu Dai, Lei Yang, Bin Zhang 0001, Kening Gao	Composite process oriented service discovery in preserving business and timed relation.	CSSSIA	2008	DBLP DOI BibTeX RDF	behavioral semantic, composite process oriented service discovery, functional semantic
1	Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling	Correctness-Preserving Configuration of Business Process Models.	FASE	2008	DBLP DOI BibTeX RDF	Reference process model, model configuration, Petri net
1	Vahid Rafe, Adel Torkaman Rahmani	Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems.	ICTAC	2008	DBLP DOI BibTeX RDF	Verification, Workflow, Graph Transformation, Activity Diagram, Dynamic Semantics
1	Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi	Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.	IFIP TCS	2008	DBLP DOI BibTeX RDF
1	Kai Chen 0003, Janos Sztipanovits, Sandeep Neema	Compositional specification of behavioral semantics.	DATE	2007	DBLP DOI BibTeX RDF
1	Olivier Tardieu	A deterministic logical semantics for pure Esterel.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Synchronous languages, structural operational semantics
1	José Eduardo Rivera, Antonio Vallecillo	Adding Behavior to Models.	EDOC	2007	DBLP DOI BibTeX RDF
1	Hyung Chan Kim, R. S. Ramakrishna, Wook Shin, Kouichi Sakurai	A Policy Language for the Extended Reference Monitor in Trusted Operating Systems.	ARES	2007	DBLP DOI BibTeX RDF
1	Marc Boyer, Olivier H. Roux	Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Hyung Chan Kim, R. S. Ramakrishna, Wook Shin, Kouichi Sakurai	Enforcement of Integrated Security Policy in Trusted Operating Systems.	IWSEC	2007	DBLP DOI BibTeX RDF
1	Ethan K. Jackson, Janos Sztipanovits	Towards a formal foundation for domain specific modeling languages.	EMSOFT	2006	DBLP DOI BibTeX RDF	embedded systems, semantics, metamodeling, formal logic, horn logic
1	Xiuguo Zhang, Weishi Zhang	CCML: A Novel Service Composition Language.	IAT Workshops	2006	DBLP DOI BibTeX RDF
1	Xiuguo Zhang, Weishi Zhang	A Cooperative Service Composition Language and Its Formal Semantics.	PDCAT	2006	DBLP DOI BibTeX RDF
1	Hyung Chan Kim, Wook Shin, R. S. Ramakrishna, Kouichi Sakurai	Design and Implementation of an Extended Reference Monitor for Trusted Operating Systems.	ISPEC	2006	DBLP DOI BibTeX RDF
1	Andrei Kirshin, Dolev Dotan, Alan Hartman	A UML Simulator Based on a Generic Model Execution Engine.	MoDELS Workshops	2006	DBLP DOI BibTeX RDF	Model Debugger, UML, State Machines, Activities, Model Execution, Model Simulator
1	Didier Lime, Olivier H. Roux	Model Checking of Time Petri Nets Using the State Class Timed Automaton.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	Dense-time systems, Model-checking, Timed automata, Time petri nets
1	Louis Mandel, Marc Pouzet	ReactiveML: a reactive extension to ML.	PPDP	2005	DBLP DOI BibTeX RDF	semantics, functional programming, reactive programming
1	Bill Mitchell	Resolving Race Conditions in Asynchronous Partial Order Scenarios.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	formal methods, Requirements analysis, distributed programming
1	Michel Bidoit, Rolf Hennicker	Externalized and Internalized Notions of Behavioral Refinement.	ICTAC	2005	DBLP DOI BibTeX RDF
1	Hans Albrecht Schmid, Oliver Herfort	A Behavioral Semantics of OOHDM Core Features and of Its Business Process Extension.	ICWE	2004	DBLP DOI BibTeX RDF
1	Peter Fankhauser	Beyond Webservices - Conceptual Modelling for Service Oriented Architectures.	ER	2004	DBLP DOI BibTeX RDF
1	Pascal Rapicault, Jean-Paul Rigault	Open Implementation of UML Meta-model(s).	Reflection	2001	DBLP DOI BibTeX RDF
1	Haim Kilov, Bernhard Rumpe	Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications).	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
1	Walid Chainbi, Mohamed Jmaiel, Abdelmajid Ben Hamadou	Conception, Behavioral Semantics and Formal Specification of Multi-Agent Systems.	DAI	1998	DBLP DOI BibTeX RDF
1	Alexandre Yakovlev, Albert Koelmans, Luciano Lavagno	High-Level Modeling and Design of Asynchronous Interface Logic.	IEEE Design & Test of Computers	1995	DBLP DOI BibTeX RDF
1	Bill Harvey, Haim Kilov, Hafedh Mili	Specification of behavioral semantics in object-oriented information modeling.	OOPS Messenger	1994	DBLP DOI BibTeX RDF
1	Tomas Rokicki, Chris J. Myers	Automatic Verification of Timed Circuits.	CAV	1994	DBLP DOI BibTeX RDF
1	Ralph-Johan Back, Joakim von Wright	Trace Refinement of Action Systems.	CONCUR	1994	DBLP DOI BibTeX RDF
1	M. Tamer Özsu, Randal J. Peters, Boman Irani, Anna Lipka, Adriana Muñoz, Duane Szafron	TIGUKAT object management system: initial design and current directions.	CASCON	1993	DBLP DOI BibTeX RDF
1	Paola Inverardi, Monica Nesi	On Rewriting Behavioral Semantics in Process Algebras.	AMAST	1991	DBLP BibTeX RDF
1	Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas	Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.	AMAST	1991	DBLP BibTeX RDF
1	Carl Hewitt, Peter Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale	Behavioral semantics of nonrecursive control structures.	Symposium on Programming	1974	DBLP DOI BibTeX RDF