5 Search Results for "France, Robert B."


Document
Synchronizing Strongly Connected Partial DFAs

Authors: Mikhail V. Berlinkov, Robert Ferens, Andrew Ryzhikov, and Marek Szykuła

Published in: LIPIcs, Volume 187, 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)


Abstract
We study synchronizing partial DFAs, which extend the classical concept of synchronizing complete DFAs and are a special case of synchronizing unambiguous NFAs. A partial DFA is called synchronizing if it has a word (called a reset word) whose action brings a non-empty subset of states to a unique state and is undefined for all other states. While in the general case the problem of checking whether a partial DFA is synchronizing is PSPACE-complete, we show that in the strongly connected case this problem can be efficiently reduced to the same problem for a complete DFA. Using combinatorial, algebraic, and formal languages methods, we develop techniques that relate main synchronization problems for strongly connected partial DFAs with the same problems for complete DFAs. In particular, this includes the Černý and the rank conjectures, the problem of finding a reset word, and upper bounds on the length of the shortest reset words of literal automata of finite prefix codes. We conclude that solving fundamental synchronization problems is equally hard in both models, as an essential improvement of the results for one model implies an improvement for the other.

Cite as

Mikhail V. Berlinkov, Robert Ferens, Andrew Ryzhikov, and Marek Szykuła. Synchronizing Strongly Connected Partial DFAs. In 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 187, pp. 12:1-12:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


Copy BibTex To Clipboard

@InProceedings{berlinkov_et_al:LIPIcs.STACS.2021.12,
  author =	{Berlinkov, Mikhail V. and Ferens, Robert and Ryzhikov, Andrew and Szyku{\l}a, Marek},
  title =	{{Synchronizing Strongly Connected Partial DFAs}},
  booktitle =	{38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)},
  pages =	{12:1--12:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-180-1},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{187},
  editor =	{Bl\"{a}ser, Markus and Monmege, Benjamin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2021.12},
  URN =		{urn:nbn:de:0030-drops-136579},
  doi =		{10.4230/LIPIcs.STACS.2021.12},
  annote =	{Keywords: \v{C}ern\'{y} conjecture, literal automaton, partial automaton, prefix code, rank conjecture, reset threshold, reset word, synchronizing automaton, synchronizing word}
}
Document
Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412)

Authors: Betty H. C. Cheng, Benoit Combemale, Robert B. France, Jean-Marc Jézéquel, and Bernhard Rumpe

Published in: Dagstuhl Reports, Volume 4, Issue 10 (2015)


Abstract
This report documents the program and the outcomes of the Dagstuhl Seminar 14412 "Globalizing Domain-Specific Languages" held in October 2014. Complex, data-intensive, cyper-physical, cloud-based etc. systems need effective modeling techniques, preferably based on DSLs to describe aspects and views. Models written in heterogeneous languages however need to be semantically compatible and their supporting individual tools need to be interoperable. This workshop discusses possible and necessary forms of interoperation their benefits and drawbacks and in particular whether there is a general pattern on coordination, composition and interoperation possible. Main goal was to establish a research programme towards such techniques.

Cite as

Betty H. C. Cheng, Benoit Combemale, Robert B. France, Jean-Marc Jézéquel, and Bernhard Rumpe. Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412). In Dagstuhl Reports, Volume 4, Issue 10, pp. 32-50, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)


Copy BibTex To Clipboard

@Article{cheng_et_al:DagRep.4.10.32,
  author =	{Cheng, Betty H. C. and Combemale, Benoit and France, Robert B. and J\'{e}z\'{e}quel, Jean-Marc and Rumpe, Bernhard},
  title =	{{Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412)}},
  pages =	{32--50},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{10},
  editor =	{Cheng, Betty H. C. and Combemale, Benoit and France, Robert B. and J\'{e}z\'{e}quel, Jean-Marc and Rumpe, Bernhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.10.32},
  URN =		{urn:nbn:de:0030-drops-48913},
  doi =		{10.4230/DagRep.4.10.32},
  annote =	{Keywords: Modelling, Domain Specific Language, Software, Coordination, Globalization, Heterogeneous Complex Systems, DSL, UML, Composition}
}
Document
Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)

Authors: Tony Clark, Robert B. France, Martin Gogolla, and Bran V. Selic

Published in: Dagstuhl Reports, Volume 3, Issue 4 (2013)


Abstract
Model-based engineering (MBE) is a software development approach in which abstraction via modeling is used as the primary mechanism for managing the complexity of software-based systems. An effective approach to software development must be supported by effective technologies (i.e., languages, methods, processes, tools). The wide range of development tasks that effective MBE approaches must support leads to two possible tooling scenarios. In the first scenario a federated collection of tools is used to support system development. Each tool in the collection provides specialized services. Tool interoperability and consistency of information across the tools are major concerns in this scenario. These concerns are typically addressed using transformations and exposed tool interfaces. Defining and evolving the transformations and interfaces requires detailed low-level knowledge of the tools and thus leads to complex tooling environments that are difficult to configure, learn, use, and evolve. In the second scenario, a single tool is used to support the complete modeling lifecycle. This avoids the inter-tool transformation and consistency problems, but the resulting multi-featured tool is a monolithic entity that is costly to develop and evolve. Furthermore, the large number of non-trivial features can make learning and using such tools difficult. Successful uptake of MDE in industry requires supporting tools to be, at least, useful and usable. From a tool developer's perspective, there is also a need to significantly reduce the cost and effort required to develop and evolve complex MBE tools. This seminar brings together experts in the areas of MBE, meta-modeling, tool development, and human-computer interactions to map out a research agenda that lays a foundation for the development of effective MBE tools. Such a foundation will need to support not only interoperability of tools or tool features, but also the implementation of high quality MBE tools. The long-term objective is to foster a research community that will work on a foundation that can be expressed in the form of standard tool (meta-)models that capture and leverage high quality reusable MBE tool development experience.

Cite as

Tony Clark, Robert B. France, Martin Gogolla, and Bran V. Selic. Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182). In Dagstuhl Reports, Volume 3, Issue 4, pp. 188-227, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{clark_et_al:DagRep.3.4.188,
  author =	{Clark, Tony and France, Robert B. and Gogolla, Martin and Selic, Bran V.},
  title =	{{Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)}},
  pages =	{188--227},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Clark, Tony and France, Robert B. and Gogolla, Martin and Selic, Bran V.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.4.188},
  URN =		{urn:nbn:de:0030-drops-41755},
  doi =		{10.4230/DagRep.3.4.188},
  annote =	{Keywords: meta-modeling, model-based engineering, models, tools, domain specific modeling languages}
}
Document
Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131)

Authors: Robert B. France, Ulrich Frank, Andreas Oberweis, Matti Rossi, and Stefan Strecker

Published in: Dagstuhl Reports, Volume 2, Issue 3 (2012)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12131 ``Open Models as a Foundation of Future Enterprise Systems''. Research on open models introduces a new model of collaboration among researchers, developers, and prospective users of reference enterprise models-leading to the prospect of shaping future enterprise systems. This seminar brought together researchers and practitioners with expertise in a broad range of fields including conceptual modelling, model-driven engineering, enterprise systems, software architectures, and modelling tool development. The seminar mixed short presentations on the attendees' perspectives on open models with keynote presentations and working groups on selected research issues. Topics discussed include the shape of future enterprise systems amalgamated with open reference enterprise models, business domains to be addressed in first open models, requirements towards a technical infrastructure as well as organisational issues of open model initiatives. The seminar's discussions benefitted from the different perspectives of attendees on the common topic, raised important new questions on open models, and brought to light overlooked aspects important to future research activities.

Cite as

Robert B. France, Ulrich Frank, Andreas Oberweis, Matti Rossi, and Stefan Strecker. Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131). In Dagstuhl Reports, Volume 2, Issue 3, pp. 67-85, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{france_et_al:DagRep.2.3.67,
  author =	{France, Robert  B. and Frank, Ulrich and Oberweis, Andreas and Rossi, Matti and Strecker, Stefan},
  title =	{{Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131)}},
  pages =	{67--85},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{3},
  editor =	{France, Robert  B. and Frank, Ulrich and Oberweis, Andreas and Rossi, Matti and Strecker, Stefan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.3.67},
  URN =		{urn:nbn:de:0030-drops-35379},
  doi =		{10.4230/DagRep.2.3.67},
  annote =	{Keywords: Enterprise Modelling, Enterprise Systems, Reference Model, Meta Modeling, Method Engineering, Information Systems Architectures}
}
Document
Models@run.time (Dagstuhl Seminar 11481)

Authors: Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, and Robert B. France

Published in: Dagstuhl Reports, Volume 1, Issue 11 (2012)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 11481 ``Models@run.time''. Research on models@run.time seeks to extend the applicability of models and abstractions to the runtime environment, with the goal of providing effective technologies for managing the complexity of evolving software behaviour while it is executing. The Dagstuhl Seminar ``Models@run.time'' brought together a diverse set of researchers and practitioners with a broad range of expertise, including MDE, software architectures, reflection, self-adaptive systems, validation and verification, middleware, robotics and requirements engineering.

Cite as

Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, and Robert B. France. Models@run.time (Dagstuhl Seminar 11481). In Dagstuhl Reports, Volume 1, Issue 11, pp. 91-123, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{amann_et_al:DagRep.1.11.91,
  author =	{A{\ss}mann, Uwe and Bencomo, Nelly and Cheng, Betty H. C. and France, Robert B.},
  title =	{{Models@run.time (Dagstuhl Seminar 11481)}},
  pages =	{91--123},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{1},
  number =	{11},
  editor =	{A{\ss}mann, Uwe and Bencomo, Nelly and Cheng, Betty H. C. and France, Robert B.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.1.11.91},
  URN =		{urn:nbn:de:0030-drops-33794},
  doi =		{10.4230/DagRep.1.11.91},
  annote =	{Keywords: Self-adaptive Systems, Feedback Loop, Assurance, Uncertainty, Requirements, Optimization, Adaptation}
}
  • Refine by Author
  • 3 France, Robert B.
  • 2 Cheng, Betty H. C.
  • 1 Aßmann, Uwe
  • 1 Bencomo, Nelly
  • 1 Berlinkov, Mikhail V.
  • Show More...

  • Refine by Classification
  • 1 Mathematics of computing → Combinatorics
  • 1 Theory of computation → Formal languages and automata theory

  • Refine by Keyword
  • 1 Adaptation
  • 1 Assurance
  • 1 Composition
  • 1 Coordination
  • 1 DSL
  • Show More...

  • Refine by Type
  • 5 document

  • Refine by Publication Year
  • 2 2012
  • 1 2013
  • 1 2015
  • 1 2021

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail